LORIA

Identifiers

• name variant LORIA 0.60 · backfill

Papers (3)

1. A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond quant-ph · 2018 · author #4
2. Language and Proofs for Higher-Order SMT (Work in Progress) cs.LO · 2017 · author #8
3. Proceedings 8th Interaction and Concurrency Experience cs.PL · 2015 · author #2

Mentions

• 1508.04595 #2 · backfill · confidence 0.70 LORIA

Frequent Coauthors

• CNRS 2 shared papers
• France) 2 shared papers
• Inria 2 shared papers
• Alberto Lluch Lafuente (Technical University of Denmark 1 shared papers
• Daniel El Ouraoui (University of Lorraine 1 shared papers
• Denmark) 1 shared papers
• F 54000 Nancy 1 shared papers
• Haniel Barbosa (University of Lorraine 1 shared papers
• Hugo Torres Vieira (IMT Institute for Advanced Studies Lucca 1 shared papers
• Italy) 1 shared papers
• Ivan Lanese (University of Bologna/INRIA 1 shared papers
• Jasmin Christian Blanchette (University of Lorraine 1 shared papers
• LORIA) 1 shared papers
• Max-Planck-Institut f\"ur Informatik) 1 shared papers
• Pascal Fontaine (University of Lorraine 1 shared papers
• Renaud Vilmart (Universit\'e de Lorraine 1 shared papers
• Simon Cruanes (University of Lorraine 1 shared papers
• Sophia Knight (CNRS 1 shared papers
• Universit\'e de Lorraine 1 shared papers
• Vrije Universiteit Amsterdam 1 shared papers