Titouan Carette

6
Documents

Publications

Publications

Deposit thumbnail

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-04002282v1

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-03153305v1
Deposit thumbnail

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-04082921v1