Decidabilite en arithmetiques faibles temps reel sur automates cellulaires. - Véronique Terrier (1991)

Real Time Recognition with Cellular Automata: A Meaningful Example. - Véronique Terrier (RAIRO Theor. Informatics Appl., 1993)

Language Recognizable in Real Time by Cellular Automata. - Véronique Terrier (Complex Syst., 1994)

On Real Time One-Way Cellular Array. - Véronique Terrier (Theor. Comput. Sci., 1995)

Language not Recognizable in Real Time by One-Way Cellular Automata. - Véronique Terrier (Theor. Comput. Sci., 1996)

Signals in One-Dimensional Cellular Automata. - Jacques Mazoyer; Véronique Terrier (Theor. Comput. Sci., 1999)

Two-Dimensional Cellular Automata Recognizer. - Véronique Terrier (Theor. Comput. Sci., 1999)

Signals for Cellular Automata in Dimension 2 or Higher. - Jean-Christophe Dubacq; Véronique Terrier (LATIN, 2002)

Characterization of real time iterative array by alternating device. - Véronique Terrier (Theor. Comput. Sci., 2003)

Two-dimensional cellular automata and deterministic on-line tessalation automata. - Véronique Terrier (Theor. Comput. Sci., 2003)

Two-dimensional cellular automata and their neighborhoods. - Véronique Terrier (Theor. Comput. Sci., 2004)

Closure properties of cellular automata. - Véronique Terrier (Theor. Comput. Sci., 2006)

Low complexity classes of multidimensional cellular automata. - Véronique Terrier (Theor. Comput. Sci., 2006)

Two-dimensional cellular automata recognizer equipped with a path. - Véronique Terrier (JAC, 2008)

Simulation of one-way cellular automata by boolean circuits. - Véronique Terrier (Theor. Comput. Sci., 2010)

Reconnaissance de langages par automates cellulaires. - Véronique Terrier (2011)

A speed-up of oblivious multi-head finite automata by cellular automata. - Alex Borello; Gaétan Richard; Véronique Terrier (STACS, 2011)

Linear functional classes over cellular automata - Anaël Grandjean; Gaétan Richard; Véronique Terrier (AUTOMATA & JAC, 2012)

Language Recognition by Cellular Automata. - Véronique Terrier (Handbook of Natural Computing, 2012)

Recognition of Linear-Slender Context-Free Languages by Real Time One-Way Cellular Automata. - Véronique Terrier (Automata, 2015)

Some Computational Limits of Trellis Automata. - Véronique Terrier (AUTOMATA, 2017)

Recognition of poly-slender context-free languages by trellis automata. - Véronique Terrier (Theor. Comput. Sci., 2017)

Communication complexity tools on recognizable picture languages. - Véronique Terrier (Theor. Comput. Sci., 2019)

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