- 26
- 7
- 7
- 4
- 4
- 3
- 3
- 1
- 1
- 1
- 1
Emmanuel Jeandel
58
Documents
Researcher identifiers
emmanuel-jeandel-
0000-0001-7236-2906
- IdRef : 104526750
Presentation
see also [My professional page](https://members.loria.fr/EJeandel/)
Publications
- 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
- 1
- 4
- 5
- 4
- 4
- 4
- 4
- 2
- 5
- 2
- 5
- 2
- 2
- 3
- 3
- 4
- 1
- 2
- 1
Type-safe Quantum Programming in IdrisESOP 2023 - European Symposium on Programming, Apr 2023, Paris, France. pp.507-534, ⟨10.1007/978-3-031-30044-8_19⟩
Conference papers
hal-03519238v1
|
|
|
|
Strong Shift Equivalence and Bialgebras in traced monoidal categoriesThe 5th International Conference on Applied Category Theory 2022, 2022, Strathclyde, United Kingdom
Conference papers
hal-04318123v1
|
Addition and Differentiation of ZX-Diagrams7th 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-03886288v1
|
|
|
|
Qualifying quantum approaches for hard industrial optimization problems. A case study in the field of smart-charging of electric vehiclesROADEF 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-03595391v1
|
|
|
ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java ProgramsICTAC 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-03337755v1
|
|
|
A recipe for quantum graphical languagesICALP 2020, 2020, Saarbrücken, Germany
Conference papers
hal-02914177v1
|
|
|
Undecidable word problem in subshift automorphism groupsComputer Science in Russia 2019, Jul 2019, Novosibirsk, Russia
Conference papers
hal-01862896v2
|
|
|
Completeness of Graphical Languages for Mixed States Quantum MechanicsICALP, 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.108⟩
Conference papers
hal-02025720v1
|
|
|
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle CompletenessLICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785754⟩
Conference papers
hal-01791791v1
|
A Characterization of Subshifts with Computable LanguageSTACS 2019 - 36th International Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany
Conference papers
hal-02133469v1
|
|
|
|
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum MechanicsThe 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-01529623v2
|
|
|
Diagrammatic Reasoning beyond Clifford+T Quantum MechanicsThe 33rd Annual Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.569--578, ⟨10.1145/3209108.3209139⟩
Conference papers
hal-01716501v1
|
|
|
Y-Calculus: A language for real Matrices derived from the ZX-CalculusInternational Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands
Conference papers
hal-01445948v1
|
Enumeration reducibility in closure spaces with applications to logic and algebraLogic in Computer Science (LICS), 2017, reyjkavik, Iceland
Conference papers
hal-01652505v1
|
|
|
|
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanicsMFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
Conference papers
hal-01445707v2
|
|
|
Computability in Symbolic DynamicsCiE, Jun 2016, Paris, France. pp.124 - 131, ⟨10.1007/978-3-319-40189-8_13⟩
Conference papers
hal-01445688v1
|
|
|
Computability of the entropy of one-tape Turing MachinesSTACS - Symposium on Theoretical Aspects of Computer Science, Mar 2014, Lyon, France. pp.421-432, ⟨10.4230/LIPIcs.STACS.2014.421⟩
Conference papers
hal-00785232v1
|
|
|
Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite TypeSTACS 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-00690285v1
|
|
|
On Immortal Configurations in Turing MachinesCiE: Computability in Europe, 2012, Cambridge, United Kingdom. pp.334-343, ⟨10.1007/978-3-642-30870-3_34⟩
Conference papers
lirmm-00663457v1
|
Fixed Parameter Undecidability for Wang TilesetsJAC - 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-00739038v1
|
|
|
|
Pi01 sets and tilingsTheory 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-00563458v2
|
|
|
Computing (or not) Quasi-periodicity Functions of TilingsJournées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.54-64
Conference papers
hal-00542498v1
|
|
|
Slopes of TilingsJournées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.145-155
Conference papers
hal-00542000v1
|
|
|
Subshifts, Languages and Logic13th International Conference on Developments in Language Theory, Jun 2009, Stuttgart, Germany
Conference papers
hal-00375816v1
|
|
|
Tilings and model theoryJAC 2008, Apr 2008, Uzès, France. pp.29-39
Conference papers
hal-00273698v1
|
|
|
Structural aspects of tilingsSTACS 2008, Feb 2008, Bordeaux, France. pp.61-72
Conference papers
hal-00145800v2
|
|
|
Amoebae for clustering: a bio-inspired cellular automata method for data classificationAutomata 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-02973830v1
|
|
|
The Undecidability of the Domino ProblemSubstitution and Tiling Dynamics: Introduction to Self-inducing Structures, 2273, pp.293-357, 2020, ⟨10.1007/978-3-030-57666-0_6⟩
Book sections
hal-03087341v1
|
|
|
About the Domino Problem for Subshifts on GroupsValé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-01989760v1
|
|
|
Surjective Cellular Automata of neighborhood size at most 62017
Other publications
hal-01583896v1
|
|
|
Évaluation rapide de fonctions hypergéométriques[Rapport de recherche] RT-0242, INRIA. 2000, pp.17
Reports
inria-00069930v1
|
|
|
Propriétés structurelles et calculatoires des pavagesThéorie et langage formel [cs.FL]. Université Montpellier II - Sciences et Techniques du Languedoc, 2011
Habilitation à diriger des recherches
tel-00653343v1
|