| 2023 | ESOP | Type-safe Quantum Programming in Idris. | Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev |
| 2022 | FSCD | Addition and Differentiation of ZX-Diagrams. | Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova |
| 2021 | ICTAC | ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs. | Emmanuel Hainry, Emmanuel Jeandel, Romain Pchoux, Olivier Zeyen |
| 2020 | ICALP | A Recipe for Quantum Graphical Languages. | Titouan Carette, Emmanuel Jeandel |
| 2019 | CSR | Undecidable Word Problem in Subshift Automorphism Groups. | Pierre Guillon, Emmanuel Jeandel, Jarkko Kari, Pascal Vanier |
| 2019 | ICALP | Completeness of Graphical Languages for Mixed States Quantum Mechanics. | Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2019 | LICS | A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2019 | STACS | A Characterization of Subshifts with Computable Language. | Emmanuel Jeandel, Pascal Vanier |
| 2018 | LICS | A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2018 | LICS | Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2017 | LICS | Enumeration reducibility in closure spaces with applications to logic and algebra. | Emmanuel Jeandel |
| 2017 | MFCS | ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang |
| 2016 | CiE | Computability in Symbolic Dynamics. | Emmanuel Jeandel |
| 2014 | STACS | Computability of the entropy of one-tape Turing machines. | Emmanuel Jeandel |
| 2013 | STACS | Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type. | Emmanuel Jeandel, Pascal Vanier |
| 2012 | CiE | On Immortal Configurations in Turing Machines. | Emmanuel Jeandel |
| 2011 | TAMC | P | Emmanuel Jeandel, Pascal Vanier |
| 2010 | DLT | Periodicity in Tilings. | Emmanuel Jeandel, Pascal Vanier |
| 2010 | LATIN | Tilings Robust to Errors. | Alexis Ballier, Bruno Durand, Emmanuel Jeandel |
| 2009 | DLT | Subshifts, Languages and Logic. | Emmanuel Jeandel, Guillaume Theyssier |
| 2008 | STACS | Structural aspects of tilings. | Alexis Ballier, Bruno Durand, Emmanuel Jeandel |
| 2005 | STACS | Topological Automata. | Emmanuel Jeandel |
| 2004 | ICALP | Universality in Quantum Computation. | Emmanuel Jeandel |