Simon Perdrix

101
Documents

Présentation

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

Publications

12
10
9
8
7
6
6
6
5
5
5
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Publications

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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, pp.601-620

Article dans une revue hal-00130305v1

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

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

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

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

Quantum Graph States: Bridging Classical Theory and Quantum Innovation, Workshop Summary

Eric Chitambar , Kenneth Goodenough , Otfried Gühne , Rose Mccarty , Simon Perdrix et al.

Bridging Classical Theory and Quantum Innovation, May 2025, Washinghton DC, United States

Communication dans un congrès hal-05435699v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Vertex-Minor Universal Graphs for Generating Entangled Quantum Subsystems

Maxime Cautrès , Nathan Claudet , Mehdi Mhalla , Simon Perdrix , Valentin Savin et 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

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

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
Deposit thumbnail

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
Deposit thumbnail

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 Perdrix et 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

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
Deposit thumbnail

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

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

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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

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

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

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
Deposit thumbnail

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

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
Deposit thumbnail

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

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

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
Deposit thumbnail

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

Theoretical Computer Science: Computability, Decidability and Logic

Olivier Bournez , Gilles Dowek , Rémi Gilleron , Serge Grigorieff , Jean-Yves Marion et 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 Marion et 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

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 Marion et al.

IA Handbook, Cépaduès, pp.1-63, 2010

Chapitre d'ouvrage hal-00999661v1
Deposit thumbnail

Décidabilité et Complexité

Olivier Bournez , Gilles Dowek , Rémi Gilleron , Serge Grigorieff , Jean-Yves Marion et 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

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 Savin et 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 Perdrix et al.

2021

Pré-publication, Document de travail hal-03096708v1
Deposit thumbnail

Colored props for large scale graphical reasoning

Titouan Carette , Simon Perdrix

2020

Pré-publication, Document de travail hal-02904695v1
Deposit thumbnail

Quantum Programming with Inductive Datatypes

Romain Péchoux , Simon Perdrix , Mathys Rennela , Vladimir Zamdzhiev

2020

Pré-publication, Document de travail hal-03018513v1
Deposit thumbnail

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

Complexity of Graph State Preparation

Mehdi Mhalla , Simon Perdrix

2004

Pré-publication, Document de travail hal-01378761v1

Measurement-Based Quantum Turing Machines and Questions of Universalities

Simon Perdrix , Philippe Jorrand

2004

Pré-publication, Document de travail hal-00130303v1
Deposit thumbnail

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
Deposit thumbnail

Approches Graphiques en Informatique Quantique

Simon Perdrix

Physique Quantique [quant-ph]. Université de Lorraine, 2019

HDR tel-02400128v1