VLDB 2026 Research / reviewers in the wild / expert
Véronique Terrier
dblp:53/5986
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Context-Free, Conjunctive and Boolean Grammars and SCYK Automata
Etienne Grandjean, Théo Grente, Véronique Terrier |
DLT | 3 |
| 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 automataabstractIn 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 |
STACS | 3 |
| 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 |
LATIN | 2 |
| 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 |