| 2026 | CONCUR | Concurrent Visibility: Higher-Order Concurrency with First-Order Store. | Iwan Qumerais, Guilhem Jaber, Ken Sakayori, Davide Sangiorgi |
| 2025 | ESOP | An abstract, certified account of operational game semantics. | Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski |
| 2025 | ESOP | Artifact Report: an Abstract, Certified Account of Operational Game Semantics. | Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski |
| 2025 | PPDP | Operational Game Semantics for Generative Algebraic Effects and Handlers. | Hamza Jaafar, Guilhem Jaber |
| 2023 | FOSSACS | Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts. | Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet |
| 2022 | CSL | Games, Mobile Processes, and Functions. | Guilhem Jaber, Davide Sangiorgi |
| 2021 | ESOP | Complete trace models of state and control. | Guilhem Jaber, Andrzej S. Murawski |
| 2021 | ESOP | Temporal Refinements for Guarded Recursive Types. | Guilhem Jaber, Colin Riba |
| 2021 | LICS | Compositional relational reasoning via operational game semantics. | Guilhem Jaber, Andrzej S. Murawski |
| 2018 | FOSSACS | A Trace Semantics for System F Parametric Polymorphism. | Guilhem Jaber, Nikos Tzevelekos |
| 2016 | LICS | The Definitional Side of the Forcing. | Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pdrot, Matthieu Sozeau, Nicolas Tabareau |
| 2016 | LICS | Trace semantics for polymorphic references. | Guilhem Jaber, Nikos Tzevelekos |
| 2015 | APLAS | Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques. | Guilhem Jaber, Nicolas Tabareau |
| 2015 | FOSSACS | Operational Nominal Game Semantics. | Guilhem Jaber |
| 2012 | LICS | Extending Type Theory with Forcing. | Guilhem Jaber, Nicolas Tabareau, Matthieu Sozeau |