A complete axiomatisation of the ZX-calculus for Clifford+ T quantum mechanics E Jeandel, S Perdrix, R Vilmart Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 141 | 2018 |
A near-optimal axiomatisation of ZX-calculus for pure qubit quantum mechanics R Vilmart arXiv preprint arXiv:1812.09114, 2018 | 77* | 2018 |
Diagrammatic reasoning beyond Clifford+ T quantum mechanics E Jeandel, S Perdrix, R Vilmart Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 63 | 2018 |
Completeness of graphical languages for mixed state quantum mechanics T Carette, E Jeandel, S Perdrix, R Vilmart ACM Transactions on Quantum Computing 2 (4), 1-28, 2021 | 40 | 2021 |
Completeness of the ZX-Calculus E Jeandel, S Perdrix, R Vilmart Logical Methods in Computer Science 16, 2020 | 35 | 2020 |
A ZX-calculus with triangles for Toffoli-Hadamard, Clifford+ T, and beyond R Vilmart arXiv preprint arXiv:1804.03084, 2018 | 32 | 2018 |
Classical simulation of quantum circuits with partial and graphical stabiliser decompositions A Kissinger, J van de Wetering, R Vilmart arXiv preprint arXiv:2202.09202, 2022 | 31 | 2022 |
A generic normal form for ZX-diagrams and application to the rational angle completeness E Jeandel, S Perdrix, R Vilmart 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2019 | 28 | 2019 |
ZX-calculus: Cyclotomic supplementarity and incompleteness for Clifford+ T quantum mechanics E Jeandel, S Perdrix, R Vilmart, Q Wang arXiv preprint arXiv:1702.01945, 2017 | 22* | 2017 |
Formal methods for quantum programs: A survey C Chareton, S Bardin, D Lee, B Valiron, R Vilmart, Z Xu arXiv preprint arXiv:2109.06493, 2021 | 16* | 2021 |
The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford. R Vilmart FoSSaCS, 531-550, 2021 | 15 | 2021 |
Y-calculus: A language for real matrices derived from the zx-calculus E Jeandel, S Perdrix, R Vilmart arXiv preprint arXiv:1702.00934, 2017 | 11 | 2017 |
Geometry of Interaction for ZX-Diagrams K Chardonnet, B Valiron, R Vilmart arXiv preprint arXiv:2206.10916, 2022 | 6 | 2022 |
The many-worlds calculus K Chardonnet, M de Visme, B Valiron, R Vilmart arXiv preprint arXiv:2206.10234, 2022 | 6 | 2022 |
ZX-calculi for quantum computing and their completeness R Vilmart Université de Lorraine, 2019 | 6 | 2019 |
Completeness of sum-over-paths for Toffoli-Hadamard and the dyadic fragments of quantum computation R Vilmart arXiv preprint arXiv:2205.02600, 2022 | 5* | 2022 |
Quantum multiple-valued decision diagrams in graphical calculi R Vilmart arXiv preprint arXiv:2107.01186, 2021 | 4 | 2021 |
42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) R Impagliazzo, V Kabanets, A Kolokolova, P McKenzie, S Romani, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017 | 3 | 2017 |
Compositionality of planar perfect matchings T Carette, E Moutot, T Perez, R Vilmart arXiv preprint arXiv:2302.08767, 2023 | 2 | 2023 |
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing R Vilmart Logical Methods in Computer Science 20, 2024 | 1 | 2024 |