| 2020 | FOSSACS | Constructing Infinitary Quotient-Inductive Types. | Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp |
| 2016 | LFCS | Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization. | Marco Devesas Campos, Marcelo P. Fiore |
| 2016 | POPL | A theory of effects and resources: adjunction models and polarised calculi. | Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni |
| 2014 | CSL | Substitution, jumps, and algebraic effects. | Marcelo P. Fiore, Sam Staton |
| 2013 | LICS | Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic. | Marcelo P. Fiore, Makoto Hamana |
| 2012 | ICALP | Discrete Generalised Polynomial Functors - (Extended Abstract). | Marcelo P. Fiore |
| 2011 | ICFP | A foundation for GADTs and inductive families: dependent polynomial functor approach. | Makoto Hamana, Marcelo P. Fiore |
| 2010 | CSL | Second-Order Equational Logic (Extended Abstract). | Marcelo P. Fiore, Chung-Kil Hur |
| 2010 | MFCS | Second-Order Algebraic Theories - (Extended Abstract). | Marcelo P. Fiore, Ola Mahmoud |
| 2008 | LICS | Second-Order and Dependently-Sorted Abstract Syntax. | Marcelo P. Fiore |
| 2007 | ICALP | Equational Systems and Free Constructions (Extended Abstract). | Marcelo P. Fiore, Chung-Kil Hur |
| 2006 | LICS | A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics. | Marcelo P. Fiore, Sam Staton |
| 2005 | FOSSACS | Mathematical Models of Computational and Combinatorial Structures. | Marcelo P. Fiore |
| 2004 | POPL | Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. | Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore |
| 2004 | POPL | Isomorphisms of generic recursive polynomial types. | Marcelo P. Fiore |
| 2002 | LICS | Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. | Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat |
| 2002 | PPDP | Semantic analysis of normalisation by evaluation for typed lambda calculus. | Marcelo P. Fiore |
| 2001 | LICS | Semantics of Name and Value Passing. | Marcelo P. Fiore, Daniele Turi |
| 1999 | LICS | Weak Bisimulation and Open Maps. | Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel |
| 1999 | LICS | Abstract Syntax and Variable Binding. | Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi |
| 1998 | LICS | A Theory of Recursive Domains with Applications to Concurrency. | Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel |
| 1998 | LICS | Recursive Types in Games: Axiomatics and Process Representation. | Marcelo P. Fiore, Kohei Honda |
| 1997 | LICS | Complete Cuboidal Sets in Axiomatic Domain Theory. | Marcelo P. Fiore, Gordon D. Plotkin, A. John Power |
| 1996 | CSL | An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory. | Marcelo P. Fiore, Gordon D. Plotkin |
| 1996 | LICS | Syntactic Considerations on Recursive Types. | Martn Abadi, Marcelo P. Fiore |
| 1996 | LICS | A Fully-Abstract Model for the pi-Calculus (Extended Abstract). | Marcelo P. Fiore, Eugenio Moggi, Davide Sangiorgi |
| 1994 | LICS | An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC | Marcelo P. Fiore, Gordon D. Plotkin |
| 1993 | LICS | A Coinduction Principle for Recursive Data Types Based on Bisimulation | Marcelo P. Fiore |