Accéder directement au contenu

Simon Perdrix

89
Documents

Présentation

I am a [CNRS](http://www.cnrs.fr/) researcher at [LORIA](http://www.loria.fr/), [Inria Project Team CARTE](http://carte.loria.fr/). My research area is Quantum Computing and related topics. - My [Homepage](http://simon.perdrix.eu). - My [Google Scholar Citations profile](http://scholar.google.com/citations?user=HDjzFscAAAAJ). - You can also have a look at [DBLP](http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Perdrix:Simon.html). - Preprints can be found [here](http://arxiv.org/a/perdrix_s_1).
I am a [CNRS](http://www.cnrs.fr/) researcher at [LORIA](http://www.loria.fr/), [Inria Project Team CARTE](http://carte.loria.fr/). My research area is Quantum Computing and related topics. - My [Homepage](http://simon.perdrix.eu). - My [Google Scholar Citations profile](http://scholar.google.com/citations?user=HDjzFscAAAAJ). - You can also have a look at [DBLP](http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Perdrix:Simon.html). - Preprints can be found [here](http://arxiv.org/a/perdrix_s_1).

Publications

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

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

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

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

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

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

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

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

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

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

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
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-02025720v1
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-01791791v1

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
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-01529623v2
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-01716501v1
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-01445948v1
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-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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Décidabilité et Complexité

Olivier Bournez , Gilles Dowek , Rémi Gilleron , Serge Grigorieff , Jean-Yves Marion
Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
Chapitre d'ouvrage inria-00549416v1

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
IA Handbook, Cépaduès, pp.1-63, 2010
Chapitre d'ouvrage hal-00999661v1

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

Minimal Equational Theories for Quantum Circuits

Alexandre Clément , Noé Delorme , Simon Perdrix
2024
Pré-publication, Document de travail hal-04399210v1
Image document

On the Hardness of Analyzing Quantum Programs Quantitatively

Martin Avanzini , Georg Moser , Romain Péchoux , Simon Perdrix
2023
Pré-publication, Document de travail hal-04349874v1

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
2021
Pré-publication, Document de travail hal-03096708v1
Image document

Quantum Programming with Inductive Datatypes

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

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

Measurement-Based Quantum Turing Machines and their Universality

Simon Perdrix , Philippe Jorrand
2004
Pré-publication, Document de travail hal-00130304v1
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-00275323v1
Image document

Approches Graphiques en Informatique Quantique

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