Titouan Carette

24 papers A* 6A 1B 2Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words.
CoRR
Titouan Carette, Marc de Visme, Vivien Ducros, Victor H. Lutfalla, Etienne Moutot
2025 J jnl
Operational Quantum Reference Frame Transformations.
Quantum
Titouan Carette, Jan Glowacki, Leon Loveridge
2025 J jnl
The decohered ZX-calculus.
CoRR
Titouan Carette, Daniela Cojocaru, Renaud Vilmart
2024 J jnl
Complete equational theories for classical and quantum Gaussian relations.
CoRR
Robert I. Booth, Titouan Carette, Cole Comfort
2024 J jnl
Graphical Symplectic Algebra.
CoRR
Robert I. Booth, Titouan Carette, Cole Comfort
2023 A* conf
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages.
LICS
Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
2023 A* conf
Complete Graphical Language for Hermiticity-Preserving Superoperators.
LICS
Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart
2023 J jnl
Complete Graphical Language for Hermiticity-Preserving Superoperators.
CoRR
Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart
2023 A* conf
Compositionality of Planar Perfect Matchings: A Universal and Complete Fragment of ZW-Calculus.
ICALP
Titouan Carette, Etienne Moutot, Thomas Perez, Renaud Vilmart
2023 — conf
The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification.
QPL
Boldizsár Poór, Robert I. Booth, Titouan Carette, John van de Wetering, Lia Yeh
2022 J jnl
Central Submonads and Notions of Computation.
CoRR
Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
2022 B conf
Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions.
MFCS
Robert I. Booth, Titouan Carette
2021 J jnl
Completeness of Graphical Languages for Mixed State Quantum Mechanics.
ACM Trans. Quantum Comput.
Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2021 A* conf
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory.
LICS
Titouan Carette, Marc de Visme, Simon Perdrix
2021 — conf
Quantum Algorithms and Oracles with the Scalable ZX-calculus.
QPL
Titouan Carette, Yohann D'Anello, Simon Perdrix
2021 — —
Wielding the ZX-calculus, Flexsymmetry, Mixed States, and Scalable Notations. (Manier le ZX-calcul, flexsymétrie, systèmes ouverts et limandes).
Titouan Carette
2020 A* conf
A Recipe for Quantum Graphical Languages.
ICALP
Titouan Carette, Emmanuel Jeandel
2020 J jnl
Colored props for large scale graphical reasoning.
CoRR
Titouan Carette, Simon Perdrix
2020 J jnl
Extended Learning Graphs for Triangle Finding.
Algorithmica
Titouan Carette, Mathieu Laurière, Frédéric Magniez
2020 J jnl
On a recipe for quantum graphical languages.
CoRR
Titouan Carette, Emmanuel Jeandel
2019 A* conf
Completeness of Graphical Languages for Mixed States Quantum Mechanics.
ICALP
Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2019 B conf
SZX-Calculus: Scalable Graphical Quantum Reasoning.
MFCS
Titouan Carette, Dominic Horsman, Simon Perdrix
2017 A conf
Extended Learning Graphs for Triangle Finding.
STACS
Titouan Carette, Mathieu Laurière, Frédéric Magniez
2016 J jnl
Extended Learning Graphs for Triangle Finding.
CoRR
Titouan Carette, Mathieu Laurière, Frédéric Magniez