Titouan Carette

According to our database, Titouan Carette authored at least 16 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Complete equational theories for classical and quantum Gaussian relations.

Robert I. Booth, Titouan Carette, Cole Comfort

CoRR, 2024

Graphical Symplectic Algebra.

Robert I. Booth, Titouan Carette, Cole Comfort

CoRR, 2024

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

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages.

Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev

LICS, 2023

Complete Graphical Language for Hermiticity-Preserving Superoperators.

Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart

LICS, 2023

Compositionality of Planar Perfect Matchings: A Universal and Complete Fragment of ZW-Calculus.

Titouan Carette, Etienne Moutot, Thomas Perez, Renaud Vilmart

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022

Central Submonads and Notions of Computation.

Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev

CoRR, 2022

Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions.

Robert I. Booth, Titouan Carette

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2021

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

Titouan Carette

PhD thesis, 2021

Quantum Algorithms and Oracles with the Scalable ZX-calculus.

Titouan Carette, Yohann D'Anello, Simon Perdrix

Proceedings of the Proceedings 18th International Conference on Quantum Physics and Logic, 2021

Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory.

Titouan Carette, Marc de Visme, Simon Perdrix

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Colored props for large scale graphical reasoning.

Titouan Carette, Simon Perdrix

CoRR, 2020

Extended Learning Graphs for Triangle Finding.

Titouan Carette, Mathieu Laurière, Frédéric Magniez

Algorithmica, 2020

A Recipe for Quantum Graphical Languages.

Titouan Carette, Emmanuel Jeandel

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019

SZX-Calculus: Scalable Graphical Quantum Reasoning.

Titouan Carette, Dominic Horsman, Simon Perdrix

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

Completeness of Graphical Languages for Mixed States Quantum Mechanics.

Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019