Publis

En cours…

A recipe for quantum graphical languages  with Emmanuel Jeandel.

 

Publications HAL de titouan carette

2020

Journal articles

titre
Extended Learning Graphs for Triangle Finding
auteur
Titouan Carette, Mathieu Laurière, Frédéric Magniez
article
Algorithmica, Springer Verlag, 2020, 82 (4), pp.980-1005. ⟨10.1007/s00453-019-00627-z⟩
typdoc
Journal articles
DOI
DOI : 10.1007/s00453-019-00627-z
Accès au bibtex
https://arxiv.org/pdf/1609.07786 BibTex

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
https://hal.archives-ouvertes.fr/hal-02914177/file/supparxiv.pdf 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
https://hal.archives-ouvertes.fr/hal-02904695/file/bigwirearxiv.pdf BibTex

2019

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
https://arxiv.org/pdf/1905.00041 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
https://hal.archives-ouvertes.fr/hal-02025720/file/discard.pdf 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
https://arxiv.org/pdf/1609.07786 BibTex