2D cellular automata: dynamics and undecidability
A Characterization of Bispecial Sturmian Words
A Classification of Trapezoidal Words
A collective of stateless automata in a $n$-dimensional environment as a distributed dynamic automaton-like object: a model and its corollaries
A decidable characterization of locally testable tree languages
A Decidable Extension of Data Automata
A Decision Problem for Ultimately Periodic Sets in Non-standard Numeration Systems
A family of weakly universal cellular automata in the hyperbolic plane with two states
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
A measure of state transition of collective of stateless automata in discrete environment
A new approach to cross-bifix-free sets
A new proof for the decidability of D0L ultimate periodicity
A new universal cellular automaton on the ternary heptagrid
A new weakly universal cellular automaton in the 3D hyperbolic space with two states
A note on decidability of cellularity
A Note on Ordinal DFAs
A note on syndeticity, recognizable sets and Cobham's theorem
A Perfect Model for Bounded Verification
A proof Procedure for Testing Membership in Regular Expressions
A Regularity Measure for Context Free Grammars