35 citations
- Centre National de la Recherche ScientifiqueFR5 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR4 papers
- Laboratoire d'Informatique de GrenobleFR3 papers
- Université de LorraineFR3 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- MOCQUA: Modèles de calcul émergentsFR2 papers
- Aix-Marseille UniversitéFR1 paper
- Atos (France)FR1 paper
- CentraleSupélecFR1 paper
- Centre Inria de l'Université de LorraineFR1 paper
- Château GombertFR1 paper
- École Nationale Supérieure des Mines de NancyFR1 paper
Showing 2020 · cs.LOShow all
2 papers · 2 filters
cs.LO2020★ 4 cited
On a recipe for quantum graphical languages
Titouan Carette, Emmanuel Jeandel
Different graphical calculi have been proposed to represent quantum computation. First the ZX- calculus [4], followed by the ZW-calculus [12] and then the ZH-calculus [1]. We can w…
cs.LO2020★ 3 cited
Colored props for large scale graphical reasoning
Titouan Carette, Simon Perdrix
The prop formalism allows representation of processes withstring diagrams and has been successfully applied in various areas such as quantum computing, electric circuits and contro…