| 2026 | FSCD | Graphical Symplectic Algebra. | Robert I. Booth, Titouan Carette, Cole Comfort |
| 2023 | ICALP | Compositionality of Planar Perfect Matchings: A Universal and Complete Fragment of ZW-Calculus. | Titouan Carette, Etienne Moutot, Thomas Perez, Renaud Vilmart |
| 2023 | LICS | Complete Graphical Language for Hermiticity-Preserving Superoperators. | Titouan Carette, Timothe Hoffreumon, mile Larroque, Renaud Vilmart |
| 2023 | LICS | Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. | Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev |
| 2022 | MFCS | Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions. | Robert I. Booth, Titouan Carette |
| 2021 | LICS | Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory. | Titouan Carette, Marc de Visme, Simon Perdrix |
| 2020 | ICALP | A Recipe for Quantum Graphical Languages. | Titouan Carette, Emmanuel Jeandel |
| 2019 | ICALP | Completeness of Graphical Languages for Mixed States Quantum Mechanics. | Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2019 | MFCS | SZX-Calculus: Scalable Graphical Quantum Reasoning. | Titouan Carette, Dominic Horsman, Simon Perdrix |
| 2017 | STACS | Extended Learning Graphs for Triangle Finding. | Titouan Carette, Mathieu Laurire, Frdric Magniez |