Paul-André Melliès

2.0k total citations
35 papers, 416 citations indexed

About

Paul-André Melliès is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Mathematical Physics. According to data from OpenAlex, Paul-André Melliès has authored 35 papers receiving a total of 416 indexed citations (citations by other indexed papers that have themselves been cited), including 32 papers in Artificial Intelligence, 23 papers in Computational Theory and Mathematics and 2 papers in Mathematical Physics. Recurrent topics in Paul-André Melliès's work include Logic, programming, and type systems (29 papers), Logic, Reasoning, and Knowledge (24 papers) and Formal Methods in Verification (15 papers). Paul-André Melliès is often cited by papers focused on Logic, programming, and type systems (29 papers), Logic, Reasoning, and Knowledge (24 papers) and Formal Methods in Verification (15 papers). Paul-André Melliès collaborates with scholars based in France, United Kingdom and United States. Paul-André Melliès's co-authors include Samson Abramsky, Jérôme Vouillon, Andrew W. Appel, Mark Weber, Clemens Berger, Nicolas Tabareau, Jean-Jacques Lévy, Georges Gonthier, Jean-Louis Krivine and Hugo Herbelin and has published in prestigious journals such as Theoretical Computer Science, ACM SIGPLAN Notices and Lecture notes in computer science.

In The Last Decade

Paul-André Melliès

32 papers receiving 394 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Paul-André Melliès France 11 377 269 43 40 28 35 416
Laurent Régnier France 11 444 1.2× 350 1.3× 38 0.9× 44 1.1× 33 1.2× 15 482
Thomas Streicher Germany 12 331 0.9× 278 1.0× 23 0.5× 72 1.8× 55 2.0× 53 394
Ulrich Berger United Kingdom 13 398 1.1× 333 1.2× 35 0.8× 21 0.5× 24 0.9× 42 453
Masahito Hasegawa Japan 9 219 0.6× 122 0.5× 24 0.6× 45 1.1× 29 1.0× 23 240
Sam Staton United Kingdom 11 314 0.8× 226 0.8× 34 0.8× 29 0.7× 13 0.5× 48 338
Andrej Bauer Slovenia 10 187 0.5× 202 0.8× 17 0.4× 45 1.1× 52 1.9× 41 277
Christian Choffrut France 12 237 0.6× 352 1.3× 37 0.9× 24 0.6× 32 1.1× 59 400
Martin Hyland United Kingdom 16 542 1.4× 382 1.4× 52 1.2× 134 3.4× 101 3.6× 28 627
Kent Petersson Sweden 5 349 0.9× 230 0.9× 41 1.0× 30 0.8× 19 0.7× 7 375
Bengt Nordström Sweden 6 411 1.1× 280 1.0× 45 1.0× 30 0.8× 20 0.7× 14 441

Countries citing papers authored by Paul-André Melliès

Since Specialization
Citations

This map shows the geographic impact of Paul-André Melliès's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Paul-André Melliès with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Paul-André Melliès more than expected).

Fields of papers citing papers by Paul-André Melliès

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Paul-André Melliès. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Paul-André Melliès. The network helps show where Paul-André Melliès may publish in the future.

Co-authorship network of co-authors of Paul-André Melliès

This figure shows the co-authorship network connecting the top 25 collaborators of Paul-André Melliès. A scholar is included among the top collaborators of Paul-André Melliès based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Paul-André Melliès. Paul-André Melliès is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Melliès, Paul-André, et al.. (2020). Concurrent Separation Logic Meets Template Games. arXiv (Cornell University). 742–755. 1 indexed citations
2.
Melliès, Paul-André. (2017). Higher-order parity automata. 1–12. 1 indexed citations
3.
Melliès, Paul-André. (2017). Higher-order parity automata. 1–12.
4.
Melliès, Paul-André. (2016). Dialogue Categories and Chiralities. Publications of the Research Institute for Mathematical Sciences. 52(4). 359–412. 4 indexed citations
5.
Melliès, Paul-André. (2016). A micrological study of negation. Annals of Pure and Applied Logic. 168(2). 321–372. 1 indexed citations
6.
Melliès, Paul-André, et al.. (2015). Tensorial logic with colours and higher-order model checking.. arXiv (Cornell University). 1 indexed citations
7.
Melliès, Paul-André. (2015). The parametric continuation monad. Mathematical Structures in Computer Science. 27(5). 651–680. 6 indexed citations
8.
Melliès, Paul-André, et al.. (2015). A Fibrational Account of Local States. HAL (Le Centre pour la Communication Scientifique Directe). 2395. 402–413. 1 indexed citations
9.
Melliès, Paul-André. (2012). Game Semantics in String Diagrams. 481–490. 17 indexed citations
10.
Berger, Clemens, Paul-André Melliès, & Mark Weber. (2012). Monads with arities and their associated theories. Journal of Pure and Applied Algebra. 216(8-9). 2029–2048. 34 indexed citations
11.
Curien, Pierre-Louis, Hugo Herbelin, Jean-Louis Krivine, & Paul-André Melliès. (2009). Interactive models of computation and program behavior. 6 indexed citations
12.
Melliès, Paul-André & Nicolas Tabareau. (2009). Resource modalities in tensor logic. Annals of Pure and Applied Logic. 161(5). 632–653. 11 indexed citations
13.
Melliès, Paul-André. (2006). Asynchronous games 2: The true concurrency of innocence. Theoretical Computer Science. 358(2-3). 200–228. 37 indexed citations
14.
Melliès, Paul-André. (2006). Computer Science Logic. Lecture notes in computer science. 4 indexed citations
15.
Melliès, Paul-André. (2005). Sequential algorithms and strongly stable functions. Theoretical Computer Science. 343(1-2). 237–281. 12 indexed citations
16.
Vouillon, Jérôme & Paul-André Melliès. (2004). Semantic types. ACM SIGPLAN Notices. 39(1). 52–63. 1 indexed citations
17.
Melliès, Paul-André. (2003). Comparing hierarchies of types in models of linear logic. Information and Computation. 189(2). 202–234. 7 indexed citations
18.
Abramsky, Samson & Paul-André Melliès. (2003). Concurrent games and full completeness. 431–442. 72 indexed citations
19.
Melliès, Paul-André. (2002). A stability theorem in rewriting theory. 4. 287–298. 5 indexed citations
20.
Melliès, Paul-André & Benjamin Werner. (1996). A Generic Normalisation Proof for Pure Type Systems. HAL (Le Centre pour la Communication Scientifique Directe).

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Laurent Régnier Breakdown of academic impact, for papers by Thomas Streicher Breakdown of academic impact, for papers by Ulrich Berger Breakdown of academic impact, for papers by Masahito Hasegawa Breakdown of academic impact, for papers by Sam Staton Breakdown of academic impact, for papers by Andrej Bauer Breakdown of academic impact, for papers by Christian Choffrut Breakdown of academic impact, for papers by Martin Hyland Breakdown of academic impact, for papers by Kent Petersson Breakdown of academic impact, for papers by Bengt Nordström
Rankless by CCL
2026