En cours…
A recipe for quantum graphical languages with Emmanuel Jeandel.
2020
Conference papers
- titre
- A recipe for quantum graphical languages
- auteur
- Titouan Carette, Emmanuel Jeandel
- article
- ICALP 2020, 2020, Saarbrücken, Germany
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- Colored props for large scale graphical reasoning
- auteur
- Titouan Carette, Simon Perdrix
- article
- 2020
- typdoc
- Preprints, Working Papers, …
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- Extended Learning Graphs for Triangle Finding
- auteur
- Titouan Carette, Mathieu Laurière, Frédéric Magniez
- article
- Algorithmica, Springer Verlag, In press, ⟨10.1007/s00453-019-00627-z⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1007/s00453-019-00627-z
- Accès au bibtex
-
Conference papers
- titre
- SZX-calculus: Scalable Graphical Quantum Reasoning
- auteur
- Titouan Carette, Dominic Horsman, Simon Perdrix
- article
- MFCS 2019 – 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. pp.55:1–55:15, ⟨10.4230/LIPIcs.MFCS.2019.55⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.4230/LIPIcs.MFCS.2019.55
- Accès au bibtex
-
- titre
- Completeness of Graphical Languages for Mixed States Quantum Mechanics
- auteur
- Titouan Carette, Simon Perdrix, Renaud Vilmart, Emmanuel Jeandel
- article
- ICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.4230/LIPIcs.ICALP.2019.108
- Accès au texte intégral et bibtex
-
2017
Conference papers
- titre
- Extended Learning Graphs for Triangle Finding
- auteur
- Titouan Carette, Mathieu Laurière, Frédéric Magniez
- article
- STACS, 2017, Hannover, France. ⟨10.4230/LIPIcs.STACS.2017.20⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.4230/LIPIcs.STACS.2017.20
- Accès au bibtex
-
