Titouan Carette

Orcid: 0000-0002-1618-4081

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Complete equational theories for classical and quantum Gaussian relations.
CoRR, 2024

Graphical Symplectic Algebra.
CoRR, 2024

2023
The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification.
Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Complete Graphical Language for Hermiticity-Preserving Superoperators.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Compositionality of Planar Perfect Matchings: A Universal and Complete Fragment of ZW-Calculus.
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022
Central Submonads and Notions of Computation.
CoRR, 2022

Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions.
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).
PhD thesis, 2021

Quantum Algorithms and Oracles with the Scalable ZX-calculus.
Proceedings of the Proceedings 18th International Conference on Quantum Physics and Logic, 2021

Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
Colored props for large scale graphical reasoning.
CoRR, 2020

Extended Learning Graphs for Triangle Finding.
Algorithmica, 2020

A Recipe for Quantum Graphical Languages.
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019
SZX-Calculus: Scalable Graphical Quantum Reasoning.
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

Completeness of Graphical Languages for Mixed States Quantum Mechanics.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019


  Loading...