Simon Perdrix - RankMe

108 papers A* 10A 1B 23C 5Journal 45Unranked 20

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits. FoSSaCS Noé Delorme, Simon Perdrix
2026	J	`jnl`	Towards Term-based Verification of Diagrammatic Equivalence. CoRR Julie Cailler, Noé Delorme, Simon Perdrix, Sophie Tourret
2025	J	`jnl`	A Quantum Programming Language for Coherent Control. CoRR Kathleen Barsse, Romain Péchoux, Simon Perdrix
2025	A*	`conf`	Deciding Local Unitary Equivalence of Graph States in Quasi-Polynomial Time. ICALP Nathan Claudet, Simon Perdrix
2025	J	`jnl`	Deciding Local Unitary Equivalence of Graph States in Quasi-Polynomial Time. CoRR Nathan Claudet, Simon Perdrix
2025	A	`conf`	Local Equivalence of Stabilizer States: A Graphical Characterisation. STACS Nathan Claudet, Simon Perdrix
2024	J	`jnl`	Addition and Differentiation of ZX-diagrams. Log. Methods Comput. Sci. Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova
2024	B	`conf`	Covering a Graph with Minimal Local Sets. WG Nathan Claudet, Simon Perdrix
2024	J	`jnl`	Covering a Graph with Minimal Local Sets. CoRR Nathan Claudet, Simon Perdrix
2024	J	`jnl`	Local equivalence of stabilizer states: a graphical characterisation. CoRR Nathan Claudet, Simon Perdrix
2024	A*	`conf`	Minimal Equational Theories for Quantum Circuits. LICS Alexandre Clément, Noé Delorme, Simon Perdrix
2024	—	`conf`	On the Hardness of Analyzing Quantum Programs Quantitatively. ESOP (2) Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix
2024	J	`jnl`	Optimal Hadamard Gate Count for Clifford+ ACM Trans. Quantum Comput. Vivien Vandaele, Simon Martiel, Simon Perdrix, Christophe Vuillot
2024	B	`conf`	Quantum Circuit Completeness: Extensions and Simplifications. CSL Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart
2024	A*	`conf`	Vertex-Minor Universal Graphs for Generating Entangled Quantum Subsystems. ICALP Maxime Cautrès, Nathan Claudet, Mehdi Mhalla, Simon Perdrix, Valentin Savin, Stéphan Thomassé
2024	J	`jnl`	Vertex-minor universal graphs for generating entangled quantum subsystems. CoRR Maxime Cautrès, Nathan Claudet, Mehdi Mhalla, Simon Perdrix, Valentin Savin, Stéphan Thomassé
2023	A*	`conf`	A Complete Equational Theory for Quantum Circuits. LICS Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
2023	J	`jnl`	Minimal Equational Theories for Quantum Circuits. CoRR Alexandre Clément, Noé Delorme, Simon Perdrix
2023	J	`jnl`	On the Hardness of Analyzing Quantum Programs Quantitatively. CoRR Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix
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	B	`conf`	Addition and Differentiation of ZX-Diagrams. FSCD Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova
2022	B	`conf`	LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits. MFCS Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
2022	J	`jnl`	LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits. CoRR Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
2022	A*	`conf`	Quantum Expectation Transformers for Cost Analysis. LICS Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev
2022	J	`jnl`	Quantum Expectation Transformers for Cost Analysis. CoRR Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev
2022	B	`conf`	Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-Calculus. MFCS Alexandre Clément, Simon Perdrix
2021	B	`conf`	Coherent Control and Distinguishability of Quantum Channels via PBS-Diagrams. MFCS Cyril Branciard, Alexandre Clément, Mehdi Mhalla, Simon Perdrix
2021	J	`jnl`	Coherent control and distinguishability of quantum channels via PBS-diagrams. CoRR Cyril Branciard, Alexandre Clément, Mehdi Mhalla, Simon Perdrix
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	A*	`conf`	Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory. LICS Titouan Carette, Marc de Visme, Simon Perdrix
2021	B	`conf`	Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus. APLAS Agustín Borgna, Simon Perdrix, Benoît Valiron
2021	—	`conf`	Quantum Algorithms and Oracles with the Scalable ZX-calculus. QPL Titouan Carette, Yohann D'Anello, Simon Perdrix
2020	J	`jnl`	Colored props for large scale graphical reasoning. CoRR Titouan Carette, Simon Perdrix
2020	J	`jnl`	Completeness of the ZX-Calculus. Log. Methods Comput. Sci. Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2020	J	`jnl`	Contextuality in multipartite pseudo-telepathy graph games. J. Comput. Syst. Sci. Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix
2020	J	`jnl`	Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. Quantum Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering
2020	B	`conf`	PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations. MFCS Alexandre Clément, Simon Perdrix
2020	J	`jnl`	PBS-calculus: A Graphical Language for Quantum-Controlled Computations. CoRR Alexandre Clément, Simon Perdrix
2020	B	`conf`	Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. FoSSaCS Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev
2020	J	`jnl`	Reversible causal graph dynamics: invertibility, block representation, vertex-preservation. Nat. Comput. Pablo Arrighi, Simon Martiel, Simon Perdrix
2020	—	`ch.`	Theoretical Computer Science: Computability, Decidability and Logic. A Guided Tour of Artificial Intelligence Research (3) (III) Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
2020	—	`ch.`	Theoretical Computer Science: Computational Complexity. A Guided Tour of Artificial Intelligence Research (3) (III) Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
2020	J	`jnl`	Towards a Minimal Stabilizer ZX-calculus. Log. Methods Comput. Sci. Miriam Backens, Simon Perdrix, Quanlong Wang
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	—	`book`	Approches Graphiques en Informatique Quantique. Simon Perdrix
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	J	`jnl`	Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. CoRR Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering
2019	—	`conf`	Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms. QPL Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix
2019	J	`jnl`	Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. CoRR Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev
2019	B	`conf`	SZX-Calculus: Scalable Graphical Quantum Reasoning. MFCS Titouan Carette, Dominic Horsman, Simon Perdrix
2018	A*	`conf`	A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. LICS Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2018	A*	`conf`	Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. LICS Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2018	J	`jnl`	Quantum Computation and Information - Introduction to the Special Theme. ERCIM News Jop Briët, Simon Perdrix
2017	J	`jnl`	A complete characterisation of All-versus-Nothing arguments for stabiliser states. CoRR Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Simon Perdrix
2017	B	`conf`	Contextuality in Multipartite Pseudo-Telepathy Graph Games. FCT Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix
2017	B	`conf`	Determinism and Computational Power of Real Measurement-Based Quantum Computation. FCT Simon Perdrix, Luc Sanselme
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	J	`jnl`	Towards a Minimal Stabilizer ZX-calculus. CoRR Miriam Backens, Simon Perdrix, 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
2016	—	`conf`	A Simplified Stabilizer ZX-calculus. QPL Miriam Backens, Simon Perdrix, Quanlong Wang
2016	J	`jnl`	Contextuality in multipartie pseudo-telepathy graph games. CoRR Peter Høyer, Mehdi Mhalla, Simon Perdrix
2016	C	`conf`	Reversible Causal Graph Dynamics. RC Pablo Arrighi, Simon Martiel, Simon Perdrix
2016	B	`conf`	Supplementarity is Necessary for Quantum Diagram Reasoning. MFCS Simon Perdrix, Quanlong Wang
2015	B	`conf`	Block Representation of Reversible Causal Graph Dynamics. FCT Pablo Arrighi, Simon Martiel, Simon Perdrix
2015	B	`conf`	Minimum Degree Up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms. ISAAC David Cattanéo, Simon Perdrix
2015	J	`jnl`	Minimum Degree up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms. CoRR David Cattanéo, Simon Perdrix
2015	J	`jnl`	On weak odd domination and graph-based quantum secret sharing. Theor. Comput. Sci. Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
2015	C	`conf`	Quantum Circuits for the Unitary Permutation Problem. TAMC Stefano Facchini, Simon Perdrix
2015	C	`conf`	Reversibility in Extended Measurement-Based Quantum Computation. RC Nidhal Hamrit, Simon Perdrix
2015	J	`jnl`	Reversibility in the Extended Measurement-based Quantum Computation. CoRR Nidhal Hamrit, Simon Perdrix
2015	J	`jnl`	Reversible Causal Graph Dynamics. CoRR Pablo Arrighi, Simon Martiel, Simon Perdrix
2014	J	`jnl`	Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus Log. Methods Comput. Sci. Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
2014	C	`conf`	The Parameterized Complexity of Domination-Type Problems and Application to Linear Codes. TAMC David Cattanéo, Simon Perdrix
2013	—	`conf`	Access Structure in Graphs in High Dimension and Application to Secret Sharing. TQC Anne Marin, Damian Markham, Simon Perdrix
2013	J	`jnl`	Graph States, Pivot Minor, and Universality of (X, Z)-Measurements. Int. J. Unconv. Comput. Mehdi Mhalla, Simon Perdrix
2013	B	`conf`	Parameterized Complexity of Weak Odd Domination Problems. FCT David Cattanéo, Simon Perdrix
2013	—	`conf`	Pivoting makes the ZX-calculus complete for real stabilizers. QPL Ross Duncan, Simon Perdrix
2012	—	`conf`	New Protocols and Lower Bounds for Quantum Secret Sharing with Graph States. TQC Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
2012	B	`conf`	On the Minimum Degree Up to Local Complementation: Bounds and Complexity. WG Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
2012	J	`jnl`	On the Minimum Degree up to Local Complementation: Bounds and Complexity CoRR Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
2012	J	`jnl`	Parametrized Complexity of Weak Odd Domination Problems CoRR David Cattanéo, Simon Perdrix
2012	—	`conf`	Quantum Secret Sharing with Graph States. MEMICS Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
2012	J	`jnl`	The Parameterized Complexity of Domination-type Problems and Application to Linear Codes CoRR David Cattanéo, Simon Perdrix
2011	—	`conf`	Completeness of algebraic CPS simulations DCM Ali Assaf, Simon Perdrix
2011	J	`jnl`	On Weak Odd Domination and Graph-based Quantum Secret Sharing CoRR Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
2011	J	`jnl`	Optimal accessing and non-accessing structures for graph protocols CoRR Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
2011	J	`jnl`	Towards Observable Quantum Turing Machines: Fundamentals, Computational Power, and Universality. Int. J. Unconv. Comput. Simon Perdrix
2011	—	`conf`	Which Graph States are Useful for Quantum Information Processing? TQC Mehdi Mhalla, Mio Murao, Simon Perdrix, Masato Someya, Peter S. Turner
2010	—	`conf`	Computational Depth Complexity of Measurement-Based Quantum Computation. TQC Dan E. Browne, Elham Kashefi, Simon Perdrix
2010	B	`conf`	Environment and Classical Channels in Categorical Quantum Mechanics. CSL Bob Coecke, Simon Perdrix
2010	J	`jnl`	Environment and classical channels in categorical quantum mechanics Log. Methods Comput. Sci. Bob Coecke, Simon Perdrix
2010	—	`conf`	Rewriting Measurement-Based Quantum Computations with Generalised Flow. ICALP (2) Ross Duncan, Simon Perdrix
2009	C	`conf`	Graph States and the Necessity of Euler Decomposition. CiE Ross Duncan, Simon Perdrix
2009	—	`conf`	Information Flow in Secret Sharing Protocols. DCM Elham Kashefi, Damian Markham, Mehdi Mhalla, Simon Perdrix
2008	B	`conf`	Bases in Diagrammatic Quantum Protocols. MFPS Bob Coecke, Simon Perdrix, Éric Oliver Paquette
2008	—	`conf`	Finding Optimal Flows Efficiently. ICALP (1) Mehdi Mhalla, Simon Perdrix
2008	—	`conf`	Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition. QPL/DCM@ICALP Simon Perdrix
2008	B	`conf`	Quantum Entanglement Analysis Based on Abstract Interpretation. SAS Simon Perdrix
2008	J	`jnl`	Quantum entanglement analysis based on abstract interpretation CoRR Simon Perdrix
2007	—	`conf`	A Hierarchy of Quantum Semantics. DCM@ICALP Simon Perdrix
2006	J	`jnl`	Classically controlled quantum computation. Math. Struct. Comput. Sci. Simon Perdrix, Philippe Jorrand
2006	—	`—`	Modèles formels du calcul quantique : ressources, machines abstraites et calcul par mesure. (Formal models of quantum computing: resources, abstract machines and measurement-based quantum computing). Simon Perdrix
2006	B	`conf`	Resources Required for Preparing Graph States. ISAAC Peter Høyer, Mehdi Mhalla, Simon Perdrix
2006	—	`conf`	Towards a Quantum Calculus: (Work in Progress, Extended Abstract). QPL Philippe Jorrand, Simon Perdrix
2005	—	`conf`	Classically-controlled Quantum Computation. DCM@ICALP Simon Perdrix, Philippe Jorrand
2005	—	`conf`	Quantum Patterns and Types for Entanglement and Separability. QPL Simon Perdrix