Emmanuel Jeandel

Identifiants chercheurs

IdHAL :

emmanuel-jeandel

ORCID :

0000-0001-7236-2906

IdRef :

104526750

Présentation

Publications

Article dans une revue (13)

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

Communication dans un congrès (26)

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
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 Perdrixet 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
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
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
A recipe for quantum graphical languages Titouan Carette,Emmanuel Jeandel ICALP 2020, 2020, Saarbrücken, Germany Communication dans un congrès hal-02914177v1
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Chapitre d'ouvrage (3)

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

Autre publication scientifique (1)

Surjective Cellular Automata of neighborhood size at most 6 Emmanuel Jeandel 2017 Autre publication scientifique hal-01583896v2

Pré-publication, Document de travail (14)

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 Perdrixet al. 2021 Pré-publication, Document de travail hal-03096708v1
Strong shift equivalence as a category notion Emmanuel Jeandel 2021 Pré-publication, Document de travail hal-03286679v1
The rational fragment of the ZX-calculus Emmanuel Jeandel 2018 Pré-publication, Document de travail hal-01893598v1
Aperiodic Subshifts on Polycyclic Groups Emmanuel Jeandel 2016 Pré-publication, Document de travail hal-01213364v2
Translation-like Actions and Aperiodic Subshifts on Groups Emmanuel Jeandel 2015 Pré-publication, Document de travail hal-01187069v1
Aperiodic Subshifts of Finite Type on Groups Emmanuel Jeandel 2015 Pré-publication, Document de travail hal-01110211v2
Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra Emmanuel Jeandel 2015 Pré-publication, Document de travail hal-01146744v3
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
Subshifts as Models for MSO Logic Emmanuel Jeandel,Guillaume Theyssier 2009 Pré-publication, Document de travail hal-00439407v2
Tilings robust to errors Alexis Ballier,Bruno Durand,Emmanuel Jeandel 2009 Pré-publication, Document de travail hal-00430265v1
Playing with Conway's Problem Emmanuel Jeandel,Nicolas Ollinger 2008 Pré-publication, Document de travail hal-00013788v2
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

Rapport (1)

Évaluation rapide de fonctions hypergéométriques Emmanuel Jeandel [Rapport de recherche] RT-0242, INRIA. 2000, pp.17 Rapport (rapport de recherche) inria-00069930v1

HDR (1)

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