Publis

En cours…

A recipe for quantum graphical languages  with Emmanuel Jeandel.

 

Publications HAL de titouan carette

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

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