Emmanuel Jeandel

58
Documents

Presentation

Publications

26
7
7
4
4
3
3
1
1
1
1
11
8
4
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
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
12
11
8
4
4
3
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
2
1
1
1
1
1
1
1
1
1
1
1
5
5
5
4
4
4
4
4
4
3
3
2
2
2
2
2
1
1
1

Publications

Type-safe Quantum Programming in Idris

Liliane-Joy Dandy , Emmanuel Jeandel , Vladimir Zamdzhiev
ESOP 2023 - European Symposium on Programming, Apr 2023, Paris, France. pp.507-534, ⟨10.1007/978-3-031-30044-8_19⟩
Conference papers hal-03519238 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
Conference papers hal-03595391 v1
Image document

Strong Shift Equivalence and Bialgebras in traced monoidal categories

Emmanuel Jeandel
The 5th International Conference on Applied Category Theory 2022, 2022, Strathclyde, United Kingdom
Conference papers hal-04318123 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⟩
Conference papers hal-03886288 v1
Image document

ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs

Emmanuel Hainry , Emmanuel Jeandel , Romain Péchoux , Olivier Zeyen
ICTAC 2021 - 18th International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan/Virtual, Kazakhstan. pp.357-365, ⟨10.1007/978-3-030-85315-0_20⟩
Conference papers hal-03337755 v1
Image document

A recipe for quantum graphical languages

Titouan Carette , Emmanuel Jeandel
ICALP 2020, 2020, Saarbrücken, Germany
Conference papers hal-02914177 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⟩
Conference papers 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⟩
Conference papers hal-02025720 v1
Image document

Undecidable word problem in subshift automorphism groups

Pierre Guillon , Emmanuel Jeandel , Jarkko Kari , Pascal Vanier
Computer Science in Russia 2019, Jul 2019, Novosibirsk, Russia
Conference papers hal-01862896 v2

A Characterization of Subshifts with Computable Language

Emmanuel Jeandel , Pascal Vanier
STACS 2019 - 36th International Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany
Conference papers hal-02133469 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⟩
Conference papers 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⟩
Conference papers hal-01716501 v1

Enumeration reducibility in closure spaces with applications to logic and algebra

Emmanuel Jeandel
Logic in Computer Science (LICS), 2017, reyjkavik, Iceland
Conference papers hal-01652505 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
Conference papers 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
Conference papers hal-01445707 v2
Image document

Computability in Symbolic Dynamics

Emmanuel Jeandel
CiE, Jun 2016, Paris, France. pp.124 - 131, ⟨10.1007/978-3-319-40189-8_13⟩
Conference papers hal-01445688 v1
Image document

Computability of the entropy of one-tape Turing Machines

Emmanuel Jeandel
STACS - Symposium on Theoretical Aspects of Computer Science, Mar 2014, Lyon, France. pp.421-432, ⟨10.4230/LIPIcs.STACS.2014.421⟩
Conference papers hal-00785232 v1
Image document

Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type

Emmanuel Jeandel , Pascal Vanier
STACS 2013 - 30th International Symposium on Theoretical Aspects of Computer Science, Christian-Albrechts - Universität zu Kiel, Feb 2013, Kiel, Germany. pp.490--501, ⟨10.4230/LIPIcs.STACS.2013.490⟩
Conference papers hal-00690285 v1
Image document

On Immortal Configurations in Turing Machines

Emmanuel Jeandel
CiE: Computability in Europe, 2012, Cambridge, United Kingdom. pp.334-343, ⟨10.1007/978-3-642-30870-3_34⟩
Conference papers lirmm-00663457 v1

Fixed Parameter Undecidability for Wang Tilesets

Emmanuel Jeandel , Nicolas Rolin
JAC - 3rd International Symposium Journées Automates Cellulaires - 2012, Enrico Formenti, Sep 2012, Bastia, France. pp.69-85, ⟨10.4204/EPTCS.90.6⟩
Conference papers hal-00739038 v1
Image document

Pi01 sets and tilings

Emmanuel Jeandel , Pascal Vanier
Theory and Applications of Models of Computation - 8th Annual Conference, May 2011, Kyoto, Japan. pp.230-239, ⟨10.1007/978-3-642-20877-5_24⟩
Conference papers hal-00563458 v2
Image document

Computing (or not) Quasi-periodicity Functions of Tilings

Alexis Ballier , Emmanuel Jeandel
Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.54-64
Conference papers hal-00542498 v1
Image document

Slopes of Tilings

Emmanuel Jeandel , Pascal Vanier
Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.145-155
Conference papers hal-00542000 v1
Image document

Subshifts, Languages and Logic

Emmanuel Jeandel , Guillaume Theyssier
13th International Conference on Developments in Language Theory, Jun 2009, Stuttgart, Germany
Conference papers hal-00375816 v1
Image document

Structural aspects of tilings

Alexis Ballier , Bruno Durand , Emmanuel Jeandel
STACS 2008, Feb 2008, Bordeaux, France. pp.61-72
Conference papers hal-00145800 v2
Image document

Tilings and model theory

Alexis Ballier , Emmanuel Jeandel
JAC 2008, Apr 2008, Uzès, France. pp.29-39
Conference papers hal-00273698 v1
Image document

Amoebae for clustering: a bio-inspired cellular automata method for data classification

Amaury Saint-Jore , Nazim A. Fatès , Emmanuel Jeandel
Automata and Complexity, 42, Springer, Cham, pp.417-432, 2022, 978-3-030-92553-6. ⟨10.1007/978-3-030-92551-2_23⟩
Book sections hal-02973830 v1
Image document

The Undecidability of the Domino Problem

Emmanuel Jeandel , Pascal Vanier
Substitution and Tiling Dynamics: Introduction to Self-inducing Structures, 2273, pp.293-357, 2020, ⟨10.1007/978-3-030-57666-0_6⟩
Book sections hal-03087341 v1
Image document

About the Domino Problem for Subshifts on Groups

Nathalie Aubrun , Sebastián Barbieri , Emmanuel Jeandel
Valérie Berthé; M Rigo. Sequences, Groups, and Number Theory, Birkhäuser, Cham, pp.331-389, 2018, Trends in Mathematics, 978-3-319-69151-0. ⟨10.1007/978-3-319-69152-7_9⟩
Book sections hal-01989760 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
Preprints, Working Papers, ... hal-03096708 v1
Image document

Strong shift equivalence as a category notion

Emmanuel Jeandel
2021
Preprints, Working Papers, ... hal-03286679 v1
Image document

The rational fragment of the ZX-calculus

Emmanuel Jeandel
2018
Preprints, Working Papers, ... hal-01893598 v1
Image document

Aperiodic Subshifts on Polycyclic Groups

Emmanuel Jeandel
2016
Preprints, Working Papers, ... hal-01213364 v2
Image document

Translation-like Actions and Aperiodic Subshifts on Groups

Emmanuel Jeandel
2015
Preprints, Working Papers, ... hal-01187069 v1
Image document

Aperiodic Subshifts of Finite Type on Groups

Emmanuel Jeandel
2015
Preprints, Working Papers, ... hal-01110211 v2
Image document

Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra

Emmanuel Jeandel
2015
Preprints, Working Papers, ... hal-01146744 v3
Image document

Infinite Communication Complexity

Pierre Guillon , Emmanuel Jeandel
2014
Preprints, Working Papers, ... hal-01108690 v1

Structuring multi-dimensional subshifts

Alexis Ballier , Emmanuel Jeandel
2013
Preprints, Working Papers, ... hal-00868899 v1
Image document

Subshifts as Models for MSO Logic

Emmanuel Jeandel , Guillaume Theyssier
2009
Preprints, Working Papers, ... hal-00439407 v2
Image document

Tilings robust to errors

Alexis Ballier , Bruno Durand , Emmanuel Jeandel
2009
Preprints, Working Papers, ... hal-00430265 v1
Image document

Playing with Conway's Problem

Emmanuel Jeandel , Nicolas Ollinger
2008
Preprints, Working Papers, ... hal-00013788 v2
Image document

Finding a Vector Orthogonal to Roughly Half a Collection of Vectors

Pierre Charbit , Emmanuel Jeandel , Pascal Koiran , Sylvain Perifel , Stéphan Thomassé
2007
Preprints, Working Papers, ... ensl-00153736 v1
Image document

An aperiodic set of 11 Wang tiles

Emmanuel Jeandel , Michael Rao
Advances in Combinatorics, 2021, ⟨10.19086/aic.18614⟩
Journal articles hal-01166053 v4
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⟩
Journal articles hal-04082921 v1
Image document

Slopes of multidimensional subshifts

Emmanuel Jeandel , Etienne Moutot , Pascal Vanier
Theory of Computing Systems, 2020, 64 (1), pp.35-61. ⟨10.1007/s00224-019-09931-1⟩
Journal articles hal-02158012 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⟩
Journal articles hal-02400081 v1
Image document

Hardness of conjugacy, embedding and factorization of multidimensional subshifts

Emmanuel Jeandel , Pascal Vanier
Journal of Computer and System Sciences, 2015, http://dx.doi.org/10.1016/j.jcss.2015.05.003. ⟨10.1016/j.jcss.2015.05.003⟩
Journal articles hal-01150419 v1
Image document

Characterizations of periods of multidimensional shifts

Emmanuel Jeandel , Pascal Vanier
Ergodic Theory and Dynamical Systems, 2015, 35 (2), pp.431--460. ⟨10.1017/etds.2013.60⟩
Journal articles hal-00798336 v1
Image document

Turing degrees of multidimensional subshifts

Emmanuel Jeandel , Pascal Vanier
Theoretical Computer Science, 2013, http://dx.doi.org/10.1016/j.tcs.2012.08.027. ⟨10.1016/j.tcs.2012.08.027⟩
Journal articles hal-00613165 v3

Subshifts as models for MSO logic

Emmanuel Jeandel , Guillaume Theyssier
Information and Computation, 2013, 225, pp.1-15. ⟨10.1016/j.ic.2013.01.003⟩
Journal articles hal-00783099 v1

Characterizations of periods of multi-dimensional shifts

Emmanuel Jeandel , Pascal Vanier
Ergodic Theory and Dynamical Systems, 2013, FirstView, pp.1--30. ⟨10.1017/etds.2013.60⟩
Journal articles hal-01194798 v1
Image document

Periodicity in tilings

Emmanuel Jeandel , Pascal Vanier
Developments in Language Theory, 2010, 6224/2010, pp.243-254. ⟨10.1007/978-3-642-14455-4_23⟩
Journal articles hal-00419196 v1
Image document

Finding a Vector Orthogonal to Roughly Half a Collection of Vectors

Pierre Charbit , Emmanuel Jeandel , Pascal Koiran , Sylvain Perifel , Stéphan Thomassé
Journal of Complexity, 2008, 24, pp.39-53. ⟨10.1016/j.jco.2006.09.005⟩
Journal articles lirmm-00292703 v1

Decidable and Undecidable Problems about Quantum Automata

Vincent Blondel , Emmanuel Jeandel , Pascal Koiran , Natacha Portier
SIAM Journal on Computing, 2005, 34 (6), pp.1464-1473. ⟨10.1137/S0097539703425861⟩
Journal articles hal-04649235 v1

Quantum automata and algebraic groups

Harm Derksen , Emmanuel Jeandel , Pascal Koiran
Journal of Symbolic Computation, 2005, 39 (3-4), pp.357-371. ⟨10.1016/j.jsc.2004.11.008⟩
Journal articles hal-04649216 v1
Image document

Propriétés structurelles et calculatoires des pavages

Emmanuel Jeandel
Théorie et langage formel [cs.FL]. Université Montpellier II - Sciences et Techniques du Languedoc, 2011
Habilitation à diriger des recherches tel-00653343 v1
Image document

Évaluation rapide de fonctions hypergéométriques

Emmanuel Jeandel
[Rapport de recherche] RT-0242, INRIA. 2000, pp.17
Reports (Research report) inria-00069930 v1