Simon Perdrix

96
Documents

Présentation

I am a CNRS researcher at LORIA, Inria Project Team CARTE. My research area is Quantum Computing and related topics.

Publications

11
10
9
8
7
6
6
6
5
5
4
4
4
4
4
4
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
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
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-03358122 v1
Image document

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-03991154 v3
Image document

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-04082921 v1

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-01597114 v1

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-02400081 v1
Image document

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-02400051 v1

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-02995364 v1

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-02400095 v1

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-01528687 v1

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-01249271 v1

L’ordinateur quantique pour simuler... la physique quantique

Pablo Arrighi , Simon Perdrix
La Recherche, 2015
Article dans une revue hal-01260370 v1

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-01097602 v1

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-00934104 v1

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-00931402 v1

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-00931367 v1

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-00940885 v1

Classically-Controlled Quantum Computation

Simon Perdrix , Philippe Jorrand
Mathematical Structures in Computer Science, 2006, 16, pp.601-620
Article dans une revue hal-00130305 v1

Classically controlled quantum computation

Simon Perdrix , Philippe Jorrand
Mathematical Structures in Computer Science, 2006, 16 (04), ⟨10.1017/S096012950600538X⟩
Article dans une revue hal-01378709 v1

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-04869503 v1
Image document

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-04016498 v3
Image document

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-04349874 v1

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-04399210 v1
Image document

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-04632835 v1

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-04869465 v1

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-04318291 v1

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-04318278 v1
Image document

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-03926757 v1

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-03926660 v1
Image document

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-03595391 v1
Image document

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-03540366 v1

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-03926639 v1

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-03886288 v1

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-03539521 v1

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-03153305 v1

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-03325456 v1

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-02929291 v1

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-02995410 v1

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-02413388 v1

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-02400070 v1
Image document

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-01791791 v1
Image document

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-02025720 v1
Image document

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-01529623 v2
Image document

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-01716501 v1
Image document

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-01445948 v1
Image document

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-01445707 v2

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-01378413 v1
Image document

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-01377339 v2

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-01653557 v1

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-01361427 v1

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-01404591 v1
Image document

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-01361419 v1

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-01249274 v1
Image document

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-01132861 v1

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-00994182 v1

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-01132843 v1

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-01249272 v1

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-00944653 v1

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-00944652 v1

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-00935108 v1

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-00934531 v1

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-00935185 v1
Image document

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-00933722 v1

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-00932770 v1

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-00933720 v1

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-00932374 v1
Image document

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-01378693 v1

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-00932720 v1

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-00940890 v1

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-00924912 v1

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-00940895 v1

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-00940879 v1

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-00940873 v1
Image document

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-01378771 v1

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-01378754 v1

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-01378676 v1

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-03173193 v1

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-02995771 v1

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-01467253 v1

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-00941288 v1

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-00999661 v1
Image document

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-00549416 v1

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-00999645 v1

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-04480666 v1

Small k-pairable states

Nathan Claudet , Mehdi Mhalla , Simon Perdrix
2023
Pré-publication, Document de travail hal-04320674 v1

Characterising Determinism in MBQCs involving Pauli Measurements

Mehdi Mhalla , Simon Perdrix , Luc Sanselme
2022
Pré-publication, Document de travail hal-04320656 v1

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-03096708 v1
Image document

Colored props for large scale graphical reasoning

Titouan Carette , Simon Perdrix
2020
Pré-publication, Document de travail hal-02904695 v1
Image document

Quantum Programming with Inductive Datatypes

Romain Péchoux , Simon Perdrix , Mathys Rennela , Vladimir Zamdzhiev
2020
Pré-publication, Document de travail hal-03018513 v1
Image document

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-00944428 v1

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-00944430 v1

Measurement-Based Quantum Turing Machines and their Universality

Simon Perdrix , Philippe Jorrand
2004
Pré-publication, Document de travail hal-00130304 v1

Measurement-Based Quantum Turing Machines and Questions of Universalities

Simon Perdrix , Philippe Jorrand
2004
Pré-publication, Document de travail hal-00130303 v1

Complexity of Graph State Preparation

Mehdi Mhalla , Simon Perdrix
2004
Pré-publication, Document de travail hal-01378761 v1
Image document

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-00275323 v1
Image document

Approches Graphiques en Informatique Quantique

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