Descriptive complexity for minimal time of cellular automata. - Etienne Grandjean; Théo Grente (LICS, 2019)

Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires. (Characterisation and programming in language theory and in logic of effective complexity classes of cellular automatons). - Théo Grente (2020)

Conjunctive Grammars, Cellular Automata and Logic. - Théo Grente; Etienne Grandjean (AUTOMATA, 2021)

Inductive definitions in logic versus programs of real-time cellular automata. - Etienne Grandjean; Théo Grente; Véronique Terrier (Theor. Comput. Sci., 2024)