
Simon Perdrix
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [i20]Cyril Branciard, Alexandre Clément, Mehdi Mhalla, Simon Perdrix:
Coherent control and distinguishability of quantum channels via PBS-diagrams. CoRR abs/2103.02073 (2021) - 2020
- [j15]Anurag Anshu, Peter Høyer, Mehdi Mhalla
, Simon Perdrix:
Contextuality in multipartite pseudo-telepathy graph games. J. Comput. Syst. Sci. 107: 156-165 (2020) - [j14]Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart:
Completeness of the ZX-Calculus. Log. Methods Comput. Sci. 16(2) (2020) - [j13]Miriam Backens, Simon Perdrix, Quanlong Wang:
Towards a Minimal Stabilizer ZX-calculus. Log. Methods Comput. Sci. 16(4) (2020) - [j12]Pablo Arrighi, Simon Martiel, Simon Perdrix:
Reversible causal graph dynamics: invertibility, block representation, vertex-preservation. Nat. Comput. 19(1): 157-178 (2020) - [c36]Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev:
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. FoSSaCS 2020: 562-581 - [c35]Alexandre Clément, Simon Perdrix
:
PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations. MFCS 2020: 24:1-24:14 - [i19]Alexandre Clément, Simon Perdrix:
PBS-calculus: A Graphical Language for Quantum-Controlled Computations. CoRR abs/2002.09387 (2020) - [i18]Titouan Carette, Simon Perdrix:
Colored props for large scale graphical reasoning. CoRR abs/2007.03564 (2020)
2010 – 2019
- 2019
- [c34]Titouan Carette, Emmanuel Jeandel
, Simon Perdrix
, Renaud Vilmart:
Completeness of Graphical Languages for Mixed States Quantum Mechanics. ICALP 2019: 108:1-108:15 - [c33]Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart:
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. LICS 2019: 1-10 - [c32]Titouan Carette
, Dominic Horsman, Simon Perdrix
:
SZX-Calculus: Scalable Graphical Quantum Reasoning. MFCS 2019: 55:1-55:15 - [i17]Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering:
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. CoRR abs/1902.03178 (2019) - [i16]Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart:
Completeness of the ZX-Calculus. CoRR abs/1903.06035 (2019) - [i15]Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev:
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. CoRR abs/1910.09633 (2019) - 2018
- [c31]Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart:
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. LICS 2018: 559-568 - [c30]Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart:
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. LICS 2018: 569-578 - [i14]Jop Briët, Simon Perdrix:
Quantum Computation and Information - Introduction to the Special Theme. ERCIM News 2018(112) (2018) - 2017
- [c29]Anurag Anshu, Peter Høyer
, Mehdi Mhalla, Simon Perdrix:
Contextuality in Multipartite Pseudo-Telepathy Graph Games. FCT 2017: 41-55 - [c28]Simon Perdrix, Luc Sanselme:
Determinism and Computational Power of Real Measurement-Based Quantum Computation. FCT 2017: 395-408 - [c27]Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang:
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics. MFCS 2017: 11:1-11:13 - [c26]Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart:
Y-Calculus: A language for real Matrices derived from the ZX-Calculus. QPL 2017: 23-57 - [i13]Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang:
Generalised Supplementarity and new rule for Empty Diagrams to Make the ZX-Calculus More Expressive. CoRR abs/1702.01945 (2017) - [i12]Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Simon Perdrix:
A complete characterisation of All-versus-Nothing arguments for stabiliser states. CoRR abs/1705.08459 (2017) - [i11]Miriam Backens
, Simon Perdrix, Quanlong Wang:
Towards a Minimal Stabilizer ZX-calculus. CoRR abs/1709.08903 (2017) - 2016
- [c25]Simon Perdrix, Quanlong Wang:
Supplementarity is Necessary for Quantum Diagram Reasoning. MFCS 2016: 76:1-76:14 - [c24]Pablo Arrighi, Simon Martiel, Simon Perdrix:
Reversible Causal Graph Dynamics. RC 2016: 73-88 - [c23]Miriam Backens
, Simon Perdrix, Quanlong Wang:
A Simplified Stabilizer ZX-calculus. QPL 2016: 1-20 - [i10]Peter Høyer, Mehdi Mhalla, Simon Perdrix:
Contextuality in multipartie pseudo-telepathy graph games. CoRR abs/1609.09689 (2016) - 2015
- [j11]Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix:
On weak odd domination and graph-based quantum secret sharing. Theor. Comput. Sci. 598: 129-137 (2015) - [c22]Pablo Arrighi, Simon Martiel, Simon Perdrix:
Block Representation of Reversible Causal Graph Dynamics. FCT 2015: 351-363 - [c21]David Cattanéo, Simon Perdrix:
Minimum Degree Up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms. ISAAC 2015: 259-270 - [c20]Nidhal Hamrit, Simon Perdrix:
Reversibility in Extended Measurement-Based Quantum Computation. RC 2015: 129-138 - [c19]Stefano Facchini, Simon Perdrix:
Quantum Circuits for the Unitary Permutation Problem. TAMC 2015: 324-331 - [i9]Pablo Arrighi, Simon Martiel, Simon Perdrix:
Reversible Causal Graph Dynamics. CoRR abs/1502.04368 (2015) - [i8]Nidhal Hamrit, Simon Perdrix:
Reversibility in the Extended Measurement-based Quantum Computation. CoRR abs/1503.03008 (2015) - [i7]David Cattanéo, Simon Perdrix:
Minimum Degree up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms. CoRR abs/1503.04702 (2015) - 2014
- [j10]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) - [c18]David Cattanéo, Simon Perdrix:
The Parameterized Complexity of Domination-Type Problems and Application to Linear Codes. TAMC 2014: 86-103 - 2013
- [j9]Mehdi Mhalla, Simon Perdrix:
Graph States, Pivot Minor, and Universality of (X, Z)-Measurements. Int. J. Unconv. Comput. 9(1-2): 153-171 (2013) - [c17]David Cattanéo, Simon Perdrix:
Parameterized Complexity of Weak Odd Domination Problems. FCT 2013: 107-120 - [c16]Anne Marin, Damian Markham, Simon Perdrix:
Access Structure in Graphs in High Dimension and Application to Secret Sharing. TQC 2013: 308-324 - [c15]Ross Duncan
, Simon Perdrix:
Pivoting makes the ZX-calculus complete for real stabilizers. QPL 2013: 50-62 - 2012
- [c14]Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix:
Quantum Secret Sharing with Graph States. MEMICS 2012: 15-31 - [c13]Jérôme Javelle, Mehdi Mhalla, Simon Perdrix:
New Protocols and Lower Bounds for Quantum Secret Sharing with Graph States. TQC 2012: 1-12 - [c12]Jérôme Javelle, Mehdi Mhalla, Simon Perdrix:
On the Minimum Degree Up to Local Complementation: Bounds and Complexity. WG 2012: 138-147 - [i6]Jérôme Javelle, Mehdi Mhalla, Simon Perdrix:
On the Minimum Degree up to Local Complementation: Bounds and Complexity. CoRR abs/1204.4564 (2012) - [i5]David Cattanéo, Simon Perdrix:
Parametrized Complexity of Weak Odd Domination Problems. CoRR abs/1206.4081 (2012) - [i4]David Cattanéo, Simon Perdrix:
The Parameterized Complexity of Domination-type Problems and Application to Linear Codes. CoRR abs/1209.5267 (2012) - 2011
- [j8]Simon Perdrix:
Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition. Electron. Notes Theor. Comput. Sci. 270(1): 99-111 (2011) - [j7]Simon Perdrix:
Towards Observable Quantum Turing Machines: Fundamentals, Computational Power, and Universality. Int. J. Unconv. Comput. 7(4): 291-311 (2011) - [c11]Mehdi Mhalla, Mio Murao, Simon Perdrix, Masato Someya, Peter S. Turner:
Which Graph States are Useful for Quantum Information Processing? TQC 2011: 174-187 - [c10]Ali Assaf, Simon Perdrix:
Completeness of algebraic CPS simulations. DCM 2011: 16-27 - [i3]Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix:
Optimal accessing and non-accessing structures for graph protocols. CoRR abs/1109.6181 (2011) - [i2]Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix:
On Weak Odd Domination and Graph-based Quantum Secret Sharing. CoRR abs/1112.2495 (2011) - 2010
- [j6]Bob Coecke, Simon Perdrix:
Environment and classical channels in categorical quantum mechanics. Log. Methods Comput. Sci. 8(4) (2010) - [c9]Bob Coecke, Simon Perdrix:
Environment and Classical Channels in Categorical Quantum Mechanics. CSL 2010: 230-244 - [c8]Ross Duncan
, Simon Perdrix:
Rewriting Measurement-Based Quantum Computations with Generalised Flow. ICALP (2) 2010: 285-296 - [c7]Dan E. Browne
, Elham Kashefi, Simon Perdrix:
Computational Depth Complexity of Measurement-Based Quantum Computation. TQC 2010: 35-46
2000 – 2009
- 2009
- [c6]Ross Duncan
, Simon Perdrix:
Graph States and the Necessity of Euler Decomposition. CiE 2009: 167-177 - [c5]Elham Kashefi, Damian Markham, Mehdi Mhalla, Simon Perdrix:
Information Flow in Secret Sharing Protocols. DCM 2009: 87-97 - 2008
- [j5]Simon Perdrix:
A Hierarchy of Quantum Semantics. Electron. Notes Theor. Comput. Sci. 192(3): 71-83 (2008) - [j4]Philippe Jorrand, Simon Perdrix:
Towards a Quantum Calculus: (Work in Progress, Extended Abstract). Electron. Notes Theor. Comput. Sci. 210: 75-83 (2008) - [c4]Mehdi Mhalla, Simon Perdrix:
Finding Optimal Flows Efficiently. ICALP (1) 2008: 857-868 - [c3]Simon Perdrix:
Quantum Entanglement Analysis Based on Abstract Interpretation. SAS 2008: 270-282 - [c2]Bob Coecke, Simon Perdrix, Éric Oliver Paquette:
Bases in Diagrammatic Quantum Protocols. MFPS 2008: 131-152 - [i1]Simon Perdrix:
Quantum entanglement analysis based on abstract interpretation. CoRR abs/0801.4230 (2008) - 2007
- [j3]Simon Perdrix:
Quantum Patterns and Types for Entanglement and Separability. Electron. Notes Theor. Comput. Sci. 170: 125-138 (2007) - 2006
- [b1]Simon Perdrix:
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). Grenoble Institute of Technology, France, 2006 - [j2]Simon Perdrix, Philippe Jorrand:
Classically-controlled Quantum Computation. Electron. Notes Theor. Comput. Sci. 135(3): 119-128 (2006) - [j1]Simon Perdrix, Philippe Jorrand:
Classically controlled quantum computation. Math. Struct. Comput. Sci. 16(4): 601-620 (2006) - [c1]Peter Høyer
, Mehdi Mhalla, Simon Perdrix:
Resources Required for Preparing Graph States. ISAAC 2006: 638-649
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-03-05 00:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint