Universality in Quantum Computation. - Emmanuel Jeandel (ICALP, 2004)

Quantum automata and algebraic groups. - Harm Derksen; Emmanuel Jeandel; Pascal Koiran (J. Symb. Comput., 2005)

Decidable and Undecidable Problems about Quantum Automata. - Vincent D. Blondel; Emmanuel Jeandel; Pascal Koiran; Natacha Portier (SIAM J. Comput., 2005)

Topological Automata. - Emmanuel Jeandel (Theory Comput. Syst., 2007)

Tilings and model theory. - Alexis Ballier; Emmanuel Jeandel (JAC, 2008)

Structural aspects of tilings. - Alexis Ballier; Bruno Durand 001; Emmanuel Jeandel (STACS, 2008)

Finding a vector orthogonal to roughly half a collection of vectors. - Pierre Charbit; Emmanuel Jeandel; Pascal Koiran; Sylvain Perifel; Stéphan Thomassé (J. Complex., 2008)

Playing with Conway's problem. - Emmanuel Jeandel; Nicolas Ollinger (Theor. Comput. Sci., 2008)

Subshifts, Languages and Logic. - Emmanuel Jeandel; Guillaume Theyssier (Developments in Language Theory, 2009)

Subshifts and Logic: Back and Forth - Emmanuel Jeandel; Guillaume Theyssier (CoRR, 2009)

Periodicity in Tilings. - Emmanuel Jeandel; Pascal Vanier (Developments in Language Theory, 2010)

Computing (or not) Quasi-periodicity Functions of Tilings. - Alexis Ballier; Emmanuel Jeandel (JAC, 2010)

Slopes of Tilings. - Emmanuel Jeandel; Pascal Vanier (JAC, 2010)

Tilings Robust to Errors. - Alexis Ballier; Bruno Durand 001; Emmanuel Jeandel (LATIN, 2010)

The periodic domino problem revisited. - Emmanuel Jeandel (Theor. Comput. Sci., 2010)

Propriétés structurelles et calculatoires des pavages. (Structural and computational properties of tilings). - Emmanuel Jeandel (2011)

P01 it Pi^0_1 Sets and Tilings. - Emmanuel Jeandel; Pascal Vanier (TAMC, 2011)

Pi01 sets and tilings - Emmanuel Jeandel; Pascal Vanier (CoRR, 2011)

On Immortal Configurations in Turing Machines. - Emmanuel Jeandel (CiE, 2012)

Hardness of conjugacy and factorization of multidimensional subshifts of finite type - Emmanuel Jeandel; Pascal Vanier (CoRR, 2012)

Fixed Parameter Undecidability for Wang Tilesets - Emmanuel Jeandel; Nicolas Rolin (AUTOMATA & JAC, 2012)

Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type. - Emmanuel Jeandel; Pascal Vanier (STACS, 2013)

Structuring multi-dimensional subshifts. - Alexis Ballier; Emmanuel Jeandel (CoRR, 2013)

Characterizations of periods of multidimensional shifts - Emmanuel Jeandel; Pascal Vanier (CoRR, 2013)

Subshifts as models for MSO logic. - Emmanuel Jeandel; Guillaume Theyssier (Inf. Comput., 2013)

Turing degrees of multidimensional SFTs. - Emmanuel Jeandel; Pascal Vanier (Theor. Comput. Sci., 2013)

Computability of the entropy of one-tape Turing machines. - Emmanuel Jeandel (STACS, 2014)

Infinite Communication Complexity. - Pierre Guillon 001; Emmanuel Jeandel (CoRR, 2015)

Some Notes about Subshifts on Groups. - Emmanuel Jeandel (CoRR, 2015)

Enumeration in Closure Spaces with Applications to Algebra. - Emmanuel Jeandel (CoRR, 2015)

Translation-like Actions and Aperiodic Subshifts on Groups. - Emmanuel Jeandel (CoRR, 2015)

Aperiodic Subshifts on Polycyclic Groups. - Emmanuel Jeandel (CoRR, 2015)

An aperiodic set of 11 Wang tiles. - Emmanuel Jeandel; Michaël Rao (CoRR, 2015)

Hardness of conjugacy, embedding and factorization of multidimensional subshifts. - Emmanuel Jeandel; Pascal Vanier (J. Comput. Syst. Sci., 2015)

Computability in Symbolic Dynamics. - Emmanuel Jeandel (CiE, 2016)

Enumeration reducibility in closure spaces with applications to logic and algebra. - Emmanuel Jeandel (LICS, 2017)

ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics. - Emmanuel Jeandel; Simon Perdrix; Renaud Vilmart; Quanlong Wang (MFCS, 2017)

Y-Calculus: A language for real Matrices derived from the ZX-Calculus. - Emmanuel Jeandel; Simon Perdrix; Renaud Vilmart (QPL, 2017)

Generalised Supplementarity and new rule for Empty Diagrams to Make the ZX-Calculus More Expressive. - Emmanuel Jeandel; Simon Perdrix; Renaud Vilmart; Quanlong Wang (CoRR, 2017)

A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. - Emmanuel Jeandel; Simon Perdrix; Renaud Vilmart (LICS, 2018)

Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. - Emmanuel Jeandel; Simon Perdrix; Renaud Vilmart (LICS, 2018)

The rational fragment of the ZX-calculus. - Emmanuel Jeandel (CoRR, 2018)

Undecidable Word Problem in Subshift Automorphism Groups. - Pierre Guillon 001; Emmanuel Jeandel; Jarkko Kari; Pascal Vanier (CSR, 2019)

Completeness of Graphical Languages for Mixed States Quantum Mechanics. - Titouan Carette; Emmanuel Jeandel; Simon Perdrix; Renaud Vilmart (ICALP, 2019)

A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. - Emmanuel Jeandel; Simon Perdrix; Renaud Vilmart (LICS, 2019)

A Characterization of Subshifts with Computable Language. - Emmanuel Jeandel; Pascal Vanier (STACS, 2019)

A Recipe for Quantum Graphical Languages. - Titouan Carette; Emmanuel Jeandel (ICALP, 2020)

Completeness of the ZX-Calculus. - Emmanuel Jeandel; Simon Perdrix; Renaud Vilmart (Log. Methods Comput. Sci., 2020)

Slopes of Multidimensional Subshifts. - Emmanuel Jeandel; Etienne Moutot; Pascal Vanier (Theory Comput. Syst., 2020)

ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs. - Emmanuel Hainry; Emmanuel Jeandel; Romain Péchoux; Olivier Zeyen (ICTAC, 2021)

Strong shift equivalence as a category notion. - Emmanuel Jeandel (CoRR, 2021)

Qimaera: Type-safe (Variational) Quantum Programming in Idris. - Liliane-Joy Dandy; Emmanuel Jeandel; Vladimir Zamdzhiev (CoRR, 2021)

Amoebae for Clustering: A Bio-Inspired Cellular Automata Method for Data Classification. - Amaury Saint-Jore; Nazim Fatès; Emmanuel Jeandel (Automata and Complexity, 2022)

Type-safe Quantum Programming in Idris. - Liliane-Joy Dandy; Emmanuel Jeandel; Vladimir Zamdzhiev (ESOP, 2023)

Addition and Differentiation of ZX-diagrams. - Emmanuel Jeandel; Simon Perdrix; Margarita Veshchezerova (Log. Methods Comput. Sci., 2024)