Aperiodic monotiles: from geometry to groups.
CoRR, 2024
Pre-expansivity in cellular automata.
Theor. Comput. Sci., 2020
Nontrivial Turmites are Turing-universal.
J. Cell. Autom., 2018
Some undecidable problems about the trace-subshift associated to a Turing machine.
Discret. Math. Theor. Comput. Sci., 2015
The Transitivity Problem of Turing Machines.
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015
Universal Time-Symmetric Number-Conserving Cellular Automaton.
Proceedings of the Cellular Automata and Discrete Complex Systems, 2015
Discrete mathematical structures: From dynamics to complexity.
Theor. Comput. Sci., 2013
On time-symmetry in cellular automata.
J. Comput. Syst. Sci., 2012
Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine.
Proceedings of the Reversible Computation, 4th International Workshop, 2012
Time-symmetric Cellular Automata.
Proceedings of the Second Symposium on Cellular Automata "Journées Automates Cellulaires", 2010
Zigzags in Turing Machines.
Proceedings of the Computer Science, 2010
On the complexity of feedback set problems in signed digraphs.
Electron. Notes Discret. Math., 2008
Proceedings of the First Symposium on Cellular Automata "Journées Automates Cellulaires" (JAC 2008), 2008
One Head Machines from a symbolic approach.
Theor. Comput. Sci., 2007
Crossing information in two-dimensional Sandpiles.
Theor. Comput. Sci., 2006
Dynamics of a class of ants on a one-dimensional lattice.
Theor. Comput. Sci., 2004
A Measure of Similarity between Graph Vertices: Applications to Synonym Extraction and Web Searching.
SIAM Rev., 2004
A measure of similarity between graph vertices
CoRR, 2004
A symbolic projection of Langton's Ant.
Proceedings of the Discrete Models for Complex Systems, 2003
Complexity of Langton's ant.
Discret. Appl. Math., 2002
Universal Cellular Automaton over a Hexagonal Tiling With 3 States.
Int. J. Algebra Comput., 2001
Dynamical behavior and complexity of Langton's ant.
Complex., 2001
Generalized Langton's Ant: Dynamical Behavior and Complexity.
Proceedings of the STACS 2001, 2001