Emmanuel Jeandel

Identifiants chercheurs

IdHAL :

emmanuel-jeandel

ORCID :

0000-0001-7236-2906

IdRef :

104526750

Présentation

Publications

Article dans une revue (13)

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

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
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
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
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
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 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 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
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
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
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
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
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
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
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
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
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
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
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
Strong shift equivalence as a category notion Emmanuel Jeandel 2021 Pré-publication, Document de travail hal-03286679v1
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
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
Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra Emmanuel Jeandel 2015 Pré-publication, Document de travail hal-01146744v3
Aperiodic Subshifts of Finite Type on Groups Emmanuel Jeandel 2015 Pré-publication, Document de travail hal-01110211v2
Translation-like Actions and Aperiodic Subshifts on Groups Emmanuel Jeandel 2015 Pré-publication, Document de travail hal-01187069v1
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