Emmanuel Jeandel

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 25

Top Topics

Algebraic Structure

Quantum Mechanics

Diagrammatic Reasoning

Top Venues

Log. Methods Comput. Sci.

Publications

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