Simon Perdrix

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 52

Top Venues

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Maxime Cautrès, Nathan Claudet, Mehdi Mhalla, Simon Perdrix, Valentin Savin, Stéphan Thomassé
Vertex-minor universal graphs for generating entangled quantum subsystems. CoRR (2024)
Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix
On the Hardness of Analyzing Quantum Programs Quantitatively. ESOP (2) (2024)
Nathan Claudet, Simon Perdrix
Covering a Graph with Minimal Local Sets. CoRR (2024)
Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart
Quantum Circuit Completeness: Extensions and Simplifications. CSL (2024)
Alexandre Clément, Noé Delorme, Simon Perdrix
Minimal Equational Theories for Quantum Circuits. LICS (2024)
Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova
Addition and Differentiation of ZX-diagrams. Log. Methods Comput. Sci. 20 (2) (2024)
Maxime Cautrès, Nathan Claudet, Mehdi Mhalla, Simon Perdrix, Valentin Savin, Stéphan Thomassé
Vertex-Minor Universal Graphs for Generating Entangled Quantum Subsystems. ICALP (2024)
Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix
On the Hardness of Analyzing Quantum Programs Quantitatively. CoRR (2023)
Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart
Simple Complete Equational Theories for Quantum Circuits with Ancillae or Partial Trace. CoRR (2023)
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
A Complete Equational Theory for Quantum Circuits. LICS (2023)
Alexandre Clément, Noé Delorme, Simon Perdrix
Minimal Equational Theories for Quantum Circuits. CoRR (2023)
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits. CoRR (2022)
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits. MFCS (2022)
Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova
Addition and Differentiation of ZX-Diagrams. FSCD (2022)
Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev
Quantum Expectation Transformers for Cost Analysis. LICS (2022)
Alexandre Clément, Simon Perdrix
Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-Calculus. MFCS (2022)
Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev
Quantum Expectation Transformers for Cost Analysis. CoRR (2022)
Cyril Branciard, Alexandre Clément, Mehdi Mhalla, Simon Perdrix
Coherent Control and Distinguishability of Quantum Channels via PBS-Diagrams. MFCS (2021)
Titouan Carette, Marc de Visme, Simon Perdrix
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory. LICS (2021)
Titouan Carette, Yohann D'Anello, Simon Perdrix
Quantum Algorithms and Oracles with the Scalable ZX-calculus. QPL (2021)
Cyril Branciard, Alexandre Clément, Mehdi Mhalla, Simon Perdrix
Coherent control and distinguishability of quantum channels via PBS-diagrams. CoRR (2021)
Agustín Borgna, Simon Perdrix, Benoît Valiron
Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus. APLAS (2021)
Alexandre Clément, Simon Perdrix
PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations. MFCS (2020)
Titouan Carette, Simon Perdrix
Colored props for large scale graphical reasoning. CoRR (2020)
Alexandre Clément, Simon Perdrix
PBS-calculus: A Graphical Language for Quantum-Controlled Computations. CoRR (2020)
Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. Quantum 4 (2020)
Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. FoSSaCS (2020)
Pablo Arrighi, Simon Martiel, Simon Perdrix
Reversible causal graph dynamics: invertibility, block representation, vertex-preservation. Nat. Comput. 19 (1) (2020)
Miriam Backens, Simon Perdrix, Quanlong Wang
Towards a Minimal Stabilizer ZX-calculus. Log. Methods Comput. Sci. 16 (4) (2020)
Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix
Contextuality in multipartite pseudo-telepathy graph games. J. Comput. Syst. Sci. 107 (2020)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
Completeness of the ZX-Calculus. Log. Methods Comput. Sci. 16 (2) (2020)
Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix
Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms. QPL (2019)
Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. CoRR (2019)
Titouan Carette, Dominic Horsman, Simon Perdrix
SZX-Calculus: Scalable Graphical Quantum Reasoning. MFCS (2019)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. LICS (2019)
Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
Completeness of Graphical Languages for Mixed States Quantum Mechanics. ICALP (2019)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
Completeness of the ZX-Calculus. CoRR (2019)
Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. CoRR (2019)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. LICS (2018)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. LICS (2018)
Jop Briët, Simon Perdrix
Quantum Computation and Information - Introduction to the Special Theme. ERCIM News 2018 (112) (2018)
Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Simon Perdrix
A complete characterisation of All-versus-Nothing arguments for stabiliser states. CoRR (2017)
Simon Perdrix, Luc Sanselme
Determinism and Computational Power of Real Measurement-Based Quantum Computation. FCT (2017)
Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix
Contextuality in Multipartite Pseudo-Telepathy Graph Games. FCT (2017)
Miriam Backens, Simon Perdrix, Quanlong Wang
Towards a Minimal Stabilizer ZX-calculus. CoRR (2017)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics. MFCS (2017)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang
Generalised Supplementarity and new rule for Empty Diagrams to Make the ZX-Calculus More Expressive. CoRR (2017)
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
Y-Calculus: A language for real Matrices derived from the ZX-Calculus. QPL (2017)
Pablo Arrighi, Simon Martiel, Simon Perdrix
Reversible Causal Graph Dynamics. RC (2016)
Peter Høyer, Mehdi Mhalla, Simon Perdrix
Contextuality in multipartie pseudo-telepathy graph games. CoRR (2016)
Simon Perdrix, Quanlong Wang
Supplementarity is Necessary for Quantum Diagram Reasoning. MFCS (2016)
Miriam Backens, Simon Perdrix, Quanlong Wang
A Simplified Stabilizer ZX-calculus. QPL (2016)
Pablo Arrighi, Simon Martiel, Simon Perdrix
Block Representation of Reversible Causal Graph Dynamics. FCT (2015)
Pablo Arrighi, Simon Martiel, Simon Perdrix
Reversible Causal Graph Dynamics. CoRR (2015)
Nidhal Hamrit, Simon Perdrix
Reversibility in Extended Measurement-Based Quantum Computation. RC (2015)
David Cattanéo, Simon Perdrix
Minimum Degree Up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms. ISAAC (2015)
David Cattanéo, Simon Perdrix
Minimum Degree up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms. CoRR (2015)
Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
On weak odd domination and graph-based quantum secret sharing. Theor. Comput. Sci. 598 (2015)
Stefano Facchini, Simon Perdrix
Quantum Circuits for the Unitary Permutation Problem. TAMC (2015)
Nidhal Hamrit, Simon Perdrix
Reversibility in the Extended Measurement-based Quantum Computation. CoRR (2015)
Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus Log. Methods Comput. Sci. 10 (4) (2014)
David Cattanéo, Simon Perdrix
The Parameterized Complexity of Domination-Type Problems and Application to Linear Codes. TAMC (2014)
Mehdi Mhalla, Simon Perdrix
Graph States, Pivot Minor, and Universality of (X, Z)-Measurements. Int. J. Unconv. Comput. 9 (1-2) (2013)
Anne Marin, Damian Markham, Simon Perdrix
Access Structure in Graphs in High Dimension and Application to Secret Sharing. TQC (2013)
Ross Duncan, Simon Perdrix
Pivoting makes the ZX-calculus complete for real stabilizers. QPL (2013)
David Cattanéo, Simon Perdrix
Parameterized Complexity of Weak Odd Domination Problems. FCT (2013)
Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
On the Minimum Degree up to Local Complementation: Bounds and Complexity CoRR (2012)
David Cattanéo, Simon Perdrix
The Parameterized Complexity of Domination-type Problems and Application to Linear Codes CoRR (2012)
Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
On the Minimum Degree Up to Local Complementation: Bounds and Complexity. WG (2012)
Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
Quantum Secret Sharing with Graph States. MEMICS (2012)
David Cattanéo, Simon Perdrix
Parametrized Complexity of Weak Odd Domination Problems CoRR (2012)
Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
New Protocols and Lower Bounds for Quantum Secret Sharing with Graph States. TQC (2012)
Simon Perdrix
Towards Observable Quantum Turing Machines: Fundamentals, Computational Power, and Universality. Int. J. Unconv. Comput. 7 (4) (2011)
Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
On Weak Odd Domination and Graph-based Quantum Secret Sharing CoRR (2011)
Mehdi Mhalla, Mio Murao, Simon Perdrix, Masato Someya, Peter S. Turner
Which Graph States are Useful for Quantum Information Processing? TQC (2011)
Ali Assaf, Simon Perdrix
Completeness of algebraic CPS simulations DCM (2011)
Simon Perdrix
Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition. Electron. Notes Theor. Comput. Sci. 270 (1) (2011)
Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
Optimal accessing and non-accessing structures for graph protocols CoRR (2011)
Bob Coecke, Simon Perdrix
Environment and Classical Channels in Categorical Quantum Mechanics. CSL (2010)
Bob Coecke, Simon Perdrix
Environment and classical channels in categorical quantum mechanics Log. Methods Comput. Sci. 8 (4) (2010)
Ross Duncan, Simon Perdrix
Rewriting Measurement-Based Quantum Computations with Generalised Flow. ICALP (2) (2010)
Dan E. Browne, Elham Kashefi, Simon Perdrix
Computational Depth Complexity of Measurement-Based Quantum Computation. TQC (2010)
Ross Duncan, Simon Perdrix
Graph States and the Necessity of Euler Decomposition. CiE (2009)
Elham Kashefi, Damian Markham, Mehdi Mhalla, Simon Perdrix
Information Flow in Secret Sharing Protocols. DCM (2009)
Simon Perdrix
Quantum entanglement analysis based on abstract interpretation CoRR (2008)
Bob Coecke, Simon Perdrix, Éric Oliver Paquette
Bases in Diagrammatic Quantum Protocols. MFPS (2008)
Simon Perdrix
A Hierarchy of Quantum Semantics. Electron. Notes Theor. Comput. Sci. 192 (3) (2008)
Philippe Jorrand, Simon Perdrix
Towards a Quantum Calculus: (Work in Progress, Extended Abstract). Electron. Notes Theor. Comput. Sci. 210 (2008)
Simon Perdrix
Quantum Entanglement Analysis Based on Abstract Interpretation. SAS (2008)
Mehdi Mhalla, Simon Perdrix
Finding Optimal Flows Efficiently. ICALP (1) (2008)
Simon Perdrix
Quantum Patterns and Types for Entanglement and Separability. Electron. Notes Theor. Comput. Sci. 170 (2007)
Simon Perdrix, Philippe Jorrand
Classically-controlled Quantum Computation. Electron. Notes Theor. Comput. Sci. 135 (3) (2006)
Peter Høyer, Mehdi Mhalla, Simon Perdrix
Resources Required for Preparing Graph States. ISAAC (2006)
Simon Perdrix, Philippe Jorrand
Classically controlled quantum computation. Math. Struct. Comput. Sci. 16 (4) (2006)

Simon Perdrix.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Simon Perdrix