| 2026 | FOSSACS | Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits. | No Delorme, Simon Perdrix |
| 2026 | IJCAR | Towards Term-Based Verification of Diagrammatic Equivalence. | Julie Cailler, No Delorme, Simon Perdrix, Sophie Tourret |
| 2026 | LICS | Quantum Control and General Recursion Beyond the Unitary Case. | Kathleen Barsse, Romain Pchoux, Simon Perdrix |
| 2025 | ICALP | Deciding Local Unitary Equivalence of Graph States in Quasi-Polynomial Time. | Nathan Claudet, Simon Perdrix |
| 2025 | STACS | Local Equivalence of Stabilizer States: A Graphical Characterisation. | Nathan Claudet, Simon Perdrix |
| 2024 | CSL | Quantum Circuit Completeness: Extensions and Simplifications. | Alexandre Clment, No Delorme, Simon Perdrix, Renaud Vilmart |
| 2024 | ESOP | On the Hardness of Analyzing Quantum Programs Quantitatively. | Martin Avanzini, Georg Moser, Romain Pchoux, Simon Perdrix |
| 2024 | ICALP | Vertex-Minor Universal Graphs for Generating Entangled Quantum Subsystems. | Maxime Cautrs, Nathan Claudet, Mehdi Mhalla, Simon Perdrix, Valentin Savin, Stphan Thomass |
| 2024 | LICS | Minimal Equational Theories for Quantum Circuits. | Alexandre Clment, No Delorme, Simon Perdrix |
| 2024 | WG | Covering a Graph with Minimal Local Sets. | Nathan Claudet, Simon Perdrix |
| 2023 | LICS | A Complete Equational Theory for Quantum Circuits. | Alexandre Clment, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benot Valiron |
| 2022 | FSCD | Addition and Differentiation of ZX-Diagrams. | Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova |
| 2022 | LICS | Quantum Expectation Transformers for Cost Analysis. | Martin Avanzini, Georg Moser, Romain Pchoux, Simon Perdrix, Vladimir Zamdzhiev |
| 2022 | MFCS | LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits. | Alexandre Clment, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benot Valiron |
| 2022 | MFCS | Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-Calculus. | Alexandre Clment, Simon Perdrix |
| 2021 | APLAS | Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus. | Agustn Borgna, Simon Perdrix, Benot Valiron |
| 2021 | LICS | Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory. | Titouan Carette, Marc de Visme, Simon Perdrix |
| 2021 | MFCS | Coherent Control and Distinguishability of Quantum Channels via PBS-Diagrams. | Cyril Branciard, Alexandre Clment, Mehdi Mhalla, Simon Perdrix |
| 2020 | FOSSACS | Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. | Romain Pchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev |
| 2020 | MFCS | PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations. | Alexandre Clment, Simon Perdrix |
| 2019 | ICALP | Completeness of Graphical Languages for Mixed States Quantum Mechanics. | Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2019 | LICS | A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2019 | MFCS | SZX-Calculus: Scalable Graphical Quantum Reasoning. | Titouan Carette, Dominic Horsman, Simon Perdrix |
| 2018 | LICS | A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2018 | LICS | Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
| 2017 | FCT | Contextuality in Multipartite Pseudo-Telepathy Graph Games. | Anurag Anshu, Peter Hyer, Mehdi Mhalla, Simon Perdrix |
| 2017 | FCT | Determinism and Computational Power of Real Measurement-Based Quantum Computation. | Simon Perdrix, Luc Sanselme |
| 2017 | MFCS | ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics. | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang |
| 2016 | MFCS | Supplementarity is Necessary for Quantum Diagram Reasoning. | Simon Perdrix, Quanlong Wang |
| 2016 | RC | Reversible Causal Graph Dynamics. | Pablo Arrighi, Simon Martiel, Simon Perdrix |
| 2015 | FCT | Block Representation of Reversible Causal Graph Dynamics. | Pablo Arrighi, Simon Martiel, Simon Perdrix |
| 2015 | ISAAC | Minimum Degree Up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms. | David Cattano, Simon Perdrix |
| 2015 | RC | Reversibility in Extended Measurement-Based Quantum Computation. | Nidhal Hamrit, Simon Perdrix |
| 2015 | TAMC | Quantum Circuits for the Unitary Permutation Problem. | Stefano Facchini, Simon Perdrix |
| 2014 | TAMC | The Parameterized Complexity of Domination-Type Problems and Application to Linear Codes. | David Cattano, Simon Perdrix |
| 2013 | FCT | Parameterized Complexity of Weak Odd Domination Problems. | David Cattano, Simon Perdrix |
| 2012 | WG | On the Minimum Degree Up to Local Complementation: Bounds and Complexity. | Jrme Javelle, Mehdi Mhalla, Simon Perdrix |
| 2010 | CSL | Environment and Classical Channels in Categorical Quantum Mechanics. | Bob Coecke, Simon Perdrix |
| 2010 | ICALP | Rewriting Measurement-Based Quantum Computations with Generalised Flow. | Ross Duncan, Simon Perdrix |
| 2009 | CiE | Graph States and the Necessity of Euler Decomposition. | Ross Duncan, Simon Perdrix |
| 2008 | ICALP | Finding Optimal Flows Efficiently. | Mehdi Mhalla, Simon Perdrix |
| 2008 | SAS | Quantum Entanglement Analysis Based on Abstract Interpretation. | Simon Perdrix |
| 2006 | ISAAC | Resources Required for Preparing Graph States. | Peter Hyer, Mehdi Mhalla, Simon Perdrix |