Titouan Carette

5
Documents

Publications

Publications

Image document

Compositionality of planar perfect matchings

Titouan Carette , Etienne Moutot , Thomas Perez , Renaud Vilmart
50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), Jul 2023, Paderborn, Germany. pp.120:1--120:17, ⟨10.4230/LIPIcs.ICALP.2023.120⟩
Communication dans un congrès hal-04002282 v1

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

Titouan Carette , Marc de Visme , Simon Perdrix
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, Italy
Communication dans un congrès hal-03153305 v1
Image document

Completeness of Graphical Languages for Mixed State Quantum Mechanics

Titouan Carette , Emmanuel Jeandel , Simon Perdrix , Renaud Vilmart
ACM Transactions on Quantum Computing, 2021, ACM Transactions on Quantum Computing, 2 (4), pp.1-28. ⟨10.1145/3464693⟩
Article dans une revue hal-04082921 v1