| 2026 | Coordination | HistMSO: a Logic for Reasoning About Consistency Models with MONA. | Isabelle Coget, tienne Lozes |
| 2025 | PPDP | Realisability and Complementability of Multiparty Session Types. | Cinzia Di Giusto, tienne Lozes, Pascal Urso |
| 2022 | TIME | The Tail-Recursive Fragment of Timed Recursive CTL. | Florian Bruse, Martin Lange, tienne Lozes |
| 2021 | CONCUR | A Unifying Framework for Deciding Synchronizability. | Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, tienne Lozes, Amrita Suresh |
| 2020 | CSL | Internal Calculi for Separation Logics. | Stphane Demri, tienne Lozes, Alessio Mansutti |
| 2020 | FOSSACS | On the k-synchronizability of Systems. | Cinzia Di Giusto, Laetitia Laversa, tienne Lozes |
| 2018 | FOSSACS | The Effects of Adding Reachability Predicates in Propositional Separation Logic. | Stphane Demri, tienne Lozes, Alessio Mansutti |
| 2017 | ICALP | Synchronizability of Communicating Finite State Machines is not Decidable. | Alain Finkel, tienne Lozes |
| 2017 | POPL | On the relationship between higher-order recursion schemes and higher-order fixpoint logic. | Naoki Kobayashi, tienne Lozes, Florian Bruse |
| 2015 | FCT | Conjunctive Visibly-Pushdown Path Queries. | Martin Lange, tienne Lozes |
| 2013 | LATA | Revealing vs. Concealing: More Simulation Games for Bchi Inclusion. | Milka Hutagalung, Martin Lange, tienne Lozes |
| 2010 | TACAS | Tracking Heaps That Hop with Heap-Hop. | Jules Villard, tienne Lozes, Cristiano Calcagno |
| 2009 | APLAS | Proving Copyless Message Passing. | Jules Villard, tienne Lozes, Cristiano Calcagno |
| 2009 | FOSSACS | Beyond Shapes: Lists with Ordered Data. | Kshitij Bansal, Rmi Brochenin, tienne Lozes |
| 2008 | CONCUR | A Spatial Equational Logic for the Applied pi-Calculus. | tienne Lozes, Jules Villard |
| 2008 | CSL | On the Almighty Wand. | Rmi Brochenin, Stphane Demri, tienne Lozes |
| 2007 | LFCS | Reasoning About Sequences of Memory States. | Rmi Brochenin, Stphane Demri, tienne Lozes |
| 2004 | CONCUR | Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. | Lus Caires, tienne Lozes |
| 2002 | LICS | Separability, Expressiveness, and Decidability in the Ambient Logic. | Daniel Hirschkoff, tienne Lozes, Davide Sangiorgi |