My publications generated with HAL. You can also have a look at DBLP and Google Scholar.
Preprints can be found here.
2019
- titre
- Completeness of Graphical Languages for Mixed States Quantum Mechanics
- auteur
- Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
- article
- 2019
- Accès au texte intégral et bibtex
-
2018
- titre
- A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
- auteur
- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
- article
- The 33rd Annual Symposium on Logic in Computer Science, 2018, Jul 2018, Oxford, United Kingdom. pp.559–568, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. 〈10.1145/3209108.3209131〉
- DOI
- DOI : 10.1145/3209108.3209131
- Accès au texte intégral et bibtex
-
- titre
- Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
- auteur
- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
- article
- The 33rd Annual Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.569–578, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. 〈10.1145/3209108.3209139〉
- DOI
- DOI : 10.1145/3209108.3209139
- Accès au texte intégral et bibtex
-
- titre
- A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
- auteur
- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
- article
- 2018
- Accès au texte intégral et bibtex
-
2017
- titre
- A complete characterisation of All-versus-Nothing arguments for stabiliser states
- auteur
- Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Simon Perdrix
- article
- Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2017, Second quantum revolution: foundational questions, 375 (2106), 〈10.1098/rsta.2016.0385〉
- DOI
- DOI : 10.1098/rsta.2016.0385
- Accès au bibtex
-
- titre
- Towards a Minimal Stabilizer ZX-calculus
- auteur
- Miriam Backens, Simon Perdrix, Quanlong Wang
- article
- 13+15 pages. 2017
- Accès au bibtex
-
- titre
- Determinism and Computational Power of Real Measurement-based Quantum Computation
- auteur
- Simon Perdrix, Luc Sanselme
- article
- FCT’17- 21st International Symposium on Fundamentals of Computation Theory, Sep 2017, Bordeaux, France. 2017, 〈10.1007/978-3-662-55751-8_31〉
- DOI
- DOI : 10.1007/978-3-662-55751-8_31
- Accès au texte intégral et bibtex
-
- titre
- Contextuality in multipartie pseudo-telepathy graph games
- auteur
- Anurag Anshu, Peter Hoyer, Mehdi Mhalla, Simon Perdrix
- article
- FCT’17- 21st International Symposium on Fundamentals of Computation Theory, Sep 2017, Bordeaux, France. 10472, pp.41-55, 2017, Lecture Notes in Computer Science. 〈10.1007/978-3-662-55751-8_5〉
- DOI
- DOI : 10.1007/978-3-662-55751-8_5
- Accès au bibtex
-
- titre
- ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics
- auteur
- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang
- article
- MFCS 2017 – 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
- Accès au texte intégral et bibtex
-
- titre
- A complete characterisation of All-versus-Nothing arguments for stabiliser states
- auteur
- Sansom Abramski, Rui Soares Barbosa, Giovanni Carù, Simon Perdrix
- article
- 14th International Conference on Quantum Physics and Logic (QPL), Jul 2017, Nijmegen, Netherlands. 2017
- Accès au bibtex
-
- titre
- Y-Calculus: A language for real Matrices derived from the ZX-Calculus
- auteur
- Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
- article
- International Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands. 2017
- Accès au texte intégral et bibtex
-
2016
- titre
- Supplementarity is Necessary for Quantum Diagram Reasoning *
- auteur
- Simon Perdrix, Quanlong Wang
- article
- 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), Aug 2016, Krakow, Poland. 58, pp.76:1–76:14, 2, Leibniz International Proceedings in Informatics (LIPIcs). 〈10.4230/LIPIcs.MFCS.2016.76〉
- DOI
- DOI : 10.4230/LIPIcs.MFCS.2016.76
- Accès au texte intégral et bibtex
-
- titre
- Reversible Causal Graph Dynamics
- auteur
- Pablo Arrighi, Simon Martiel, Simon Perdrix
- article
- Reversible Computation, Jul 2016, Bologna, Italy. 9720, pp.73-88, 2016, Lecture Notes in Computer Science. 〈10.1007/978-3-319-40578-0_5〉
- DOI
- DOI : 10.1007/978-3-319-40578-0_5
- Accès au bibtex
-
- titre
- A Simplified Stabilizer ZX-calculus
- auteur
- Miriam Backens, Simon Perdrix, Quanlong Wang
- article
- 13th International Conference on Quantum Physics and Logic , Jun 2016, Glasgow, United Kingdom. 2016, 〈http://qpl2016.cis.strath.ac.uk/〉
- Accès au bibtex
-
- titre
- Modèles de calcul quantiques
- auteur
- Pablo Arrighi, Simon Perdrix
- article
- Étienne BAUDRIER Lo\ »ic MAZO. Informatique Mathématique – une photographie en 2016, CNRS Editions, 2016
- Accès au bibtex
-
2015
- titre
- Minimum Degree up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms
- auteur
- David Cattanéo, Simon Perdrix
- article
- 26th International Symposium on Algorithms and Computation (ISAAC 2015), Dec 2015, Nagoya, Japan. 9472, pp.12, 2015, Algorithms and Computation (ISAAC’2015). 〈10.1007/978-3-662-48971-0_23〉
- DOI
- DOI : 10.1007/978-3-662-48971-0_23
- Accès au bibtex
-
- titre
- On weak odd domination and graph-based quantum secret sharing
- auteur
- Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
- article
- Theoretical Computer Science, Elsevier, 2015, 598, 〈10.1016/j.tcs.2015.05.038〉
- DOI
- DOI : 10.1016/j.tcs.2015.05.038
- Accès au bibtex
-
- titre
- Block Representation of Reversible Causal Graph Dynamics
- auteur
- Pablo Arrighi, Simon Martiel, Simon Perdrix
- article
- 20th International Symposium on Fundamentals of Computation Theory, Aug 2015, Gdańsk, Poland. 9210, pp.14, 2015, Fundamentals of Computation Theory. 〈10.1007/978-3-319-22177-9_27〉
- DOI
- DOI : 10.1007/978-3-319-22177-9_27
- Accès au bibtex
-
- titre
- Reversibility in Extended Measurement-based Quantum Computation
- auteur
- Nidhal Hamrit, Simon Perdrix
- article
- 7th Conference on Reversible Computation, Jul 2015, Grenoble, France. 9138, pp.10, 2015, Reversible Computation. 〈10.1007/978-3-319-20860-2_8〉
- DOI
- DOI : 10.1007/978-3-319-20860-2_8
- Accès au texte intégral et bibtex
-
- titre
- L’ordinateur quantique pour simuler… la physique quantique
- auteur
- Pablo Arrighi, Simon Perdrix
- article
- La Recherche : l’actualité des sciences, société d’éditions scientifiques, 2015
- Accès au bibtex
-
- titre
- The ZX Calculus is incomplete for Clifford+T quantum mechanics
- auteur
- Simon Perdrix, Quanlong Wang
- article
- Quantum Theory: from foundations to technologies – QTFT, Jun 2015, Vaxjo, Sweden
- Accès au bibtex
-
- titre
- Quantum Circuits for the Unitary Permutation Problem
- auteur
- Stefano Facchini, Simon Perdrix
- article
- TAMC 2015, May 2015, Singapore, Singapore. 9076, pp.324-331, 2015, Theory and Applications of Models of Computation. 〈10.1007/978-3-319-17142-5_28〉
- DOI
- DOI : 10.1007/978-3-319-17142-5_28
- Accès au bibtex
-
- titre
- On weak odd domination and graph-based quantum secret sharing
- auteur
- Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
- article
- Theoretical Computer Science, Elsevier, 2015
- Accès au bibtex
-
2014
- titre
- Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
- auteur
- Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
- article
- Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10:4 (8), pp.40. 〈http://lmcs-online.org/ojs/viewarticle.php?id=1567〉. 〈10.2168/LMCS-10(4:8)2014〉
- DOI
- DOI : 10.2168/LMCS-10(4:8)2014
- Accès au bibtex
-
- titre
- The Parameterized Complexity of Domination-type Problems and Application to Linear Codes
- auteur
- David Cattanéo, Simon Perdrix
- article
- Theory and Applications of Models of Computation, Apr 2014, Chennai, India. 8402, pp.86-103, Lecture Notes in Computer Science. 〈http://link.springer.com/chapter/10.1007%2F978-3-319-06089-7_7〉. 〈10.1007/978-3-319-06089-7_7〉
- DOI
- DOI : 10.1007/978-3-319-06089-7_7
- Accès au bibtex
-
2013
- titre
- Parameterized Complexity of Weak Odd Domination Problems
- auteur
- David Cattanéo, Simon Perdrix
- article
- 19th International Symposium on Fundamentals of Computation Theory, Aug 2013, Liverpool, United Kingdom. 8070, pp.107-120, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40164-0_13〉
- DOI
- DOI : 10.1007/978-3-642-40164-0_13
- Accès au bibtex
-
- titre
- Pivoting Makes the ZX-Calculus Complete for Real Stabilizers
- auteur
- Ross Duncan, Simon Perdrix
- article
- QPL 2013 – 10th Workshop on Quantum Physics and Logic, Jul 2013, Castelldefels, Barcelona, Spain. 2013
- Accès au bibtex
-
- titre
- Access Structure in Graphs in High Dimension and Application to Secret Sharing
- auteur
- Anne Marin, Damian Markham, Simon Perdrix
- article
- Simone Severini and Fernando Brandao. TQC 2013 – 8th Conference on the Theory of Quantum Computation, Communication and Cryptography, May 2013, Guelph, Canada. Schloss Dagstuhl, 22, pp.308-324, 2013, Leibniz International Proceedings in Informatics (LIPIcs). 〈10.4230/LIPIcs.TQC.2013.308〉
- DOI
- DOI : 10.4230/LIPIcs.TQC.2013.308
- Accès au bibtex
-
- titre
- Graph States, Pivot Minor, and Universality of (X,Z)-measurements
- auteur
- Mehdi Mhalla, Simon Perdrix
- article
- International Journal of Unconventional Computing, Old City Publishing, 2013, 9 (1-2), pp.153-171
- Accès au bibtex
-
2012
- titre
- Quantum Secret Sharing with Graph States
- auteur
- Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
- article
- Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš. MEMICS 2012 – International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Oct 2012, Znojmo, Czech Republic. Springer, 7721, pp.15-31, 2013, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-36046-6_3〉
- DOI
- DOI : 10.1007/978-3-642-36046-6_3
- Accès au texte intégral et bibtex
-
- titre
- On the Minimum Degree up to Local Complementation: Bounds and Complexity
- auteur
- Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
- article
- Martin Charles Golumbic, Michal Stern, Avivit Levy, Gila Morgenstern. WG 2012 – International Workshop on Graph-Theoretic Concepts in Computer Science, Jun 2012, Jerusalem, Israel. Springer, 7551, pp.138-147, 2012, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-34611-8_16〉
- DOI
- DOI : 10.1007/978-3-642-34611-8_16
- Accès au bibtex
-
- titre
- On Weak Odd Domination and Graph-based Quantum Secret Sharing
- auteur
- Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
- article
- IF_PREPUB. Subsumes arXiv:1109.6181: Optimal accessing and non-accessing structures for graph protocols. 2012
- Accès au bibtex
-
- titre
- New Protocols and Lower Bounds for Quantum Secret Sharing with Graph States
- auteur
- Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
- article
- Kazuo Iwama, Yasuhito Kawano, Mio Murao. TQC 2012 – 7th Conference on Theory of Quantum Computation, Communication, and Cryptography, May 2012, Tokyo, Japan. Springer, 7582, pp.1-12, 2013, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-35656-8_1〉
- DOI
- DOI : 10.1007/978-3-642-35656-8_1
- Accès au bibtex
-
2011
- titre
- Optimal accessing and non-accessing structures for graph protocols
- auteur
- Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix
- article
- IF_PREPUB. 2011
- Accès au bibtex
-
- titre
- Completeness of algebraic CPS simulations
- auteur
- Ali Assaf, Simon Perdrix
- article
- Elham Kashefi, Jean Krivine, Femke van Raamsdonk. DCM 2011 – International Workshop on Developments of Computational Methods (satellite event of ICALP 2011), Jul 2011, Zurich, Switzerland. 88, pp.16-27, 2012, Electronic Proceedings in Theoretical Computer Science (EPTCS). 〈10.4204/EPTCS.88.2〉
- DOI
- DOI : 10.4204/EPTCS.88.2
- Accès au bibtex
-
- titre
- Which graph states are useful for quantum information processing?
- auteur
- Mehdi Mhalla, Mio Murao, Simon Perdrix, Masato Someya, Peter S. Turner
- article
- TQC 2011 – Conference on the Theory of Quantum Computation, Communication and Cryptography, May 2011, Madrid, Spain. 13 p., 2011
- Accès au bibtex
-
- titre
- Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition
- auteur
- Simon Perdrix
- article
- Electronic Notes in Theoretical Computer Science, Elsevier, 2011, 270 (1), pp.99-111. 〈10.1016/j.entcs.2011.01.009〉
- DOI
- DOI : 10.1016/j.entcs.2011.01.009
- Accès au bibtex
-
- titre
- Towards Observable Quantum Turing Machines: Fundamentals, Computational Power, and Universality
- auteur
- Simon Perdrix
- article
- International Journal of Unconventional Computing, Old City Publishing, 2011, 7 (4), pp.291-311
- Accès au bibtex
-
2010
- titre
- Equivalence of algebraic λ-calculi
- auteur
- Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
- article
- HOR – 5th International Workshop on Higher-Order Rewriting – 2010, Jul 2010, Edinburgh, United Kingdom. pp.6-11, 2010
- Accès au bibtex
-
- titre
- Computational Depth Complexity of Measurement-Based Quantum Computation
- auteur
- Dan E. Browne, Elham Kashefi, Simon Perdrix
- article
- Wim van Dam, Vivien M. Kendon, Simone Severini. TQC 2010 – 5th Conference on Theory of Quantum Computation, Communication, and Cryptography, Apr 2010, Leeds, United Kingdom. Springer, 6519, pp.35-46, 2011, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-18073-6_4〉
- DOI
- DOI : 10.1007/978-3-642-18073-6_4
- Accès au bibtex
-
- titre
- Décidabilité et Complexité
- auteur
- Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
- article
- Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
- Accès au texte intégral et bibtex
-
- titre
- Décidabilité et Complexité
- auteur
- Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
- article
- IA Handbook, Cépaduès, pp.1-63, 2010
- Accès au bibtex
-
- titre
- Environment and classical channels in categorical quantum mechanics
- auteur
- Bob Coecke, Simon Perdrix
- article
- Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2010, 8 (4), pp.230–244
- Accès au bibtex
-
- titre
- Environment and Classical Channels in Categorical Quantum Mechanics
- auteur
- Bob Coecke, Simon Perdrix
- article
- Dawar, Anuj and Veith, Helmut. CSL, 2010, Czech Republic. Springer Berlin Heidelberg, 6247, pp.230-244, 2010, Lecture Notes in Computer Science
- Accès au bibtex
-
- titre
- Rewriting Measurement-Based Quantum Computations with Generalised Flow
- auteur
- Ross Duncan, Simon Perdrix
- article
- Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide and Paul G. Spirakis. ICALP, 2010, Bordeaux, France. Springer Berlin Heidelberg, 6199, pp.285-296, 2010, Lecture Notes in Computer Science
- Accès au bibtex
-
- titre
- Abstract interpretation techniques in quantum computation
- auteur
- Philippe Jorrand, Simon Perdrix
- article
- Simon Gay and Ian Mackie. Semantic Techniques in Quantum Computation, Cambridge University Press, pp.206, 2010
- Accès au bibtex
-
2009
- titre
- Extended Measurement Calculus
- auteur
- Vincent Danos, Elham Kashefi, Prakash Panangaden, Simon Perdrix
- article
- Semantic Techniques in Quantum Computation, Cambridge University Press, pp.235, 2009
- Accès au bibtex
-
- titre
- Information Flow in Secret Sharing Protocols
- auteur
- Elham Kashefi, Damian Markham, Mehdi Mhalla, Simon Perdrix
- article
- S. Barry Cooper and Vincent Danos. DCM, 2009, Rhodes, Greece. pp.87-97, 2009, EPTCS
- Accès au bibtex
-
- titre
- Graph States and the Necessity of Euler Decomposition
- auteur
- Ross Duncan, Simon Perdrix
- article
- Ambos-Spies, Klaus and Löwe, Benedikt and Merkle, Wolfgang. 5th Conference on Computability in Europe, 2009, Heidelberg, Germany. Springer Berlin Heidelberg, 5635, pp.167-177, 2009, Lecture Notes in Computer Science
- Accès au bibtex
-
2008
- titre
- Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition
- auteur
- Simon Perdrix
- article
- Joint 5th QPL and 4th DCM 2008, 2008, Oxford, United Kingdom. Electronic Notes in Theoretical Computer Science, 270, pp.99 – 111, 2011, 〈10.1016/j.entcs.2011.01.009〉
- DOI
- DOI : 10.1016/j.entcs.2011.01.009
- Accès au texte intégral et bibtex
-
2006
- titre
- Resources Required for Preparing Graph States
- auteur
- Peter Høyer, Mehdi Mhalla, Simon Perdrix
- article
- 17th International Symposium on Algorithms and Computation (ISAAC 2006), Dec 2006, Kolkata, India. Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings, 4288, pp.638 – 649, 2006, Lecture Notes in Computer Science. 〈10.1007/11940128_64〉
- DOI
- DOI : 10.1007/11940128_64
- Accès au texte intégral et bibtex
-
- titre
- Modèles formels du calcul quantique : ressources, machines abstraites et calcul par mesure
- auteur
- Simon Perdrix
- article
- Informatique [cs]. Institut National Polytechnique de Grenoble – INPG, 2006. Français
- Accès au texte intégral et bibtex
-
- titre
- Classically controlled quantum computation
- auteur
- Simon Perdrix, Philippe Jorrand
- article
- Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2006, 16 (04), 〈10.1017/S096012950600538X〉
- DOI
- DOI : 10.1017/S096012950600538X
- Accès au bibtex
-
- titre
- Classically-Controlled Quantum Computation
- auteur
- Simon Perdrix, Philippe Jorrand
- article
- Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2006, 16, pp.601-620
- Accès au bibtex
-
2005
- titre
- Classically-controlled Quantum Computation
- auteur
- Simon Perdrix, Philippe Jorrand
- article
- DCM’05, 2005, Lisbon, Portugal. 135 (3), pp.119 – 128, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2005.09.026〉
- DOI
- DOI : 10.1016/j.entcs.2005.09.026
- Accès au bibtex
-
2004
- titre
- Unifying Quantum Computation with Projective Measurements only and One-Way Quantum Computation
- auteur
- Philippe Jorrand, Simon Perdrix
- article
- Quantum Informatics 2004, Jan 2004, Moscow, Russia. 2004, 〈10.1117/12.620302〉
- DOI
- DOI : 10.1117/12.620302
- Accès au bibtex
-
- titre
- Complexity of Graph State Preparation
- auteur
- Mehdi Mhalla, Simon Perdrix
- article
- 17 pages. 2004
- Accès au bibtex
-
- titre
- Measurement-Based Quantum Turing Machines and Questions of Universalities
- auteur
- Simon Perdrix, Philippe Jorrand
- article
- 12 pages, 9 figures. 2004
- Accès au bibtex
-
- titre
- Measurement-Based Quantum Turing Machines and their Universality
- auteur
- Simon Perdrix, Philippe Jorrand
- article
- 13 pages, based upon quant-ph/0402156 with significant improvements. 2004
- Accès au bibtex
-