Publications

2021

titre

Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory

auteur

Titouan Carette, Marc de Visme, Simon Perdrix

article

2021

Accès au bibtex

titre

Qualifying quantum approaches for hard industrial optimization problems. A case study in the field of smart-charging of electric vehicles

auteur

Constantin Dalyac, Loïc Henriet, Emmanuel Jeandel, Wolfgang Lechner, Simon Perdrix, Marc Porcheron, Margarita Veshchezerova

article

2021

Accès au bibtex

2020

titre

Quantum Programming with Inductive Datatypes

auteur

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

article

2020

Accès au texte intégral et bibtex

titre

PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations

auteur

Alexandre Clément, Simon Perdrix

article

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⟩

DOI

DOI : 10.4230/LIPIcs.MFCS.2020.24

Accès au bibtex

titre

Colored props for large scale graphical reasoning

auteur

Titouan Carette, Simon Perdrix

article

2020

Accès au texte intégral et bibtex

titre

Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus

auteur

Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering

article

Quantum, Verein, 2020, 4, pp.279. ⟨10.22331/q-2020-06-04-279⟩

DOI

DOI : 10.22331/q-2020-06-04-279

Accès au bibtex

titre

Completeness of the ZX-Calculus

auteur

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

article

Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (2), pp.11:1 — 11:72. ⟨10.23638/LMCS-16(2:11)2020⟩

DOI

DOI : 10.23638/LMCS-16(2:11)2020

Accès au bibtex

titre

Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory

auteur

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

article

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⟩

DOI

DOI : 10.1007/978-3-030-45231-5_29

Accès au bibtex

titre

Contextuality in multipartite pseudo-telepathy graph games

auteur

Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix

article

Journal of Computer and System Sciences, Elsevier, 2020, 107, pp.156-165. ⟨10.1016/j.jcss.2019.06.005⟩

DOI

DOI : 10.1016/j.jcss.2019.06.005

Accès au bibtex

titre

Towards a Minimal Stabilizer ZX-calculus

auteur

Miriam Backens, Simon Perdrix, Quanlong Wang

article

Logical Methods in Computer Science, Logical Methods in Computer Science Association, In press

Accès au bibtex

titre

Theoretical Computer Science: Computational Complexity

auteur

Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, S. Tison

article

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

Accès au bibtex

titre

Theoretical Computer Science: Computability, Decidability and Logic

auteur

Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, S. Tison

article

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⟩

DOI

DOI : 10.1007/978-3-030-06170-8_1

Accès au bibtex

2019

titre

Reversible causal graph dynamics: invertibility, block representation, vertex-preservation

auteur

Pablo Arrighi, Simon Martiel, Simon Perdrix

article

Natural Computing, Springer Verlag, 2019, ⟨10.1007/s11047-019-09768-0⟩

DOI

DOI : 10.1007/s11047-019-09768-0

Accès au bibtex

titre

Approches Graphiques en Informatique Quantique

auteur

Simon Perdrix

article

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

Accès au texte intégral et bibtex

titre

SZX-calculus: Scalable Graphical Quantum Reasoning

auteur

Titouan Carette, Dominic Horsman, Simon Perdrix

article

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⟩

DOI

DOI : 10.4230/LIPIcs.MFCS.2019.55

Accès au bibtex

titre

A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness

auteur

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

article

LICS 2019 – 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785754⟩

DOI

DOI : 10.1109/LICS.2019.8785754

Accès au texte intégral et bibtex

titre

Pauli Fusion: a computational model to realise quantum transformations from ZX terms

auteur

Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix

article

QPL’19 : International Conference on Quantum Physics and Logic, Jun 2019, Los Angeles, United States

Accès au bibtex

titre

Completeness of Graphical Languages for Mixed States Quantum Mechanics

auteur

Titouan Carette, Simon Perdrix, Renaud Vilmart, Emmanuel Jeandel

article

ICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩

DOI

DOI : 10.4230/LIPIcs.ICALP.2019.108

Accès au texte intégral et bibtex

2018

titre

A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics

auteur

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

article

The 33rd Annual Symposium on Logic in Computer Science, 2018, Jul 2018, Oxford, United Kingdom. pp.559–568, ⟨10.1145/3209108.3209131⟩

DOI

DOI : 10.1145/3209108.3209131

Accès au texte intégral et bibtex

titre

Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics

auteur

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

article

The 33rd Annual Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.569–578, ⟨10.1145/3209108.3209139⟩

DOI

DOI : 10.1145/3209108.3209139

Accès au texte intégral et bibtex

2017

titre

A complete characterisation of All-versus-Nothing arguments for stabiliser states

auteur

Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Simon Perdrix

article

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2017, Second quantum revolution: foundational questions, 375 (2106), ⟨10.1098/rsta.2016.0385⟩

DOI

DOI : 10.1098/rsta.2016.0385

Accès au bibtex

titre

Determinism and Computational Power of Real Measurement-based Quantum Computation

auteur

Simon Perdrix, Luc Sanselme

article

FCT’17- 21st International Symposium on Fundamentals of Computation Theory, Sep 2017, Bordeaux, France. ⟨10.1007/978-3-662-55751-8_31⟩

DOI

DOI : 10.1007/978-3-662-55751-8_31

Accès au texte intégral et bibtex

titre

Contextuality in multipartie pseudo-telepathy graph games

auteur

Anurag Anshu, Peter Hoyer, Mehdi Mhalla, Simon Perdrix

article

FCT’17- 21st International Symposium on Fundamentals of Computation Theory, Sep 2017, Bordeaux, France. pp.41-55, ⟨10.1007/978-3-662-55751-8_5⟩

DOI

DOI : 10.1007/978-3-662-55751-8_5

Accès au bibtex

titre

ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics

auteur

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang

article

MFCS 2017 – 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15

Accès au texte intégral et bibtex

titre

A complete characterisation of All-versus-Nothing arguments for stabiliser states

auteur

Sansom Abramski, Rui Soares Barbosa, Giovanni Carù, Simon Perdrix

article

14th International Conference on Quantum Physics and Logic (QPL), Jul 2017, Nijmegen, Netherlands

Accès au bibtex

titre

Y-Calculus: A language for real Matrices derived from the ZX-Calculus

auteur

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

article

International Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands

Accès au texte intégral et bibtex

2016

titre

Supplementarity is Necessary for Quantum Diagram Reasoning *

auteur

Simon Perdrix, Quanlong Wang

article

41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), Aug 2016, Krakow, Poland. pp.76:1–76:14, ⟨10.4230/LIPIcs.MFCS.2016.76⟩

DOI

DOI : 10.4230/LIPIcs.MFCS.2016.76

Accès au texte intégral et bibtex

titre

Reversible Causal Graph Dynamics

auteur

Pablo Arrighi, Simon Martiel, Simon Perdrix

article

Reversible Computation, Jul 2016, Bologna, Italy. pp.73-88, ⟨10.1007/978-3-319-40578-0_5⟩

DOI

DOI : 10.1007/978-3-319-40578-0_5

Accès au bibtex

titre

A Simplified Stabilizer ZX-calculus

auteur

Miriam Backens, Simon Perdrix, Quanlong Wang

article

13th International Conference on Quantum Physics and Logic , Jun 2016, Glasgow, United Kingdom

Accès au bibtex

titre

Modèles de calcul quantiques

auteur

Pablo Arrighi, Simon Perdrix

article

Étienne BAUDRIER Lo\ »ic MAZO. Informatique Mathématique – une photographie en 2016, CNRS Editions, 2016

Accès au bibtex

2015

titre

Minimum Degree up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms

auteur

David Cattanéo, Simon Perdrix

article

26th International Symposium on Algorithms and Computation (ISAAC 2015), Dec 2015, Nagoya, Japan. pp.12, ⟨10.1007/978-3-662-48971-0_23⟩

DOI

DOI : 10.1007/978-3-662-48971-0_23

Accès au bibtex

titre

On weak odd domination and graph-based quantum secret sharing

auteur

Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix

article

Theoretical Computer Science, Elsevier, 2015, 598, ⟨10.1016/j.tcs.2015.05.038⟩

DOI

DOI : 10.1016/j.tcs.2015.05.038

Accès au bibtex

titre

Block Representation of Reversible Causal Graph Dynamics

auteur

Pablo Arrighi, Simon Martiel, Simon Perdrix

article

20th International Symposium on Fundamentals of Computation Theory, Aug 2015, Gdańsk, Poland. pp.14, ⟨10.1007/978-3-319-22177-9_27⟩

DOI

DOI : 10.1007/978-3-319-22177-9_27

Accès au bibtex

titre

Reversibility in Extended Measurement-based Quantum Computation

auteur

Nidhal Hamrit, Simon Perdrix

article

7th Conference on Reversible Computation, Jul 2015, Grenoble, France. pp.10, ⟨10.1007/978-3-319-20860-2_8⟩

DOI

DOI : 10.1007/978-3-319-20860-2_8

Accès au texte intégral et bibtex

titre

L’ordinateur quantique pour simuler… la physique quantique

auteur

Pablo Arrighi, Simon Perdrix

article

La Recherche, Les Éditions Croque Futur, 2015

Accès au bibtex

titre

The ZX Calculus is incomplete for Clifford+T quantum mechanics

auteur

Simon Perdrix, Quanlong Wang

article

Quantum Theory: from foundations to technologies – QTFT, Jun 2015, Vaxjo, Sweden

Accès au bibtex

titre

Quantum Circuits for the Unitary Permutation Problem

auteur

Stefano Facchini, Simon Perdrix

article

TAMC 2015, May 2015, Singapore, Singapore. pp.324-331, ⟨10.1007/978-3-319-17142-5_28⟩

DOI

DOI : 10.1007/978-3-319-17142-5_28

Accès au bibtex

2014

titre

Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus

auteur

Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron

article

Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10:4 (8), pp.40. ⟨10.2168/LMCS-10(4:8)2014⟩

DOI

DOI : 10.2168/LMCS-10(4:8)2014

Accès au bibtex

titre

The Parameterized Complexity of Domination-type Problems and Application to Linear Codes

auteur

David Cattanéo, Simon Perdrix

article

Theory and Applications of Models of Computation, Apr 2014, Chennai, India. pp.86-103, ⟨10.1007/978-3-319-06089-7_7⟩

DOI

DOI : 10.1007/978-3-319-06089-7_7

Accès au bibtex

2013

titre

Parameterized Complexity of Weak Odd Domination Problems

auteur

David Cattanéo, Simon Perdrix

article

19th International Symposium on Fundamentals of Computation Theory, Aug 2013, Liverpool, United Kingdom. pp.107-120, ⟨10.1007/978-3-642-40164-0_13⟩

DOI

DOI : 10.1007/978-3-642-40164-0_13

Accès au bibtex

titre

Pivoting Makes the ZX-Calculus Complete for Real Stabilizers

auteur

Ross Duncan, Simon Perdrix

article

QPL 2013 – 10th Workshop on Quantum Physics and Logic, Jul 2013, Castelldefels, Barcelona, Spain

Accès au bibtex

titre

Access Structure in Graphs in High Dimension and Application to Secret Sharing

auteur

Anne Marin, Damian Markham, Simon Perdrix

article

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⟩

DOI

DOI : 10.4230/LIPIcs.TQC.2013.308

Accès au bibtex

titre

Graph States, Pivot Minor, and Universality of (X,Z)-measurements

auteur

Mehdi Mhalla, Simon Perdrix

article

International Journal of Unconventional Computing, Old City Publishing, 2013, 9 (1-2), pp.153-171

Accès au bibtex

2012

titre

Quantum Secret Sharing with Graph States

auteur

Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix

article

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⟩

DOI

DOI : 10.1007/978-3-642-36046-6_3

Accès au texte intégral et bibtex

titre

On the Minimum Degree up to Local Complementation: Bounds and Complexity

auteur

Jérôme Javelle, Mehdi Mhalla, Simon Perdrix

article

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⟩

DOI

DOI : 10.1007/978-3-642-34611-8_16

Accès au bibtex

titre

On Weak Odd Domination and Graph-based Quantum Secret Sharing

auteur

Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix

article

2012

Accès au bibtex

titre

New Protocols and Lower Bounds for Quantum Secret Sharing with Graph States

auteur

Jérôme Javelle, Mehdi Mhalla, Simon Perdrix

article

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⟩

DOI

DOI : 10.1007/978-3-642-35656-8_1

Accès au bibtex

2011

titre

Optimal accessing and non-accessing structures for graph protocols

auteur

Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix

article

2011

Accès au bibtex

titre

Completeness of algebraic CPS simulations

auteur

Ali Assaf, Simon Perdrix

article

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⟩

DOI

DOI : 10.4204/EPTCS.88.2

Accès au bibtex

titre

Which graph states are useful for quantum information processing?

auteur

Mehdi Mhalla, Mio Murao, Simon Perdrix, Masato Someya, Peter S. Turner

article

TQC 2011 – Conference on the Theory of Quantum Computation, Communication and Cryptography, May 2011, Madrid, Spain. 13 p

Accès au bibtex

titre

Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition

auteur

Simon Perdrix

article

Electronic Notes in Theoretical Computer Science, Elsevier, 2011, 270 (1), pp.99-111. ⟨10.1016/j.entcs.2011.01.009⟩

DOI

DOI : 10.1016/j.entcs.2011.01.009

Accès au bibtex

titre

Towards Observable Quantum Turing Machines: Fundamentals, Computational Power, and Universality

auteur

Simon Perdrix

article

International Journal of Unconventional Computing, Old City Publishing, 2011, 7 (4), pp.291-311

Accès au bibtex

2010

titre

Equivalence of algebraic λ-calculi

auteur

Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron

article

HOR – 5th International Workshop on Higher-Order Rewriting – 2010, Eduardo Bonelli, Jul 2010, Edinburgh, United Kingdom. pp.6-11

Accès au bibtex

titre

Computational Depth Complexity of Measurement-Based Quantum Computation

auteur

Dan E. Browne, Elham Kashefi, Simon Perdrix

article

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⟩

DOI

DOI : 10.1007/978-3-642-18073-6_4

Accès au bibtex

titre

Décidabilité et Complexité

auteur

Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison

article

Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010

Accès au texte intégral et bibtex

titre

Rewriting Measurement-Based Quantum Computations with Generalised Flow

auteur

Ross Duncan, Simon Perdrix

article

ICALP, 2010, Bordeaux, France. pp.285-296

Accès au bibtex

titre

Abstract interpretation techniques in quantum computation

auteur

Philippe Jorrand, Simon Perdrix

article

Simon Gay and Ian Mackie. Semantic Techniques in Quantum Computation, Cambridge University Press, pp.206, 2010

Accès au bibtex

titre

Environment and Classical Channels in Categorical Quantum Mechanics

auteur

Bob Coecke, Simon Perdrix

article

CSL, 2010, Czech Republic. pp.230-244

Accès au bibtex

titre

Environment and classical channels in categorical quantum mechanics

auteur

Bob Coecke, Simon Perdrix

article

Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2010, 8 (4), pp.230–244

Accès au bibtex

titre

Décidabilité et Complexité

auteur

Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison

article

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

Accès au bibtex

2009

titre

Extended Measurement Calculus

auteur

Vincent Danos, Elham Kashefi, Prakash Panangaden, Simon Perdrix

article

Semantic Techniques in Quantum Computation, Cambridge University Press, pp.235, 2009

Accès au bibtex

titre

Graph States and the Necessity of Euler Decomposition

auteur

Ross Duncan, Simon Perdrix

article

5th Conference on Computability in Europe, 2009, Heidelberg, Germany. pp.167-177

Accès au bibtex

titre

Information Flow in Secret Sharing Protocols

auteur

Elham Kashefi, Damian Markham, Mehdi Mhalla, Simon Perdrix

article

DCM, 2009, Rhodes, Greece. pp.87-97

Accès au bibtex

2008

titre

Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition

auteur

Simon Perdrix

article

Joint 5th QPL and 4th DCM 2008, 2008, Oxford, United Kingdom. pp.99 – 111, ⟨10.1016/j.entcs.2011.01.009⟩

DOI

DOI : 10.1016/j.entcs.2011.01.009

Accès au texte intégral et bibtex

2006

titre

Resources Required for Preparing Graph States

auteur

Peter Høyer, Mehdi Mhalla, Simon Perdrix

article

17th International Symposium on Algorithms and Computation (ISAAC 2006), Dec 2006, Kolkata, India. pp.638 – 649, ⟨10.1007/11940128_64⟩

DOI

DOI : 10.1007/11940128_64

Accès au texte intégral et bibtex

titre

Modèles formels du calcul quantique : ressources, machines abstraites et calcul par mesure

auteur

Simon Perdrix

article

Informatique [cs]. Institut National Polytechnique de Grenoble – INPG, 2006. Français

Accès au texte intégral et bibtex

titre

Classically controlled quantum computation

auteur

Simon Perdrix, Philippe Jorrand

article

Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2006, 16 (04), ⟨10.1017/S096012950600538X⟩

DOI

DOI : 10.1017/S096012950600538X

Accès au bibtex

titre

Classically-Controlled Quantum Computation

auteur

Simon Perdrix, Philippe Jorrand

article

Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2006, 16, pp.601-620

Accès au bibtex

2005

titre

Classically-controlled Quantum Computation

auteur

Simon Perdrix, Philippe Jorrand

article

DCM’05, 2005, Lisbon, Portugal. pp.119 – 128, ⟨10.1016/j.entcs.2005.09.026⟩

DOI

DOI : 10.1016/j.entcs.2005.09.026

Accès au bibtex

2004

titre

Unifying Quantum Computation with Projective Measurements only and One-Way Quantum Computation

auteur

Philippe Jorrand, Simon Perdrix

article

Quantum Informatics 2004, Jan 2004, Moscow, Russia. ⟨10.1117/12.620302⟩

DOI

DOI : 10.1117/12.620302

Accès au bibtex

titre

Measurement-Based Quantum Turing Machines and Questions of Universalities

auteur

Simon Perdrix, Philippe Jorrand

article

2004

Accès au bibtex

titre

Measurement-Based Quantum Turing Machines and their Universality

auteur

Simon Perdrix, Philippe Jorrand

article

2004

Accès au bibtex

titre

Complexity of Graph State Preparation

auteur

Mehdi Mhalla, Simon Perdrix

article

2004

Accès au bibtex