Simon Perdrix

Présentation

I am an Inria senior researcher (DR1) at LORIA, Inria Project Team Mocqua. My research area is Quantum Computing and related topics.

My

Homepage

.

My

Google Scholar Citations profile

.

You can also have a look at

DBLP

.

Preprints can be found

here

.

Publications

Article dans une revue (18)

Outcome determinism in measurement-based quantum computation with qudits Robert I. Booth,Aleks Kissinger,Damian Markham,Clément Meignant,Simon Perdrix Journal of Physics A: Mathematical and Theoretical, 2023, 56 (11), pp.115303. ⟨10.1088/1751-8121/acbace⟩ Article dans une revue hal-03358122v1
Optimal Hadamard gate count for Clifford+T synthesis of Pauli rotations sequences Vivien Vandaele,Simon Martiel,Christophe Vuillot,Simon Perdrix ACM Transactions on Quantum Computing, 2023, ⟨10.1145/3639062⟩ Article dans une revue hal-03991154v3
Completeness of Graphical Languages for Mixed State Quantum Mechanics Titouan Carette,Emmanuel Jeandel,Simon Perdrix,Renaud Vilmart ACM Transactions on Quantum Computing, 2021, ACM Transactions on Quantum Computing, 2 (4), pp.1-28. ⟨10.1145/3464693⟩ Article dans une revue hal-04082921v1
Towards a Minimal Stabilizer ZX-calculus Miriam Backens,Simon Perdrix,Quanlong Wang Logical Methods in Computer Science, 2020, 16 (4), pp.19:1-19:30. ⟨10.23638/LMCS-16(4:19)2020⟩ Article dans une revue hal-01597114v1
Completeness of the ZX-Calculus Emmanuel Jeandel,Simon Perdrix,Renaud Vilmart Logical Methods in Computer Science, 2020, 16 (2), pp.11:1 -- 11:72. ⟨10.23638/LMCS-16(2:11)2020⟩ Article dans une revue hal-02400081v1
Contextuality in multipartite pseudo-telepathy graph games Anurag Anshu,Peter Høyer,Mehdi Mhalla,Simon Perdrix Journal of Computer and System Sciences, 2020, 107, pp.156-165. ⟨10.1016/j.jcss.2019.06.005⟩ Article dans une revue hal-02400051v1
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus Ross Duncan,Aleks Kissinger,Simon Perdrix,John van de Wetering Quantum, 2020, 4, pp.279. ⟨10.22331/q-2020-06-04-279⟩ Article dans une revue hal-02995364v1
Reversible causal graph dynamics: invertibility, block representation, vertex-preservation Pablo Arrighi,Simon Martiel,Simon Perdrix Natural Computing, 2019, ⟨10.1007/s11047-019-09768-0⟩ Article dans une revue hal-02400095v1
A complete characterisation of All-versus-Nothing arguments for stabiliser states Samson Abramsky,Rui Soares Barbosa,Giovanni Carù,Simon Perdrix Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2017, Second quantum revolution: foundational questions, 375 (2106), ⟨10.1098/rsta.2016.0385⟩ Article dans une revue hal-01528687v1
On weak odd domination and graph-based quantum secret sharing Sylvain Gravier,Jérôme Javelle,Mehdi Mhalla,Simon Perdrix Theoretical Computer Science, 2015, 598, ⟨10.1016/j.tcs.2015.05.038⟩ Article dans une revue hal-01249271v1
L’ordinateur quantique pour simuler... la physique quantique Pablo Arrighi,Simon Perdrix La Recherche, 2015 Article dans une revue hal-01260370v1
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus Ali Assaf,Alejandro Díaz-Caro,Simon Perdrix,Christine Tasson,Benoît Valiron Logical Methods in Computer Science, 2014, 10:4 (8), pp.40. ⟨10.2168/LMCS-10(4:8)2014⟩ Article dans une revue hal-01097602v1
Graph States, Pivot Minor, and Universality of (X,Z)-measurements Mehdi Mhalla,Simon Perdrix International Journal of Unconventional Computing, 2013, 9 (1-2), pp.153-171 Article dans une revue hal-00934104v1
Towards Observable Quantum Turing Machines: Fundamentals, Computational Power, and Universality Simon Perdrix International Journal of Unconventional Computing, 2011, 7 (4), pp.291-311 Article dans une revue hal-00931402v1
Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition Simon Perdrix Electronic Notes in Theoretical Computer Science, 2011, 270 (1), pp.99-111. ⟨10.1016/j.entcs.2011.01.009⟩ Article dans une revue hal-00931367v1
Environment and classical channels in categorical quantum mechanics Bob Coecke,Simon Perdrix Logical Methods in Computer Science, 2010, 8 (4), pp.230-244. ⟨10.2168/LMCS-8(4:14)2012⟩ Article dans une revue hal-00940885v1
Classically controlled quantum computation Simon Perdrix,Philippe Jorrand Mathematical Structures in Computer Science, 2006, 16 (04), ⟨10.1017/S096012950600538X⟩ Article dans une revue hal-01378709v1
Classically-Controlled Quantum Computation Simon Perdrix,Philippe Jorrand Mathematical Structures in Computer Science, 2006, 16, pp.601-620 Article dans une revue hal-00130305v1

Communication dans un congrès (61)

Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits Noé Delorme,Simon Perdrix 29th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2026, Turin, Italy Communication dans un congrès hal-05465396v1
Local equivalence of stabilizer states: a graphical characterisation Simon Perdrix,Nathan Claudet QIP25. 28th Annual Quantum Information Processing Conference., Feb 2025, Raleigh, United States Communication dans un congrès hal-05555427v1
Local equivalence of stabilizer states: a graphical characterisation Nathan Claudet,Simon Perdrix STACS: 42nd International Symposium on Theoretical Aspects of Computer Science, Mar 2025, Jena, Germany Communication dans un congrès hal-04869503v1
Quantum Graph States: Bridging Classical Theory and Quantum Innovation, Workshop Summary Eric Chitambar,Kenneth Goodenough,Otfried Gühne,Rose Mccarty,Simon Perdrixet al. Bridging Classical Theory and Quantum Innovation, May 2025, Washinghton DC, United States Communication dans un congrès hal-05435699v1
Deciding Local Unitary Equivalence of Graph States in Quasi-Polynomial Time Nathan Claudet,Simon Perdrix 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), Jul 2025, Aarhus (Danemark), Denmark. pp.59:1-59:20, ⟨10.4230/LIPIcs.ICALP.2025.59⟩ Communication dans un congrès hal-05435692v1
On the Hardness of Analyzing Quantum Programs Quantitatively Martin Avanzini,Georg Moser,Romain Péchoux,Simon Perdrix ESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg, Luxembourg. pp.28, ⟨10.1007/978-3-031-57267-8_2⟩ Communication dans un congrès hal-04349874v1
Quantum Circuit Completeness: Extensions and Simplifications Alexandre Clément,Noé Delorme,Simon Perdrix,Renaud Vilmart International Conference on Computer Science Logic CSL 2024, Feb 2024, Naples, Italy. ⟨10.4230/LIPIcs.CSL.2024.20⟩ Communication dans un congrès hal-04016498v3
Minimal Equational Theories for Quantum Circuits Alexandre Clément,Noé Delorme,Simon Perdrix LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2024, Tallinn, Estonia. pp.1-14, ⟨10.1145/3661814.3662088⟩ Communication dans un congrès hal-04399210v1
Vertex-Minor Universal Graphs for Generating Entangled Quantum Subsystems Maxime Cautrès,Nathan Claudet,Mehdi Mhalla,Simon Perdrix,Valentin Savinet al. ICALP 2024 51st EATCS International Colloquium on Automata, Languages and Programming, European Association for Theoretical Computer Science (EATCS), Jul 2024, Tallinn, Estonia. ⟨10.4230/LIPIcs.ICALP.2024.36⟩ Communication dans un congrès hal-04632835v1
Covering a Graph with Minimal Local Sets Nathan Claudet,Simon Perdrix WG 2024: 50th International Workshop on Graph-Theoretic Concepts in Computer Science, Jun 2024, Gozd Martuljek, Slovenia Communication dans un congrès hal-04869465v1
A Complete Equational Theory for Quantum Circuits Alexandre Clément,Nicolas Heurtel,Shane Mansfield,Simon Perdrix,Benoît Valiron 18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023), Jul 2023, Aveiro, Portugal Communication dans un congrès hal-04318291v1
Optimal Hadamard gate count for Clifford+T synthesis of Pauli rotations sequences Vivien Vandaele,Simon Martiel,Simon Perdrix,Christophe Vuillot TQC 2023: 18th Theory of Quantum Computation, Communication and Cryptography, Jul 2023, Aveiro, Portugal Communication dans un congrès hal-04318278v1
A Complete Equational Theory for Quantum Circuits Alexandre Clément,Nicolas Heurtel,Shane Mansfield,Simon Perdrix,Benoît Valiron 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175801⟩ Communication dans un congrès hal-03926757v1
Quantum Expectation Transformers for Cost Analysis Martin Avanzini,Georg Moser,Romain Péchoux,Simon Perdrix,Vladimir Zamdzhiev Symposium on Logic In Computer Science LICS ’22, Aug 2022, Haifa, Israel Communication dans un congrès hal-03540366v1
Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-Calculus Alexandre Clément,Simon Perdrix MFCS 2022 - 47th International Symposium on Mathematical Foundations of Computer Science, Aug 2022, Vienne, Austria. ⟨10.4230/LIPIcs.MFCS.2022.36⟩ Communication dans un congrès hal-03926639v1
Qualifying quantum approaches for hard industrial optimization problems. A case study in the field of smart-charging of electric vehicles Constantin Dalyac,Loic Henriet,Emmanuel Jeandel,Wolfgang Lechner,Simon Perdrixet al. ROADEF 2022 - 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France Communication dans un congrès hal-03595391v1
LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits Alexandre Clément,Nicolas Heurtel,Shane Mansfield,Simon Perdrix,Benoît Valiron MFCS 2022 - 47th International Symposium on Mathematical Foundations of Computer Science, Aug 2022, Vienna, Austria. pp.35:1--35:16, ⟨10.4230/LIPIcs.MFCS.2022.35⟩ Communication dans un congrès hal-03926660v1
Addition and Differentiation of ZX-Diagrams Emmanuel Jeandel,Simon Perdrix,Margarita Veshchezerova 7th International Conference on Formal Structures for > Computation and Deduction (FSCD 2022), Aug 2022, Haifa (Israël), France. ⟨10.4230/LIPIcs.FSCD.2022.13⟩ Communication dans un congrès hal-03886288v1
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory Titouan Carette,Marc de Visme,Simon Perdrix LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, Italy Communication dans un congrès hal-03153305v1
Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus Agustín Borgna,Simon Perdrix,Benoît Valiron APLAS 2021 - Asian Symposium on Programming Languages and Systems, Oct 2021, Chicago, United States. pp.121-139, ⟨10.1007/978-3-030-89051-3_8⟩ Communication dans un congrès hal-03539521v1
Coherent Control and Distinguishability of Quantum Channels via PBS-Diagrams Cyril Branciard,Alexandre Clément,Mehdi Mhalla,Simon Perdrix MFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. pp.22:1-22:20, ⟨10.4230/LIPIcs.MFCS.2021.22⟩ Communication dans un congrès hal-03325456v1
PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations Alexandre Clément,Simon Perdrix 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Aug 2020, Prague, Czech Republic. pp.24:1-24:14, ⟨10.4230/LIPIcs.MFCS.2020.24⟩ Communication dans un congrès hal-02929291v1
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory Romain Péchoux,Simon Perdrix,Mathys Rennela,Vladimir Zamdzhiev International Conference on Foundations of Software Science and Computation Structures, Apr 2020, Dublin, Ireland. pp.562-581, ⟨10.1007/978-3-030-45231-5_29⟩ Communication dans un congrès hal-02995410v1
SZX-calculus: Scalable Graphical Quantum Reasoning Titouan Carette,Dominic Horsman,Simon Perdrix MFCS 2019 - 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. pp.55:1--55:15, ⟨10.4230/LIPIcs.MFCS.2019.55⟩ Communication dans un congrès hal-02400070v1
Pauli Fusion: a computational model to realise quantum transformations from ZX terms Niel de Beaudrap,Ross Duncan,Dominic Horsman,Simon Perdrix QPL'19 : International Conference on Quantum Physics and Logic, Jun 2019, Los Angeles, United States Communication dans un congrès hal-02413388v1
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness Emmanuel Jeandel,Simon Perdrix,Renaud Vilmart LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785754⟩ Communication dans un congrès hal-01791791v1
Completeness of Graphical Languages for Mixed States Quantum Mechanics Titouan Carette,Simon Perdrix,Renaud Vilmart,Emmanuel Jeandel ICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩ Communication dans un congrès hal-02025720v1
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics Emmanuel Jeandel,Simon Perdrix,Renaud Vilmart The 33rd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2018, Jul 2018, Oxford, United Kingdom. pp.559--568, ⟨10.1145/3209108.3209131⟩ Communication dans un congrès hal-01529623v2
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics Emmanuel Jeandel,Simon Perdrix,Renaud Vilmart The 33rd Annual Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.569--578, ⟨10.1145/3209108.3209139⟩ Communication dans un congrès hal-01716501v1
Y-Calculus: A language for real Matrices derived from the ZX-Calculus Emmanuel Jeandel,Simon Perdrix,Renaud Vilmart International Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands Communication dans un congrès hal-01445948v1
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics Emmanuel Jeandel,Simon Perdrix,Renaud Vilmart,Quanlong Wang MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15 Communication dans un congrès hal-01445707v2
Contextuality in multipartie pseudo-telepathy graph games Anurag Anshu,Peter Hoyer,Mehdi Mhalla,Simon Perdrix FCT’17- 21st International Symposium on Fundamentals of Computation Theory, Sep 2017, Bordeaux, France. pp.41-55, ⟨10.1007/978-3-662-55751-8_5⟩ Communication dans un congrès hal-01378413v1
Determinism and Computational Power of Real Measurement-based Quantum Computation Simon Perdrix,Luc Sanselme FCT'17- 21st International Symposium on Fundamentals of Computation Theory, Sep 2017, Bordeaux, France. ⟨10.1007/978-3-662-55751-8_31⟩ Communication dans un congrès hal-01377339v2
A complete characterisation of All-versus-Nothing arguments for stabiliser states Sansom Abramski,Rui Soares Barbosa,Giovanni Carù,Simon Perdrix 14th International Conference on Quantum Physics and Logic (QPL), Jul 2017, Nijmegen, Netherlands Communication dans un congrès hal-01653557v1
Reversible Causal Graph Dynamics Pablo Arrighi,Simon Martiel,Simon Perdrix Reversible Computation, Jul 2016, Bologna, Italy. pp.73-88, ⟨10.1007/978-3-319-40578-0_5⟩ Communication dans un congrès hal-01361427v1
A Simplified Stabilizer ZX-calculus Miriam Backens,Simon Perdrix,Quanlong Wang 13th International Conference on Quantum Physics and Logic , Jun 2016, Glasgow, United Kingdom Communication dans un congrès hal-01404591v1
Supplementarity is Necessary for Quantum Diagram Reasoning * Simon Perdrix,Quanlong Wang 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), Aug 2016, Krakow, Poland. pp.76:1--76:14, ⟨10.4230/LIPIcs.MFCS.2016.76⟩ Communication dans un congrès hal-01361419v1
Reversibility in Extended Measurement-based Quantum Computation Nidhal Hamrit,Simon Perdrix 7th Conference on Reversible Computation, Jul 2015, Grenoble, France. pp.10, ⟨10.1007/978-3-319-20860-2_8⟩ Communication dans un congrès hal-01132861v1
The ZX Calculus is incomplete for Clifford+T quantum mechanics Simon Perdrix,Quanlong Wang Quantum Theory: from foundations to technologies – QTFT, Jun 2015, Vaxjo, Sweden Communication dans un congrès hal-01249274v1
Quantum Circuits for the Unitary Permutation Problem Stefano Facchini,Simon Perdrix TAMC 2015, May 2015, Singapore, Singapore. pp.324-331, ⟨10.1007/978-3-319-17142-5_28⟩ Communication dans un congrès hal-00994182v1
Minimum Degree up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms David Cattanéo,Simon Perdrix 26th International Symposium on Algorithms and Computation (ISAAC 2015), Dec 2015, Nagoya, Japan. pp.12, ⟨10.1007/978-3-662-48971-0_23⟩ Communication dans un congrès hal-01132843v1
Block Representation of Reversible Causal Graph Dynamics Pablo Arrighi,Simon Martiel,Simon Perdrix 20th International Symposium on Fundamentals of Computation Theory, Aug 2015, Gdańsk, Poland. pp.14, ⟨10.1007/978-3-319-22177-9_27⟩ Communication dans un congrès hal-01249272v1
The Parameterized Complexity of Domination-type Problems and Application to Linear Codes David Cattanéo,Simon Perdrix Theory and Applications of Models of Computation, Apr 2014, Chennai, India. pp.86-103, ⟨10.1007/978-3-319-06089-7_7⟩ Communication dans un congrès hal-00944653v1
Parameterized Complexity of Weak Odd Domination Problems David Cattanéo,Simon Perdrix 19th International Symposium on Fundamentals of Computation Theory, Aug 2013, Liverpool, United Kingdom. pp.107-120, ⟨10.1007/978-3-642-40164-0_13⟩ Communication dans un congrès hal-00944652v1
Access Structure in Graphs in High Dimension and Application to Secret Sharing Anne Marin,Damian Markham,Simon Perdrix TQC 2013 - 8th Conference on the Theory of Quantum Computation, Communication and Cryptography, May 2013, Guelph, Canada. pp.308-324, ⟨10.4230/LIPIcs.TQC.2013.308⟩ Communication dans un congrès hal-00935108v1
New Protocols and Lower Bounds for Quantum Secret Sharing with Graph States Jérôme Javelle,Mehdi Mhalla,Simon Perdrix TQC 2012 - 7th Conference on Theory of Quantum Computation, Communication, and Cryptography, May 2012, Tokyo, Japan. pp.1-12, ⟨10.1007/978-3-642-35656-8_1⟩ Communication dans un congrès hal-00934531v1
Quantum Secret Sharing with Graph States Sylvain Gravier,Jérôme Javelle,Mehdi Mhalla,Simon Perdrix MEMICS 2012 - International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Oct 2012, Znojmo, Czech Republic. pp.15-31, ⟨10.1007/978-3-642-36046-6_3⟩ Communication dans un congrès hal-00933722v1
Pivoting Makes the ZX-Calculus Complete for Real Stabilizers Ross Duncan,Simon Perdrix QPL 2013 - 10th Workshop on Quantum Physics and Logic, Jul 2013, Castelldefels, Barcelona, Spain Communication dans un congrès hal-00935185v1
Completeness of algebraic CPS simulations Ali Assaf,Simon Perdrix DCM 2011 - International Workshop on Developments of Computational Methods (satellite event of ICALP 2011), Jul 2011, Zurich, Switzerland. pp.16-27, ⟨10.4204/EPTCS.88.2⟩ Communication dans un congrès hal-00932770v1
On the Minimum Degree up to Local Complementation: Bounds and Complexity Jérôme Javelle,Mehdi Mhalla,Simon Perdrix WG 2012 - International Workshop on Graph-Theoretic Concepts in Computer Science, Jun 2012, Jerusalem, Israel. pp.138-147, ⟨10.1007/978-3-642-34611-8_16⟩ Communication dans un congrès hal-00933720v1
Which graph states are useful for quantum information processing? Mehdi Mhalla,Mio Murao,Simon Perdrix,Masato Someya,Peter S. Turner TQC 2011 - Conference on the Theory of Quantum Computation, Communication and Cryptography, May 2011, Madrid, Spain. 13 p Communication dans un congrès hal-00932374v1
Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition Simon Perdrix Joint 5th QPL and 4th DCM 2008, 2008, Oxford, United Kingdom. pp.99 - 111, ⟨10.1016/j.entcs.2011.01.009⟩ Communication dans un congrès hal-01378693v1
Computational Depth Complexity of Measurement-Based Quantum Computation Dan E. Browne,Elham Kashefi,Simon Perdrix TQC 2010 - 5th Conference on Theory of Quantum Computation, Communication, and Cryptography, Apr 2010, Leeds, United Kingdom. pp.35-46, ⟨10.1007/978-3-642-18073-6_4⟩ Communication dans un congrès hal-00932720v1
Environment and Classical Channels in Categorical Quantum Mechanics Bob Coecke,Simon Perdrix CSL, 2010, Czech Republic. pp.230-244 Communication dans un congrès hal-00940890v1
Equivalence of algebraic λ-calculi Alejandro Díaz-Caro,Simon Perdrix,Christine Tasson,Benoît Valiron HOR - 5th International Workshop on Higher-Order Rewriting - 2010, Eduardo Bonelli, Jul 2010, Edinburgh, United Kingdom. pp.6-11 Communication dans un congrès hal-00924912v1
Rewriting Measurement-Based Quantum Computations with Generalised Flow Ross Duncan,Simon Perdrix ICALP, 2010, Bordeaux, France. pp.285-296 Communication dans un congrès hal-00940895v1
Graph States and the Necessity of Euler Decomposition Ross Duncan,Simon Perdrix 5th Conference on Computability in Europe, 2009, Heidelberg, Germany. pp.167-177 Communication dans un congrès hal-00940879v1
Information Flow in Secret Sharing Protocols Elham Kashefi,Damian Markham,Mehdi Mhalla,Simon Perdrix DCM, 2009, Rhodes, Greece. pp.87-97 Communication dans un congrès hal-00940873v1
Resources Required for Preparing Graph States Peter Høyer,Mehdi Mhalla,Simon Perdrix 17th International Symposium on Algorithms and Computation (ISAAC 2006), Dec 2006, Kolkata, India. pp.638 - 649, ⟨10.1007/11940128_64⟩ Communication dans un congrès hal-01378771v1
Classically-controlled Quantum Computation Simon Perdrix,Philippe Jorrand DCM'05, 2005, Lisbon, Portugal. pp.119 - 128, ⟨10.1016/j.entcs.2005.09.026⟩ Communication dans un congrès hal-01378754v1
Unifying Quantum Computation with Projective Measurements only and One-Way Quantum Computation Philippe Jorrand,Simon Perdrix Quantum Informatics 2004, Jan 2004, Moscow, Russia. ⟨10.1117/12.620302⟩ Communication dans un congrès hal-01378676v1

Chapitre d'ouvrage (7)

Theoretical Computer Science: Computability, Decidability and Logic Olivier Bournez,Gilles Dowek,Rémi Gilleron,Serge Grigorieff,Jean-Yves Marionet al. A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, pp.1-50, 2020, ⟨10.1007/978-3-030-06170-8_1⟩ Chapitre d'ouvrage hal-03173193v1
Theoretical Computer Science: Computational Complexity Olivier Bournez,Gilles Dowek,Rémi Gilleron,Serge Grigorieff,Jean-Yves Marionet al. A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, 2020 Chapitre d'ouvrage hal-02995771v1
Modèles de calcul quantiques Pablo Arrighi,Simon Perdrix Étienne BAUDRIER Lo\"ic MAZO. Informatique Mathématique - une photographie en 2016, CNRS Editions, 2016 Chapitre d'ouvrage hal-01467253v1
Décidabilité et Complexité Olivier Bournez,Gilles Dowek,Rémi Gilleron,Serge Grigorieff,Jean-Yves Marionet al. IA Handbook, Cépaduès, pp.1-63, 2010 Chapitre d'ouvrage hal-00999661v1
Abstract interpretation techniques in quantum computation Philippe Jorrand,Simon Perdrix Simon Gay and Ian Mackie. Semantic Techniques in Quantum Computation, Cambridge University Press, pp.206, 2010 Chapitre d'ouvrage hal-00941288v1
Décidabilité et Complexité Olivier Bournez,Gilles Dowek,Rémi Gilleron,Serge Grigorieff,Jean-Yves Marionet al. Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010 Chapitre d'ouvrage inria-00549416v1
Extended Measurement Calculus Vincent Danos,Elham Kashefi,Prakash Panangaden,Simon Perdrix Semantic Techniques in Quantum Computation, Cambridge University Press, pp.235, 2009 Chapitre d'ouvrage hal-00999645v1

Pré-publication, Document de travail (13)

Quantum Control and General Recursion beyond the Unitary Case Kathleen Barsse,Romain Péchoux,Simon Perdrix 2026 Pré-publication, Document de travail hal-05538043v1
Invariants in Linear Optics Sébastien Draux,Simon Perdrix,Emmanuel Jeandel,Shane Mansfield 2026 Pré-publication, Document de travail hal-05465403v1
Vertex-minor universal graphs for generating entangled quantum subsystems Maxime Cautrès,Nathan Claudet,Mehdi Mhalla,Simon Perdrix,Valentin Savinet al. 2024 Pré-publication, Document de travail hal-04480666v1
Small k-pairable states Nathan Claudet,Mehdi Mhalla,Simon Perdrix 2023 Pré-publication, Document de travail hal-04320674v1
Characterising Determinism in MBQCs involving Pauli Measurements Mehdi Mhalla,Simon Perdrix,Luc Sanselme 2022 Pré-publication, Document de travail hal-04320656v1
Qualifying quantum approaches for hard industrial optimization problems. A case study in the field of smart-charging of electric vehicles Constantin Dalyac,Loïc Henriet,Emmanuel Jeandel,Wolfgang Lechner,Simon Perdrixet al. 2021 Pré-publication, Document de travail hal-03096708v1
Quantum Programming with Inductive Datatypes Romain Péchoux,Simon Perdrix,Mathys Rennela,Vladimir Zamdzhiev 2020 Pré-publication, Document de travail hal-03018513v1
Colored props for large scale graphical reasoning Titouan Carette,Simon Perdrix 2020 Pré-publication, Document de travail hal-02904695v1
On weak odd domination and graph-based quantum secret sharing Sylvain Gravier,Jérôme Javelle,Mehdi Mhalla,Simon Perdrix 2012 Pré-publication, Document de travail hal-00944428v1
Optimal accessing and non-accessing structures for graph protocols Sylvain Gravier,Jérôme Javelle,Mehdi Mhalla,Simon Perdrix 2011 Pré-publication, Document de travail hal-00944430v1
Measurement-Based Quantum Turing Machines and their Universality Simon Perdrix,Philippe Jorrand 2004 Pré-publication, Document de travail hal-00130304v1
Measurement-Based Quantum Turing Machines and Questions of Universalities Simon Perdrix,Philippe Jorrand 2004 Pré-publication, Document de travail hal-00130303v1
Complexity of Graph State Preparation Mehdi Mhalla,Simon Perdrix 2004 Pré-publication, Document de travail hal-01378761v1

Rapport (1)

Section 06 Sciences de l’information : fondements de l’informatique, calculs, algorithmes, représentations, exploitations Hubert Comon,Simon Perdrix,Pierre Aboulker,Pablo Arrighi,Sandrine Blazyet al. CNRS. 2021 Rapport hal-04884956v1

Thèse (1)

Modèles formels du calcul quantique : ressources, machines abstraites et calcul par mesure Simon Perdrix Informatique [cs]. Institut National Polytechnique de Grenoble - INPG, 2006. Français. ⟨NNT : ⟩ Thèse tel-00275323v1

HDR (1)

Approches Graphiques en Informatique Quantique Simon Perdrix Physique Quantique [quant-ph]. Université de Lorraine, 2019 HDR tel-02400128v1