Titouan Carette
6
Documents
Publications
Publications
|
|
Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words2025 |
|
|
Colored props for large scale graphical reasoning2020 |
|
|
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⟩ |
|
|
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 |
|
|
Wielding the ZX-calculus, Flexsymmetry, Mixed States, and Scalable NotationsComputer Science [cs]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0200⟩ |
|
|
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⟩ |
Chargement...
Chargement...