| 2025 | CSL | A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs. | Leandro Gomes, Patrick Baillot, Marco Gaboardi |
| 2025 | FOSSACS | BiGKAT: An Algebraic Framework for Relational Verification of Probabilistic Programs. | Leandro Gomes, Patrick Baillot, Marco Gaboardi |
| 2024 | FOSSACS | On Basic Feasible Functionals and the Interpretation Method. | Patrick Baillot, Ugo Dal Lago, Cynthia Kop, Deivid Vale |
| 2024 | FSCD | A Linear Type System for L^p-Metric Sensitivity Analysis. | Victor Sannier, Patrick Baillot |
| 2023 | ESOP | Bunched Fuzz: Sensitivity for Vector Metrics. | june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi |
| 2021 | CONCUR | Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes. | Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi |
| 2021 | ESOP | Types for Complexity of Parallel Computation in Pi-Calculus. | Patrick Baillot, Alexis Ghyselen |
| 2018 | CSL | Combining Linear Logic and Size Types for Implicit Complexity. | Patrick Baillot, Alexis Ghyselen |
| 2016 | CSL | Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic. | Patrick Baillot, Anupam Das |
| 2015 | LPAR | Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. | Patrick Baillot, Gilles Barthe, Ugo Dal Lago |
| 2012 | CSL | Higher-Order Interpretations and Program Complexity. | Patrick Baillot, Ugo Dal Lago |
| 2011 | APLAS | Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy. | Patrick Baillot |
| 2010 | ESOP | A PolyTime Functional Language from Light Linear Logic. | Patrick Baillot, Marco Gaboardi, Virgile Mogbil |
| 2010 | PPDP | Type inference in intuitionistic linear logic. | Patrick Baillot, Martin Hofmann |
| 2007 | LICS | Light Logics and Optimal Reduction: Completeness and Complexity. | Patrick Baillot, Paolo Coppola, Ugo Dal Lago |
| 2006 | CSL | Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic. | Vincent Atassi, Patrick Baillot, Kazushige Terui |
| 2004 | FOSSACS | Soft lambda-Calculus: A Language for Polynomial Time Computation. | Patrick Baillot, Virgile Mogbil |
| 2004 | LICS | Light Types for Polynomial Time Computation in Lambda-Calculus. | Patrick Baillot, Kazushige Terui |
| 1997 | CSL | Timeless Games. | Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier |
| 1997 | LICS | Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. | Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier |