Emmanuel Jeandel

69 papers A* 7A 6B 3C 6Misc 1Journal 39Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
A categorical approach to reversible Turing machines and Brin-Thompson groups.
Theor. Comput. Sci.
Emmanuel Jeandel
2024 J jnl
Addition and Differentiation of ZX-diagrams.
Log. Methods Comput. Sci.
Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova
2023 A conf
Type-safe Quantum Programming in Idris.
ESOP
Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev
2022 B conf
Addition and Differentiation of ZX-Diagrams.
FSCD
Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova
2022 — conf
Amoebae for Clustering: A Bio-Inspired Cellular Automata Method for Data Classification.
Automata and Complexity
Amaury Saint-Jore, Nazim Fatès, Emmanuel Jeandel
2021 J jnl
Completeness of Graphical Languages for Mixed State Quantum Mechanics.
ACM Trans. Quantum Comput.
Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2021 C conf
ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs.
ICTAC
Emmanuel Hainry, Emmanuel Jeandel, Romain Péchoux, Olivier Zeyen
2021 J jnl
Qimaera: Type-safe (Variational) Quantum Programming in Idris.
CoRR
Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev
2021 J jnl
Strong shift equivalence as a category notion.
CoRR
Emmanuel Jeandel
2020 A* conf
A Recipe for Quantum Graphical Languages.
ICALP
Titouan Carette, Emmanuel Jeandel
2020 J jnl
Completeness of the ZX-Calculus.
Log. Methods Comput. Sci.
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2020 J jnl
On a recipe for quantum graphical languages.
CoRR
Titouan Carette, Emmanuel Jeandel
2020 J jnl
Slopes of Multidimensional Subshifts.
Theory Comput. Syst.
Emmanuel Jeandel, Etienne Moutot, Pascal Vanier
2019 A conf
A Characterization of Subshifts with Computable Language.
STACS
Emmanuel Jeandel, Pascal Vanier
2019 A* conf
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness.
LICS
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2019 A* conf
Completeness of Graphical Languages for Mixed States Quantum Mechanics.
ICALP
Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2019 J jnl
Completeness of the ZX-Calculus.
CoRR
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2019 Misc conf
Undecidable Word Problem in Subshift Automorphism Groups.
CSR
Pierre Guillon, Emmanuel Jeandel, Jarkko Kari, Pascal Vanier
2018 A* conf
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics.
LICS
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2018 A* conf
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics.
LICS
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2018 J jnl
The rational fragment of the ZX-calculus.
CoRR
Emmanuel Jeandel
2018 J jnl
Undecidable word problem in subshift automorphism groups.
CoRR
Pierre Guillon, Emmanuel Jeandel, Jarkko Kari, Pascal Vanier
2017 A* conf
Enumeration reducibility in closure spaces with applications to logic and algebra.
LICS
Emmanuel Jeandel
2017 J jnl
Generalised Supplementarity and new rule for Empty Diagrams to Make the ZX-Calculus More Expressive.
CoRR
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang
2017 — conf
Y-Calculus: A language for real Matrices derived from the ZX-Calculus.
QPL
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart
2017 B conf
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics.
MFCS
Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang
2016 C conf
Computability in Symbolic Dynamics.
CiE
Emmanuel Jeandel
2015 J jnl
An aperiodic set of 11 Wang tiles.
CoRR
Emmanuel Jeandel, Michaël Rao
2015 J jnl
Aperiodic Subshifts on Polycyclic Groups.
CoRR
Emmanuel Jeandel
2015 J jnl
Enumeration in Closure Spaces with Applications to Algebra.
CoRR
Emmanuel Jeandel
2015 J jnl
Hardness of conjugacy, embedding and factorization of multidimensional subshifts.
J. Comput. Syst. Sci.
Emmanuel Jeandel, Pascal Vanier
2015 J jnl
Infinite Communication Complexity.
CoRR
Pierre Guillon, Emmanuel Jeandel
2015 J jnl
Some Notes about Subshifts on Groups.
CoRR
Emmanuel Jeandel
2015 J jnl
Translation-like Actions and Aperiodic Subshifts on Groups.
CoRR
Emmanuel Jeandel
2014 A conf
Computability of the entropy of one-tape Turing machines.
STACS
Emmanuel Jeandel
2013 J jnl
Characterizations of periods of multidimensional shifts
CoRR
Emmanuel Jeandel, Pascal Vanier
2013 J jnl
Computability of the entropy of one-tape Turing Machines
CoRR
Emmanuel Jeandel
2013 A conf
Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type.
STACS
Emmanuel Jeandel, Pascal Vanier
2013 J jnl
Structuring multi-dimensional subshifts.
CoRR
Alexis Ballier, Emmanuel Jeandel
2013 J jnl
Subshifts as models for MSO logic.
Inf. Comput.
Emmanuel Jeandel, Guillaume Theyssier
2013 J jnl
Turing degrees of multidimensional SFTs.
Theor. Comput. Sci.
Emmanuel Jeandel, Pascal Vanier
2012 — conf
Fixed Parameter Undecidability for Wang Tilesets
AUTOMATA & JAC
Emmanuel Jeandel, Nicolas Rolin
2012 J jnl
Hardness of conjugacy and factorization of multidimensional subshifts of finite type
CoRR
Emmanuel Jeandel, Pascal Vanier
2012 C conf
On Immortal Configurations in Turing Machines.
CiE
Emmanuel Jeandel
2011 C conf
P
TAMC
Emmanuel Jeandel, Pascal Vanier
2011 J jnl
Pi01 sets and tilings
CoRR
Emmanuel Jeandel, Pascal Vanier
2011 — book
Propriétés structurelles et calculatoires des pavages. (Structural and computational properties of tilings).
Emmanuel Jeandel
2011 J jnl
Turing degrees of multidimensional SFTs
CoRR
Emmanuel Jeandel, Pascal Vanier
2010 J jnl
Computing (or not) Quasi-Periodicity Functions of Tilings
CoRR
Alexis Ballier, Emmanuel Jeandel
2010 — conf
Computing (or not) Quasi-periodicity Functions of Tilings.
JAC
Alexis Ballier, Emmanuel Jeandel
2010 C conf
Periodicity in Tilings.
Developments in Language Theory
Emmanuel Jeandel, Pascal Vanier
2010 J jnl
Slopes of Tilings
CoRR
Emmanuel Jeandel, Pascal Vanier
2010 — conf
Slopes of Tilings.
JAC
Emmanuel Jeandel, Pascal Vanier
2010 J jnl
The periodic domino problem revisited.
Theor. Comput. Sci.
Emmanuel Jeandel
2010 B conf
Tilings Robust to Errors.
LATIN
Alexis Ballier, Bruno Durand, Emmanuel Jeandel
2009 J jnl
Periodicity in tilings
CoRR
Emmanuel Jeandel, Pascal Vanier
2009 J jnl
Subshifts and Logic: Back and Forth
CoRR
Emmanuel Jeandel, Guillaume Theyssier
2009 J jnl
Subshifts, Languages and Logic
CoRR
Emmanuel Jeandel, Guillaume Theyssier
2009 C conf
Subshifts, Languages and Logic.
Developments in Language Theory
Emmanuel Jeandel, Guillaume Theyssier
2008 J jnl
Finding a vector orthogonal to roughly half a collection of vectors.
J. Complex.
Pierre Charbit, Emmanuel Jeandel, Pascal Koiran, Sylvain Perifel, Stéphan Thomassé
2008 J jnl
Playing with Conway's problem.
Theor. Comput. Sci.
Emmanuel Jeandel, Nicolas Ollinger
2008 J jnl
Structural aspects of tilings
CoRR
Alexis Ballier, Bruno Durand, Emmanuel Jeandel
2008 A conf
Structural aspects of tilings.
STACS
Alexis Ballier, Bruno Durand, Emmanuel Jeandel
2008 — conf
Tilings and model theory.
JAC
Alexis Ballier, Emmanuel Jeandel
2007 J jnl
Topological Automata.
Theory Comput. Syst.
Emmanuel Jeandel
2005 J jnl
Decidable and Undecidable Problems about Quantum Automata.
SIAM J. Comput.
Vincent D. Blondel, Emmanuel Jeandel, Pascal Koiran, Natacha Portier
2005 J jnl
Quantum automata and algebraic groups.
J. Symb. Comput.
Harm Derksen, Emmanuel Jeandel, Pascal Koiran
2005 A conf
Topological Automata.
STACS
Emmanuel Jeandel
2004 A* conf
Universality in Quantum Computation.
ICALP
Emmanuel Jeandel