| 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 | 156 | 2018 |
| A near-optimal axiomatisation of ZX-calculus for pure qubit quantum mechanics R Vilmart arXiv preprint arXiv:1812.09114, 2018 | 88* | 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 | 65 | 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 | 45 | 2021 |
| 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 | 41 | 2022 |
| Completeness of the ZX-Calculus E Jeandel, S Perdrix, R Vilmart Logical Methods in Computer Science 16, 2020 | 40 | 2020 |
| A ZX-calculus with triangles for Toffoli-Hadamard, Clifford+ T, and beyond R Vilmart arXiv preprint arXiv:1804.03084, 2018 | 37 | 2018 |
| 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 | 23* | 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 | 21* | 2021 |
| The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford. R Vilmart FoSSaCS, 531-550, 2021 | 17 | 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 |
| The many-worlds calculus K Chardonnet, M de Visme, B Valiron, R Vilmart arXiv preprint arXiv:2206.10234, 2022 | 7 | 2022 |
| Completeness of sum-over-paths for Toffoli-Hadamard and the dyadic fragments of quantum computation R Vilmart arXiv preprint arXiv:2205.02600, 2022 | 7* | 2022 |
| Geometry of Interaction for ZX-Diagrams K Chardonnet, B Valiron, R Vilmart arXiv preprint arXiv:2206.10916, 2022 | 6 | 2022 |
| ZX-calculi for quantum computing and their completeness R Vilmart Université de Lorraine, 2019 | 6 | 2019 |
| Quantum multiple-valued decision diagrams in graphical calculi R Vilmart arXiv preprint arXiv:2107.01186, 2021 | 5 | 2021 |
| Compositionality of planar perfect matchings T Carette, E Moutot, T Perez, R Vilmart arXiv preprint arXiv:2302.08767, 2023 | 3 | 2023 |
| Minimality in Finite-Dimensional ZW-Calculi M de Visme, R Vilmart arXiv preprint arXiv:2401.16225, 2024 | 2 | 2024 |
| Complete Graphical Language for Hermiticity-Preserving Superoperators T Carette, T Hoffreumon, É Larroque, R Vilmart 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-22, 2023 | 2 | 2023 |
Simon PerdrixSenior Researcher, Inria-Mocqua, LORIAVerified email at loria.fr
