
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.
- My Homepage.
- My Google Scholar Citations profile.
- You can also have a look at DBLP.
- Preprints can be found here.
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
|
Local equivalence of stabilizer states: a graphical characterisationSTACS: 42nd International Symposium on Theoretical Aspects of Computer Science, Mar 2025, Jena, Germany
Communication dans un congrès
hal-04869503
v1
|
|
Quantum Circuit Completeness: Extensions and SimplificationsInternational 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
|
|
On the Hardness of Analyzing Quantum Programs QuantitativelyESOP 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 CircuitsLICS '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
|
|
Vertex-Minor Universal Graphs for Generating Entangled Quantum SubsystemsICALP 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 SetsWG 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 Circuits18th 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 sequencesTQC 2023: 18th Theory of Quantum Computation, Communication and Cryptography, Jul 2023, Aveiro, Portugal
Communication dans un congrès
hal-04318278
v1
|
|
|
A Complete Equational Theory for Quantum Circuits2023 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 CircuitsMFCS 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
|
|
Qualifying quantum approaches for hard industrial optimization problems. A case study in the field of smart-charging of electric vehiclesROADEF 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
|
|
Quantum Expectation Transformers for Cost AnalysisSymposium 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-CalculusMFCS 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-Diagrams7th 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-CalculusAPLAS 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 MemoryLICS 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-DiagramsMFCS 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 Computations45th 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 TheoryInternational 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 termsQPL'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 ReasoningMFCS 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
|
|
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle CompletenessLICS 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
|
|
Completeness of Graphical Languages for Mixed States Quantum MechanicsICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩
Communication dans un congrès
hal-02025720
v1
|
|
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum MechanicsThe 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
|
|
Diagrammatic Reasoning beyond Clifford+T Quantum MechanicsThe 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
|
|
Y-Calculus: A language for real Matrices derived from the ZX-CalculusInternational Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands
Communication dans un congrès
hal-01445948
v1
|
|
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanicsMFCS 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 gamesFCT’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
|
|
Determinism and Computational Power of Real Measurement-based Quantum ComputationFCT'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 states14th International Conference on Quantum Physics and Logic (QPL), Jul 2017, Nijmegen, Netherlands
Communication dans un congrès
hal-01653557
v1
|
|
|
Reversible Causal Graph DynamicsReversible 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-calculus13th International Conference on Quantum Physics and Logic , Jun 2016, Glasgow, United Kingdom
Communication dans un congrès
hal-01404591
v1
|
|
Supplementarity is Necessary for Quantum Diagram Reasoning *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 mechanicsQuantum Theory: from foundations to technologies – QTFT, Jun 2015, Vaxjo, Sweden
Communication dans un congrès
hal-01249274
v1
|
|
Reversibility in Extended Measurement-based Quantum Computation7th 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 ProblemTAMC 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 Algorithms26th 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 Dynamics20th 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 CodesTheory 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 Problems19th 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 SharingTQC 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 StatesTQC 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 StabilizersQPL 2013 - 10th Workshop on Quantum Physics and Logic, Jul 2013, Castelldefels, Barcelona, Spain
Communication dans un congrès
hal-00935185
v1
|
|
Quantum Secret Sharing with Graph StatesMEMICS 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 simulationsDCM 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 ComplexityWG 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?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
|
|
Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness ConditionJoint 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 ComputationTQC 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 MechanicsCSL, 2010, Czech Republic. pp.230-244
Communication dans un congrès
hal-00940890
v1
|
|
|
Equivalence of algebraic λ-calculiHOR - 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 FlowICALP, 2010, Bordeaux, France. pp.285-296
Communication dans un congrès
hal-00940895
v1
|
|
Graph States and the Necessity of Euler Decomposition5th Conference on Computability in Europe, 2009, Heidelberg, Germany. pp.167-177
Communication dans un congrès
hal-00940879
v1
|
|
Information Flow in Secret Sharing ProtocolsDCM, 2009, Rhodes, Greece. pp.87-97
Communication dans un congrès
hal-00940873
v1
|
|
|
Resources Required for Preparing Graph States17th 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 ComputationDCM'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 ComputationQuantum Informatics 2004, Jan 2004, Moscow, Russia. ⟨10.1117/12.620302⟩
Communication dans un congrès
hal-01378676
v1
|
Theoretical Computer Science: Computability, Decidability and LogicA 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 ComplexityA 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É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 computationSimon 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éIA Handbook, Cépaduès, pp.1-63, 2010
Chapitre d'ouvrage
hal-00999661
v1
|
|
|
Décidabilité et ComplexitéPierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
Chapitre d'ouvrage
inria-00549416
v1
|
Extended Measurement CalculusSemantic Techniques in Quantum Computation, Cambridge University Press, pp.235, 2009
Chapitre d'ouvrage
hal-00999645
v1
|
|
Modèles formels du calcul quantique : ressources, machines abstraites et calcul par mesureInformatique [cs]. Institut National Polytechnique de Grenoble - INPG, 2006. Français. ⟨NNT : ⟩
Thèse
tel-00275323
v1
|
|
Approches Graphiques en Informatique QuantiquePhysique Quantique [quant-ph]. Université de Lorraine, 2019
HDR
tel-02400128
v1
|
Chargement...
Chargement...