Renaud Vilmart

35 papers A* 7B 7Journal 16Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Minimality in Finite-Dimensional ZW-Calculi. CSL Marc de Visme, Renaud Vilmart
2025	J	`jnl`	The Many-Worlds Calculus. Log. Methods Comput. Sci. Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
2025	J	`jnl`	The Tensor-Plus Calculus. CoRR Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
2025	J	`jnl`	The decohered ZX-calculus. CoRR Titouan Carette, Daniela Cojocaru, Renaud Vilmart
2024	B	`conf`	Quantum Circuit Completeness: Extensions and Simplifications. CSL Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart
2024	J	`jnl`	Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing. Log. Methods Comput. Sci. Renaud Vilmart
2023	A*	`conf`	Complete Graphical Language for Hermiticity-Preserving Superoperators. LICS Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart
2023	J	`jnl`	Complete Graphical Language for Hermiticity-Preserving Superoperators. CoRR Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart
2023	B	`conf`	Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation. CSL Renaud Vilmart
2023	A*	`conf`	Compositionality of Planar Perfect Matchings: A Universal and Complete Fragment of ZW-Calculus. ICALP Titouan Carette, Etienne Moutot, Thomas Perez, Renaud Vilmart
2023	—	`ch.`	Formal Methods for Quantum Algorithms. Handb. Formal Anal. Verification Cryptogr. Christophe Chareton, Dongho Lee, Benoît Valiron, Renaud Vilmart, Sébastien Bardin, Zhaowei Xu
2023	J	`jnl`	Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing. CoRR Renaud Vilmart
2023	J	`jnl`	Simple Complete Equational Theories for Quantum Circuits with Ancillae or Partial Trace. CoRR Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart
2022	—	`conf`	Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions. TQC Aleks Kissinger, John van de Wetering, Renaud Vilmart
2022	J	`jnl`	Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Clifford Hierarchy. CoRR Renaud Vilmart
2022	J	`jnl`	Geometry of Interaction for ZX-Diagrams. CoRR Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
2022	J	`jnl`	The Many-Worlds Calculus: Representing Quantum Control. CoRR Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
2021	J	`jnl`	Completeness of Graphical Languages for Mixed State Quantum Mechanics. ACM Trans. Quantum Comput. Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2021	J	`jnl`	Formal Methods for Quantum Programs: A Survey. CoRR Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
2021	B	`conf`	Geometry of Interaction for ZX-Diagrams. MFCS Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
2021	B	`conf`	Quantum Multiple-Valued Decision Diagrams in Graphical Calculi. MFCS Renaud Vilmart
2021	J	`jnl`	Quantum Multiple-Valued Decision Diagrams in Graphical Calculi. CoRR Renaud Vilmart
2021	B	`conf`	The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford. FoSSaCS Renaud Vilmart
2020	J	`jnl`	Completeness of the ZX-Calculus. Log. Methods Comput. Sci. Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2019	A*	`conf`	A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. LICS Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2019	A*	`conf`	A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics. LICS Renaud Vilmart
2019	A*	`conf`	Completeness of Graphical Languages for Mixed States Quantum Mechanics. ICALP Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2019	J	`jnl`	Completeness of the ZX-Calculus. CoRR Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2019	—	`—`	ZX-Calculi for Quantum Computing and their Completeness. (ZX-Calculs pour l'Informatique Quantique et leur Complétude). Renaud Vilmart
2018	A*	`conf`	A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. LICS Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2018	—	`conf`	A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond. QPL Renaud Vilmart
2018	A*	`conf`	Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. LICS Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2017	J	`jnl`	Generalised Supplementarity and new rule for Empty Diagrams to Make the ZX-Calculus More Expressive. CoRR Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang
2017	—	`conf`	Y-Calculus: A language for real Matrices derived from the ZX-Calculus. QPL Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2017	B	`conf`	ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics. MFCS Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang