| Abstract syntax and variable binding M Fiore, G Plotkin, D Turi Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 486 | 1999 |
| Axiomatic domain theory in categories of partial maps MP Fiore Cambridge University Press, 2004 | 177 | 2004 |
| A fully abstract model for the π-calculus MP Fiore, E Moggi, D Sangiorgi Information and Computation 179 (1), 76-117, 2002 | 164 | 2002 |
| Computing symbolic models for verifying cryptographic protocols M Fiore, M Abadi Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001., 160-173, 2001 | 124 | 2001 |
| The cartesian closed bicategory of generalised species of structures M Fiore, N Gambino, M Hyland, G Winskel Journal of the London Mathematical Society 77 (1), 203-220, 2008 | 110 | 2008 |
| An axiomatisation of computationally adequate domain theoretic models of FPC MP Fiore, GD Plotkin Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 92-102, 1994 | 108 | 1994 |
| Semantic analysis of normalisation by evaluation for typed lambda calculus M Fiore Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002 | 105 | 2002 |
| Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums V Balat, R Di Cosmo, M Fiore ACM SIGPLAN Notices 39 (1), 64-76, 2004 | 93 | 2004 |
| A coinduction principle for recursive data types based on bisimulation MP Fiore Information and Computation 127 (2), 186-198, 1996 | 83 | 1996 |
| Domains and denotational semantics: History, accomplishments and open problems A Jung, M Fiore, E Moggi, PW O’Hearn, JG Riecke, G Rosolini, I Stark SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR, 1996 | 74 | 1996 |
| Second-order equational logic M Fiore, CK Hur Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010 | 70 | 2010 |
| Second-order algebraic theories M Fiore, O Mahmoud International Symposium on Mathematical Foundations of Computer Science, 368-380, 2010 | 69 | 2010 |
| Syntactic considerations on recursive types M Abadi, MP Fiore Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 242-252, 1996 | 69 | 1996 |
| Second-order and dependently-sorted abstract syntax M Fiore 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 57-68, 2008 | 68 | 2008 |
| Differential structure in models of multiplicative biadditive intuitionistic linear logic MP Fiore Typed Lambda Calculi and Applications: 8th International Conference, TLCA …, 2007 | 64 | 2007 |
| Comparing operational models of name-passing process calculi M Fiore, S Staton Information and Computation 204 (4), 524-560, 2006 | 55 | 2006 |
| Weak bisimulation and open maps M Fiore, GL Cattani, G Winskel Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 51 | 1999 |
| Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures M Fiore, N Gambino, M Hyland, G Winskel Selecta Mathematica 24 (3), 2791-2830, 2018 | 50 | 2018 |
| Mathematical Models of Computational and Combinatorial Structures: (Invited Address) MP Fiore Foundations of Software Science and Computational Structures: 8th …, 2005 | 48 | 2005 |
| The algebra of directed acyclic graphs M Fiore, M Devesas Campos Computation, Logic, Games, and Quantum Foundations. The Many Facets of …, 2013 | 46 | 2013 |
