Titouan Carette
5
Documents
Publications
Publications
|
|
Compositionality of planar perfect matchings50th 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 MemoryLICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, Italy
Communication dans un congrès
hal-03153305
v1
|
|
|
Wielding the ZX-calculus, Flexsymmetry, Mixed States, and Scalable NotationsComputer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0200⟩
Thèse
tel-03468027
v1
|
|
|
Completeness of Graphical Languages for Mixed State Quantum MechanicsACM 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
|
|
|
Colored props for large scale graphical reasoning2020
Pré-publication, Document de travail
hal-02904695
v1
|
Chargement...
Chargement...