Concepedia

Paul-André Melliès

PM

27

Publications

1.2K

Citations

18

H-Index

2002

Active since

Affiliations

Université Paris Cité(Current)

Centre National de la Recherche Scientifique

Délégation Paris 7

Laboratory Preuves, Programmes et Systèmes

Institut national de recherche en sciences et technologies du numérique

Paul-André Melliès is an author at Université Paris Cité specializing in automated reasoning, engineering, and computer science.

Top concepts

Automated ReasoningEngineeringComputer ScienceFormal MethodsGamesSemanticsGame TheoryLinguisticsFormal VerificationBusiness

Publications per year

2002–2019

27

Publications

27

Concurrent games and full completeness

Samson Abramsky, Paul-André Melliès · 2003 · 168 citations

Engineering, Game Theory, Game Semantics +18

A very modal model of a modern, major, general type system

Andrew W. Appel, Paul-André Melliès, Christopher D. Richards et al. · 2007 · 112 citations

A very modal model of a modern, major, general type system

Andrew W. Appel, Paul-André Melliès, Christina D. Richards et al. · ACM SIGPLAN Notices · 2007 · 111 citations

Engineering, Type Theory, Verification +20

Asynchronous games 2: The true concurrency of innocence

Paul-André Melliès · Theoretical Computer Science · 2006 · 94 citations · Full text

Simultaneous Game, Repeated Game, Game Theory +8

Monads with arities and their associated theories

Clemens Berger, Paul-André Melliès, Mark Weber · Journal of Pure and Applied Algebra · 2012 · 75 citations · Full text

Algebraic Logic, Abstract Algebra, Automated Reasoning +2

Rows per page

1–5 of 27