Skip to Main content


Researcher identifiers

  • IdHAL : emmanuel-jeandel

Export Publications

Export the displayed publications:
Number of documents


Emmanuel Jeandel

see also My professional page

Journal articles8 documents

Conference papers18 documents

  • Titouan Carette, Emmanuel Jeandel. A recipe for quantum graphical languages. ICALP 2020, 2020, Saarbrücken, Germany. ⟨hal-02914177⟩
  • Emmanuel Jeandel, Pascal Vanier. A Characterization of Subshifts with Computable Language. STACS 2019 - 36th International Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany. ⟨hal-02133469⟩
  • Titouan Carette, Simon Perdrix, Renaud Vilmart, Emmanuel Jeandel. Completeness of Graphical Languages for Mixed States Quantum Mechanics. ICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩. ⟨hal-02025720⟩
  • Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. The 33rd Annual Symposium on Logic in Computer Science, 2018, Jul 2018, Oxford, United Kingdom. pp.559--568, ⟨10.1145/3209108.3209131⟩. ⟨hal-01529623v2⟩
  • Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang. ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics. MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15. ⟨hal-01445707v2⟩
  • Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. Y-Calculus: A language for real Matrices derived from the ZX-Calculus. International Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands. ⟨hal-01445948⟩
  • Emmanuel Jeandel. Enumeration reducibility in closure spaces with applications to logic and algebra. Logic in Computer Science (LICS), 2017, reyjkavik, Iceland. ⟨hal-01652505⟩
  • Emmanuel Jeandel. Computability in Symbolic Dynamics. CiE, Jun 2016, Paris, France. pp.124 - 131, ⟨10.1007/978-3-319-40189-8_13⟩. ⟨hal-01445688⟩
  • Emmanuel Jeandel. Computability of the entropy of one-tape Turing Machines. STACS - Symposium on Theoretical Aspects of Computer Science, Mar 2014, Lyon, France. pp.421-432, ⟨10.4230/LIPIcs.STACS.2014.421⟩. ⟨hal-00785232⟩
  • Emmanuel Jeandel, Pascal Vanier. Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type. 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⟩. ⟨hal-00690285⟩
  • Emmanuel Jeandel. On Immortal Configurations in Turing Machines. CiE: Computability in Europe, 2012, Cambridge, United Kingdom. pp.334-343, ⟨10.1007/978-3-642-30870-3_34⟩. ⟨lirmm-00663457⟩
  • Emmanuel Jeandel, Nicolas Rolin. Fixed Parameter Undecidability for Wang Tilesets. JAC - 3rd International Symposium Journées Automates Cellulaires - 2012, Enrico Formenti, Sep 2012, Bastia, France. pp.69-85, ⟨10.4204/EPTCS.90.6⟩. ⟨hal-00739038⟩
  • Emmanuel Jeandel, Pascal Vanier. Pi01 sets and tilings. 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⟩. ⟨hal-00563458v2⟩
  • Emmanuel Jeandel, Pascal Vanier. Slopes of Tilings. Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.145-155. ⟨hal-00542000⟩
  • Alexis Ballier, Emmanuel Jeandel. Computing (or not) Quasi-periodicity Functions of Tilings. Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.54-64. ⟨hal-00542498⟩
  • Emmanuel Jeandel, Guillaume Theyssier. Subshifts, Languages and Logic. 13th International Conference on Developments in Language Theory, Jun 2009, Stuttgart, Germany. ⟨hal-00375816⟩
  • Alexis Ballier, Emmanuel Jeandel. Tilings and model theory. JAC 2008, Apr 2008, Uzès, France. pp.29-39. ⟨hal-00273698⟩
  • Alexis Ballier, Bruno Durand, Emmanuel Jeandel. Structural aspects of tilings. STACS 2008, Feb 2008, Bordeaux, France. pp.61-72. ⟨hal-00145800v2⟩

Book sections2 documents

  • Emmanuel Jeandel, Pascal Vanier. The Undecidability of the Domino Problem. Substitution and Tiling Dynamics: Introduction to Self-inducing Structures, 2273, pp.293-357, 2020, ⟨10.1007/978-3-030-57666-0_6⟩. ⟨hal-03087341⟩
  • Nathalie Aubrun, Sebastián Barbieri, Emmanuel Jeandel. About the Domino Problem for Subshifts on Groups. 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⟩. ⟨hal-01989760⟩

Other publications1 document

  • Emmanuel Jeandel. Surjective Cellular Automata of neighborhood size at most 6. 2017. ⟨hal-01583896⟩

Preprints, Working Papers, ...9 documents

  • Emmanuel Jeandel. Strong shift equivalence as a category notion. 2021. ⟨hal-03286679⟩
  • Constantin Dalyac, Loïc Henriet, Emmanuel Jeandel, Wolfgang Lechner, Simon Perdrix, et al.. Qualifying quantum approaches for hard industrial optimization problems. A case study in the field of smart-charging of electric vehicles. 2021. ⟨hal-03096708⟩
  • Emmanuel Jeandel, Michael Rao. An aperiodic set of 11 Wang tiles. 2020. ⟨hal-01166053v3⟩
  • Emmanuel Jeandel. Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra. 2015. ⟨hal-01146744v3⟩
  • Alexis Ballier, Emmanuel Jeandel. Structuring multi-dimensional subshifts. 2013. ⟨hal-00868899⟩
  • Emmanuel Jeandel, Guillaume Theyssier. Subshifts as Models for MSO Logic. 2009. ⟨hal-00439407v2⟩
  • Alexis Ballier, Bruno Durand, Emmanuel Jeandel. Tilings robust to errors. 2009. ⟨hal-00430265⟩
  • Emmanuel Jeandel, Nicolas Ollinger. Playing with Conway's Problem. 2008. ⟨hal-00013788v2⟩
  • Pierre Charbit, Emmanuel Jeandel, Pascal Koiran, Sylvain Perifel, Stéphan Thomassé. Finding a Vector Orthogonal to Roughly Half a Collection of Vectors. 2007. ⟨ensl-00153736⟩

Reports1 document

  • Emmanuel Jeandel. Évaluation rapide de fonctions hypergéométriques. [Rapport de recherche] RT-0242, INRIA. 2000, pp.17. ⟨inria-00069930⟩

Habilitation à diriger des recherches1 document

  • Emmanuel Jeandel. Propriétés structurelles et calculatoires des pavages. Théorie et langage formel [cs.FL]. Université Montpellier II - Sciences et Techniques du Languedoc, 2011. ⟨tel-00653343⟩