Emmanuel Jeandel

59
Documents

Présentation

Publications

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

Publications

Deposit thumbnail

An aperiodic set of 11 Wang tiles

Emmanuel Jeandel , Michael Rao

Advances in Combinatorics, 2021, ⟨10.19086/aic.18614⟩

Article dans une revue hal-01166053v4
Deposit thumbnail

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

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⟩

Article dans une revue hal-02158012v1

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

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⟩

Article dans une revue hal-01150419v1
Deposit thumbnail

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⟩

Article dans une revue hal-00798336v1
Deposit thumbnail

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⟩

Article dans une revue hal-00613165v3

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⟩

Article dans une revue hal-00783099v1

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⟩

Article dans une revue hal-01194798v1
Deposit thumbnail

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⟩

Article dans une revue hal-00419196v1
Deposit thumbnail

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⟩

Article dans une revue lirmm-00292703v1

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⟩

Article dans une revue hal-04649235v1

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⟩

Article dans une revue hal-04649216v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-03519238v1
Deposit thumbnail

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-03595391v1
Deposit thumbnail

Strong Shift Equivalence and Bialgebras in traced monoidal categories

Emmanuel Jeandel

The 5th International Conference on Applied Category Theory 2022, 2022, Strathclyde, United Kingdom

Communication dans un congrès hal-04318123v1

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

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⟩

Communication dans un congrès hal-03337755v1
Deposit thumbnail

A recipe for quantum graphical languages

Titouan Carette , Emmanuel Jeandel

ICALP 2020, 2020, Saarbrücken, Germany

Communication dans un congrès hal-02914177v1
Deposit thumbnail

Undecidable word problem in subshift automorphism groups

Pierre Guillon , Emmanuel Jeandel , Jarkko Kari , Pascal Vanier

Computer Science in Russia 2019, Jul 2019, Novosibirsk, Russia

Communication dans un congrès hal-01862896v2
Deposit thumbnail

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

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

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

Communication dans un congrès hal-02133469v1
Deposit thumbnail

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

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

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

Enumeration reducibility in closure spaces with applications to logic and algebra

Emmanuel Jeandel

Logic in Computer Science (LICS), 2017, reyjkavik, Iceland

Communication dans un congrès hal-01652505v1
Deposit thumbnail

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

Computability in Symbolic Dynamics

Emmanuel Jeandel

CiE, Jun 2016, Paris, France. pp.124 - 131, ⟨10.1007/978-3-319-40189-8_13⟩

Communication dans un congrès hal-01445688v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00785232v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00690285v1
Deposit thumbnail

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⟩

Communication dans un congrès lirmm-00663457v1

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⟩

Communication dans un congrès hal-00739038v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00563458v2
Deposit thumbnail

Computing (or not) Quasi-periodicity Functions of Tilings

Alexis Ballier , Emmanuel Jeandel

Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.54-64

Communication dans un congrès hal-00542498v1
Deposit thumbnail

Slopes of Tilings

Emmanuel Jeandel , Pascal Vanier

Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.145-155

Communication dans un congrès hal-00542000v1
Deposit thumbnail

Subshifts, Languages and Logic

Emmanuel Jeandel , Guillaume Theyssier

13th International Conference on Developments in Language Theory, Jun 2009, Stuttgart, Germany

Communication dans un congrès hal-00375816v1
Deposit thumbnail

Structural aspects of tilings

Alexis Ballier , Bruno Durand , Emmanuel Jeandel

STACS 2008, Feb 2008, Bordeaux, France. pp.61-72

Communication dans un congrès hal-00145800v2
Deposit thumbnail

Tilings and model theory

Alexis Ballier , Emmanuel Jeandel

JAC 2008, Apr 2008, Uzès, France. pp.29-39

Communication dans un congrès hal-00273698v1
Deposit thumbnail

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⟩

Chapitre d'ouvrage hal-02973830v1
Deposit thumbnail

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⟩

Chapitre d'ouvrage hal-03087341v1
Deposit thumbnail

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⟩

Chapitre d'ouvrage hal-01989760v1

Invariants in Linear Optics

Sébastien Draux , Simon Perdrix , Emmanuel Jeandel , Shane Mansfield

2026

Pré-publication, Document de travail hal-05465403v1

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-03096708v1
Deposit thumbnail

Strong shift equivalence as a category notion

Emmanuel Jeandel

2021

Pré-publication, Document de travail hal-03286679v1
Deposit thumbnail

The rational fragment of the ZX-calculus

Emmanuel Jeandel

2018

Pré-publication, Document de travail hal-01893598v1
Deposit thumbnail

Aperiodic Subshifts on Polycyclic Groups

Emmanuel Jeandel

2016

Pré-publication, Document de travail hal-01213364v2
Deposit thumbnail

Translation-like Actions and Aperiodic Subshifts on Groups

Emmanuel Jeandel

2015

Pré-publication, Document de travail hal-01187069v1
Deposit thumbnail

Aperiodic Subshifts of Finite Type on Groups

Emmanuel Jeandel

2015

Pré-publication, Document de travail hal-01110211v2
Deposit thumbnail

Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra

Emmanuel Jeandel

2015

Pré-publication, Document de travail hal-01146744v3
Deposit thumbnail

Infinite Communication Complexity

Pierre Guillon , Emmanuel Jeandel

2014

Pré-publication, Document de travail hal-01108690v1

Structuring multi-dimensional subshifts

Alexis Ballier , Emmanuel Jeandel

2013

Pré-publication, Document de travail hal-00868899v1
Deposit thumbnail

Subshifts as Models for MSO Logic

Emmanuel Jeandel , Guillaume Theyssier

2009

Pré-publication, Document de travail hal-00439407v2
Deposit thumbnail

Tilings robust to errors

Alexis Ballier , Bruno Durand , Emmanuel Jeandel

2009

Pré-publication, Document de travail hal-00430265v1
Deposit thumbnail

Playing with Conway's Problem

Emmanuel Jeandel , Nicolas Ollinger

2008

Pré-publication, Document de travail hal-00013788v2
Deposit thumbnail

Finding a Vector Orthogonal to Roughly Half a Collection of Vectors

Pierre Charbit , Emmanuel Jeandel , Pascal Koiran , Sylvain Perifel , Stéphan Thomassé

2007

Pré-publication, Document de travail ensl-00153736v1
Deposit thumbnail

Évaluation rapide de fonctions hypergéométriques

Emmanuel Jeandel

[Rapport de recherche] RT-0242, INRIA. 2000, pp.17

Rapport (rapport de recherche) inria-00069930v1
Deposit thumbnail

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

HDR tel-00653343v1