- 6
- 2
Emmanuel Jeandel
8
Documents
Identifiants chercheurs
emmanuel-jeandel-
0000-0001-7236-2906
- IdRef : 104526750
Présentation
see also [My professional page](https://members.loria.fr/EJeandel/)
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
|
|
Completeness of Graphical Languages for Mixed State Quantum MechanicsACM Transactions on Quantum Computing, 2021, ACM Transactions on Quantum Computing, 2 (4), pp.1-28. ⟨10.1145/3464693⟩
Article dans une revue
hal-04082921v1
|
Completeness of the ZX-CalculusLogical Methods in Computer Science, 2020, 16 (2), pp.11:1 -- 11:72. ⟨10.23638/LMCS-16(2:11)2020⟩
Article dans une revue
hal-02400081v1
|
|
|
Completeness of Graphical Languages for Mixed States Quantum MechanicsICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩
Communication dans un congrès
hal-02025720v1
|
|
|
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle CompletenessLICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785754⟩
Communication dans un congrès
hal-01791791v1
|
|
|
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum MechanicsThe 33rd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2018, Jul 2018, Oxford, United Kingdom. pp.559--568, ⟨10.1145/3209108.3209131⟩
Communication dans un congrès
hal-01529623v2
|
|
|
Diagrammatic Reasoning beyond Clifford+T Quantum MechanicsThe 33rd Annual Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.569--578, ⟨10.1145/3209108.3209139⟩
Communication dans un congrès
hal-01716501v1
|
|
|
Y-Calculus: A language for real Matrices derived from the ZX-CalculusInternational Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands
Communication dans un congrès
hal-01445948v1
|
|
|
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanicsMFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
Communication dans un congrès
hal-01445707v2
|