Véronique Terrier

dblp:53/5986 · DBLP profile ↗
← Back
16ranked-venue papers
11as first author
2since 2021 · last 2026
0009-0009-7721-7500ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 16 · 11 first-author · 2 since 2021
YearPublicationVenuePosition
2026 Context-Free, Conjunctive and Boolean Grammars and SCYK Automata
Etienne Grandjean, Théo Grente, Véronique Terrier
DLT3
2024 Inductive definitions in logic versus programs of real-time cellular automata
Etienne Grandjean, Théo Grente, Véronique Terrier
Theor. Comput. Sci.3
2019 Communication complexity tools on recognizable picture languages
Véronique Terrier
Theor. Comput. Sci.1
2017 Recognition of poly-slender context-free languages by trellis automata
Véronique Terrier
Theor. Comput. Sci.1
2011 A speed-up of oblivious multi-head finite automata by cellular automata
abstract
In this paper, we present a parallel speed-up of a simple, yet significantly powerful, sequential model by cellular automata. The simulated model is called oblivious multi-head finite automata and is characterized by the fact that the trajectory of the heads only depends on the length of the input word. While the original $k$-head finite automaton works in time $O(n^k)$, its corresponding cellular automaton performs the same task in time $O(n^(k-1)log(n))$ and space $O(n^(k - 1))$.
Alex Borello, Gaétan Richard, Véronique Terrier
STACS3
2010 Simulation of one-way cellular automata by boolean circuits
Véronique Terrier
Theor. Comput. Sci.1
2006 Closure properties of cellular automata
Véronique Terrier
Theor. Comput. Sci.1
2006 Low complexity classes of multidimensional cellular automata
Véronique Terrier
Theor. Comput. Sci.1
2004 Two-dimensional cellular automata and their neighborhoods
Véronique Terrier
Theor. Comput. Sci.1
2003 Characterization of real time iterative array by alternating device
Véronique Terrier
Theor. Comput. Sci.1
2003 Two-dimensional cellular automata and deterministic on-line tessalation automata
Véronique Terrier
Theor. Comput. Sci.1
2002 Signals for Cellular Automata in Dimension 2 or Higher
Jean-Christophe Dubacq, Véronique Terrier
LATIN2
1999 Signals in One-Dimensional Cellular Automata
Jacques Mazoyer, Véronique Terrier
Theor. Comput. Sci.2
1999 Two-Dimensional Cellular Automata Recognizer
Véronique Terrier
Theor. Comput. Sci.1
1996 Language not Recognizable in Real Time by One-Way Cellular Automata
Véronique Terrier
Theor. Comput. Sci.1
1995 On Real Time One-Way Cellular Array
Véronique Terrier
Theor. Comput. Sci.1