| 2024 | CSL | The Ackermann Award 2023. | Maribel Fernndez, Jean Goubault-Larrecq, Delia Kesner |
| 2019 | LICS | A Probabilistic and Non-Deterministic Call-by-Push-Value Language. | Jean Goubault-Larrecq |
| 2016 | CONCUR | Bisimulations and Unfolding in P-Accessible Categorical Models. | Jrmy Dubut, Eric Goubault, Jean Goubault-Larrecq |
| 2016 | CSL | The Directed Homotopy Hypothesis. | Jrmy Dubut, Eric Goubault, Jean Goubault-Larrecq |
| 2016 | ICALP | Deciding Piecewise Testable Separability for Regular Tree Languages. | Jean Goubault-Larrecq, Sylvain Schmitz |
| 2016 | RV | On the Complexity of Monitoring Orchids Signatures. | Jean Goubault-Larrecq, Jean-Philippe Lachance |
| 2015 | ICALP | Natural Homology. | Jrmy Dubut, Eric Goubault, Jean Goubault-Larrecq |
| 2013 | MFCS | A Constructive Proof of the Topological Kruskal Theorem. | Jean Goubault-Larrecq |
| 2011 | LICS | Continuous Random Variables. | Jean Goubault-Larrecq, Daniele Varacca |
| 2010 | ESORICS | Some Ideas on Virtualized System Security, and Monitors. | Hedi Benzina, Jean Goubault-Larrecq |
| 2010 | ICALP | Noetherian Spaces in Verification. | Jean Goubault-Larrecq |
| 2010 | LICS | omega-QRB-Domains and the Probabilistic Powerdomain. | Jean Goubault-Larrecq |
| 2009 | ICALP | Forward Analysis for WSTS, Part II: Complete WSTS. | Alain Finkel, Jean Goubault-Larrecq |
| 2009 | STACS | Forward Analysis for WSTS, Part I: Completions. | Alain Finkel, Jean Goubault-Larrecq |
| 2008 | FOSSACS | Simulation Hemi-metrics between Infinite-State Stochastic Games. | Jean Goubault-Larrecq |
| 2008 | FOSSACS | Prevision Domains and Convex Powercones. | Jean Goubault-Larrecq |
| 2008 | RV | A Smell of Orchids. | Jean Goubault-Larrecq, Julien Olivain |
| 2007 | APLAS | A Probabilistic Applied Pi-Calculus. | Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina |
| 2007 | CSL | Continuous Previsions. | Jean Goubault-Larrecq |
| 2007 | ICALP | Continuous Capacities on Continuous State Spaces. | Jean Goubault-Larrecq |
| 2007 | LICS | On Noetherian Spaces. | Jean Goubault-Larrecq |
| 2005 | CAV | The Orchids Intrusion Detection Tool. | Julien Olivain, Jean Goubault-Larrecq |
| 2005 | VMCAI | Cryptographic Protocol Analysis on Real C Code. | Jean Goubault-Larrecq, Fabrice Parrennes |
| 2004 | CSL | Complete Lax Logical Relations for Cryptographic Lambda-Calculi. | Jean Goubault-Larrecq, Slawomir Lasota, David Nowak, Yu Zhang |
| 2002 | CSL | Higher-Order Positive Set Constraints. | Jean Goubault-Larrecq |
| 2002 | CSL | Logical Relations for Monadic Types. | Jean Goubault-Larrecq, Slawomir Lasota, David Nowak |
| 2001 | CSL | Well-Founded Recursive Relations. | Jean Goubault-Larrecq |
| 1999 | TABLEAUX | A Simple Sequent System for First-Order Logic with Free Constructors. | Jean Goubault-Larrecq |
| 1997 | LICS | Ramified Higher-Order Unification. | Jean Goubault-Larrecq |
| 1997 | TACAS | A Tableau System for Linear-TIME Temporal Logic. | Peter H. Schmitt, Jean Goubault-Larrecq |