Completeness of Graphical Languages for Mixed States Quantum Mechanics. - Titouan Carette; Emmanuel Jeandel; Simon Perdrix; Renaud Vilmart (ICALP, 2019)

SZX-Calculus: Scalable Graphical Quantum Reasoning. - Titouan Carette; Dominic Horsman; Simon Perdrix (MFCS, 2019)

A Recipe for Quantum Graphical Languages. - Titouan Carette; Emmanuel Jeandel (ICALP, 2020)

Extended Learning Graphs for Triangle Finding. - Titouan Carette; Mathieu Laurière; Frédéric Magniez (Algorithmica, 2020)

Colored props for large scale graphical reasoning. - Titouan Carette; Simon Perdrix (CoRR, 2020)

Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory. - Titouan Carette; Marc de Visme; Simon Perdrix (LICS, 2021)

Quantum Algorithms and Oracles with the Scalable ZX-calculus. - Titouan Carette; Yohann D'Anello; Simon Perdrix (QPL, 2021)

Wielding the ZX-calculus, Flexsymmetry, Mixed States, and Scalable Notations. (Manier le ZX-calcul, flexsymétrie, systèmes ouverts et limandes). - Titouan Carette (2021)

Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions. - Robert I. Booth; Titouan Carette (MFCS, 2022)

Central Submonads and Notions of Computation. - Titouan Carette; Louis Lemonnier; Vladimir Zamdzhiev (CoRR, 2022)

Compositionality of Planar Perfect Matchings: A Universal and Complete Fragment of ZW-Calculus. - Titouan Carette; Etienne Moutot; Thomas Perez; Renaud Vilmart (ICALP, 2023)

Complete Graphical Language for Hermiticity-Preserving Superoperators. - Titouan Carette; Timothée Hoffreumon; Émile Larroque; Renaud Vilmart (LICS, 2023)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. - Titouan Carette; Louis Lemonnier; Vladimir Zamdzhiev (LICS, 2023)

The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification. - Boldizsár Poór; Robert I. Booth; Titouan Carette; John van de Wetering; Lia Yeh (QPL, 2023)

Graphical Symplectic Algebra. - Robert I. Booth; Titouan Carette; Cole Comfort (CoRR, 2024)

Complete equational theories for classical and quantum Gaussian relations. - Robert I. Booth; Titouan Carette; Cole Comfort (CoRR, 2024)

Operational Quantum Reference Frame Transformations. - Titouan Carette; Jan Glowacki; Leon Loveridge (Quantum, 2025)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words. - Titouan Carette; Marc de Visme; Vivien Ducros; Victor H. Lutfalla; Etienne Moutot (CoRR, 2025)