Titouan Carette

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 19

Top Topics

Query Language For Xml

Quantum Computing

Cardinal Directions

Top Venues

Publications

Robert I. Booth, Titouan Carette, Cole Comfort
Graphical Symplectic Algebra. CoRR (2024)
Robert I. Booth, Titouan Carette, Cole Comfort
Complete equational theories for classical and quantum Gaussian relations. CoRR (2024)
Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart
Complete Graphical Language for Hermiticity-Preserving Superoperators. LICS (2023)
Boldizsár Poór, Robert I. Booth, Titouan Carette, John van de Wetering, Lia Yeh
The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification. QPL (2023)
Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart
Complete Graphical Language for Hermiticity-Preserving Superoperators. CoRR (2023)
Titouan Carette, Etienne Moutot, Thomas Perez, Renaud Vilmart
Compositionality of Planar Perfect Matchings: A Universal and Complete Fragment of ZW-Calculus. ICALP (2023)
Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. LICS (2023)
Robert I. Booth, Titouan Carette
Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions. MFCS (2022)
Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
Central Submonads and Notions of Computation. CoRR (2022)
Titouan Carette, Marc de Visme, Simon Perdrix
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory. LICS (2021)
Titouan Carette, Yohann D'Anello, Simon Perdrix
Quantum Algorithms and Oracles with the Scalable ZX-calculus. QPL (2021)
Titouan Carette, Mathieu Laurière, Frédéric Magniez
Extended Learning Graphs for Triangle Finding. Algorithmica 82 (4) (2020)
Titouan Carette, Simon Perdrix
Colored props for large scale graphical reasoning. CoRR (2020)
Titouan Carette, Emmanuel Jeandel
A Recipe for Quantum Graphical Languages. ICALP (2020)
Titouan Carette, Emmanuel Jeandel
On a recipe for quantum graphical languages. CoRR (2020)
Titouan Carette, Dominic Horsman, Simon Perdrix
SZX-Calculus: Scalable Graphical Quantum Reasoning. MFCS (2019)
Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
Completeness of Graphical Languages for Mixed States Quantum Mechanics. ICALP (2019)
Titouan Carette, Mathieu Laurière, Frédéric Magniez
Extended Learning Graphs for Triangle Finding. STACS (2017)
Titouan Carette, Mathieu Laurière, Frédéric Magniez
Extended Learning Graphs for Triangle Finding. CoRR (2016)