Emmanuel Jeandel

According to our database, Emmanuel Jeandel authored at least 55 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Type-safe Quantum Programming in Idris.

Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev

Proceedings of the Programming Languages and Systems, 2023

2022

Addition and Differentiation of ZX-Diagrams.

Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

Amoebae for Clustering: A Bio-Inspired Cellular Automata Method for Data Classification.

Amaury Saint-Jore, Nazim Fatès, Emmanuel Jeandel

Proceedings of the Automata and Complexity, 2022

2021

Qimaera: Type-safe (Variational) Quantum Programming in Idris.

Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev

CoRR, 2021

Strong shift equivalence as a category notion.

Emmanuel Jeandel

CoRR, 2021

ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs.

Emmanuel Hainry, Emmanuel Jeandel, Romain Péchoux, Olivier Zeyen

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

2020

Slopes of Multidimensional Subshifts.

Emmanuel Jeandel, Etienne Moutot, Pascal Vanier

Theory Comput. Syst., 2020

Completeness of the ZX-Calculus.

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

Log. Methods Comput. Sci., 2020

A Recipe for Quantum Graphical Languages.

Titouan Carette, Emmanuel Jeandel

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019

A Characterization of Subshifts with Computable Language.

Emmanuel Jeandel, Pascal Vanier

Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019

A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness.

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Completeness of Graphical Languages for Mixed States Quantum Mechanics.

Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Undecidable Word Problem in Subshift Automorphism Groups.

Pierre Guillon, Emmanuel Jeandel, Jarkko Kari, Pascal Vanier

Proceedings of the Computer Science - Theory and Applications, 2019

2018

The rational fragment of the ZX-calculus.

Emmanuel Jeandel

CoRR, 2018

Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics.

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics.

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

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

Y-Calculus: A language for real Matrices derived from the ZX-Calculus.

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics.

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

Enumeration reducibility in closure spaces with applications to logic and algebra.

Emmanuel Jeandel

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

Computability in Symbolic Dynamics.

Emmanuel Jeandel

Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016

2015

Hardness of conjugacy, embedding and factorization of multidimensional subshifts.

Emmanuel Jeandel, Pascal Vanier

J. Comput. Syst. Sci., 2015

An aperiodic set of 11 Wang tiles.

Emmanuel Jeandel, Michaël Rao

CoRR, 2015

Aperiodic Subshifts on Polycyclic Groups.

Emmanuel Jeandel

CoRR, 2015

Translation-like Actions and Aperiodic Subshifts on Groups.

Emmanuel Jeandel

CoRR, 2015

Enumeration in Closure Spaces with Applications to Algebra.

Emmanuel Jeandel

CoRR, 2015

Some Notes about Subshifts on Groups.

Emmanuel Jeandel

CoRR, 2015

Infinite Communication Complexity.

Pierre Guillon, Emmanuel Jeandel

CoRR, 2015

2014

Computability of the entropy of one-tape Turing machines.

Emmanuel Jeandel

Proceedings of the 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), 2014

2013

Turing degrees of multidimensional SFTs.

Emmanuel Jeandel, Pascal Vanier

Theor. Comput. Sci., 2013

Subshifts as models for MSO logic.

Emmanuel Jeandel, Guillaume Theyssier

Inf. Comput., 2013

Characterizations of periods of multidimensional shifts

Emmanuel Jeandel, Pascal Vanier

CoRR, 2013

Structuring multi-dimensional subshifts.

Alexis Ballier, Emmanuel Jeandel

CoRR, 2013

Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type.

Emmanuel Jeandel, Pascal Vanier

Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science, 2013

2012

Fixed Parameter Undecidability for Wang Tilesets

Emmanuel Jeandel, Nicolas Rolin

Proceedings of the Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, 2012

Hardness of conjugacy and factorization of multidimensional subshifts of finite type

Emmanuel Jeandel, Pascal Vanier

CoRR, 2012

On Immortal Configurations in Turing Machines.

Emmanuel Jeandel

Proceedings of the How the World Computes, 2012

2011

Pi01 sets and tilings

Emmanuel Jeandel, Pascal Vanier

CoRR, 2011

P⁰₁\it \Pi^0_1 Sets and Tilings.

Emmanuel Jeandel, Pascal Vanier

Proceedings of the Theory and Applications of Models of Computation, 2011

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

Emmanuel Jeandel

, 2011

2010

The periodic domino problem revisited.

Emmanuel Jeandel

Theor. Comput. Sci., 2010

Tilings Robust to Errors.

Alexis Ballier, Bruno Durand, Emmanuel Jeandel

Proceedings of the LATIN 2010: Theoretical Informatics, 2010

Slopes of Tilings.

Emmanuel Jeandel, Pascal Vanier

Proceedings of the Second Symposium on Cellular Automata "Journées Automates Cellulaires", 2010

Computing (or not) Quasi-periodicity Functions of Tilings.

Alexis Ballier, Emmanuel Jeandel

Proceedings of the Second Symposium on Cellular Automata "Journées Automates Cellulaires", 2010

Periodicity in Tilings.

Emmanuel Jeandel, Pascal Vanier

Proceedings of the Developments in Language Theory, 14th International Conference, 2010

2009

Subshifts and Logic: Back and Forth

Emmanuel Jeandel, Guillaume Theyssier

CoRR, 2009

Subshifts, Languages and Logic.

Emmanuel Jeandel, Guillaume Theyssier

Proceedings of the Developments in Language Theory, 13th International Conference, 2009

2008

Playing with Conway's problem.

Emmanuel Jeandel, Nicolas Ollinger

Theor. Comput. Sci., 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

Structural aspects of tilings.

Alexis Ballier, Bruno Durand, Emmanuel Jeandel

Proceedings of the STACS 2008, 2008

Tilings and model theory.

Alexis Ballier, Emmanuel Jeandel

Proceedings of the First Symposium on Cellular Automata "Journées Automates Cellulaires" (JAC 2008), 2008

2007

Topological Automata.

Emmanuel Jeandel

Theory Comput. Syst., 2007

2005

Decidable and Undecidable Problems about Quantum Automata.

Vincent D. Blondel, Emmanuel Jeandel, Pascal Koiran, Natacha Portier

SIAM J. Comput., 2005

Quantum automata and algebraic groups.

Harm Derksen, Emmanuel Jeandel, Pascal Koiran

J. Symb. Comput., 2005

2004

Universality in Quantum Computation.

Emmanuel Jeandel

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004