| 2025 | ESOP | Variable Elimination as Rewriting in a Linear Lambda Calculus. | Thomas Ehrhard, Claudia Faggian, Michele Pagani |
| 2023 | FSCD | The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic. | Thomas Ehrhard, Claudia Faggian, Michele Pagani |
| 2020 | LICS | The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name. | Gianluca Curzi, Michele Pagani |
| 2019 | FOSSACS | Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces. | Thomas Leventis, Michele Pagani |
| 2017 | FOSSACS | The Free Exponential Modality of Probabilistic Coherence Spaces. | Raphalle Crubill, Thomas Ehrhard, Michele Pagani, Christine Tasson |
| 2016 | FOSSACS | Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms. | Michele Pagani, Christine Tasson, Lionel Vaux |
| 2015 | CSL | Modelling Coeffects in the Relational Semantics of Linear Logic. | Flavien Breuvart, Michele Pagani |
| 2014 | POPL | Probabilistic coherence spaces are fully abstract for probabilistic PCF. | Thomas Ehrhard, Christine Tasson, Michele Pagani |
| 2014 | POPL | Applying quantitative semantics to higher-order quantum computing. | Michele Pagani, Peter Selinger, Benot Valiron |
| 2013 | CSL | A characterization of the Taylor expansion of lambda-terms. | Pierre Boudes, Fanny He, Michele Pagani |
| 2013 | LFCS | Call-by-Value Non-determinism in a Linear Logic Type Discipline. | Alejandro Daz-Caro, Giulio Manzonetto, Michele Pagani |
| 2013 | LICS | Weighted Relational Models of Typed Lambda-Calculi. | Jim Laird, Giulio Manzonetto, Guy McCusker, Michele Pagani |
| 2011 | LICS | The Computational Meaning of Probabilistic Coherence Spaces. | Thomas Ehrhard, Michele Pagani, Christine Tasson |
| 2010 | FOSSACS | Solvability in Resource Lambda-Calculus. | Michele Pagani, Simona Ronchi Della Rocca |
| 2009 | APLAS | Parallel Reduction in Resource Lambda-Calculus. | Michele Pagani, Paolo Tranquilli |
| 2009 | LICS | The Inverse Taylor Expansion Problem in Linear Logic. | Michele Pagani, Christine Tasson |
| 2007 | LPAR | The Separation Theorem for Differential Interaction Nets. | Damiano Mazza, Michele Pagani |
| 2006 | CSL | Acyclicity and Coherence in Multiplicative Exponential Linear Logic. | Michele Pagani |