Véronique Terrier

Publications

Article dans une revue (7)

Inductive definitions in logic versus programs of real-time cellular automata Etienne Grandjean,Théo Grente,Véronique Terrier Theoretical Computer Science, 2024, 987, pp.1-69 Article dans une revue (article de synthèse) hal-02474520v1
Communication complexity tools on recognizable picture languages Véronique Terrier Theoretical Computer Science, 2019, ⟨10.1016/j.tcs.2019.05.040⟩ Article dans une revue hal-02151118v1
Recognition of poly-slender context-free languages by trellis automata Véronique Terrier Theoretical Computer Science, 2017, 692, pp.1-24. ⟨10.1016/j.tcs.2017.05.041⟩ Article dans une revue hal-01578304v1
Simulation of one-way cellular automata by boolean circuits Véronique Terrier Theoretical Computer Science, 2009, p.266--276. ⟨10.1016/j.tcs.2009.10.005⟩ Article dans une revue hal-01083653v1
Simulation of one-way cellular automata by boolean circuits Véronique Terrier Fractals, 2007 Article dans une revue hal-00238445v1
Closure properties of cellular automata Véronique Terrier Theoretical Computer Science, 2006, pp.97-107 Article dans une revue hal-00202622v1
Low complexity classes of multidimensional cellular automata Véronique Terrier Theoretical Computer Science, 2006, 369 (1-3), pp.142-156 Article dans une revue hal-00238437v1

Communication dans un congrès (8)

Some Computational Limits of Trellis Automata Véronique Terrier 23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.176-186, ⟨10.1007/978-3-319-58631-1_14⟩ Communication dans un congrès hal-01578301v1
Recognition of linear-slender context-free languages by real time one-way cellular automata Véronique Terrier AUTOMATA 2015, Jun 2015, Turku, Finland. pp.251-262 Communication dans un congrès hal-01149358v1
Recognition of Linear-Slender Context-Free Languages by Real Time One-Way Cellular Automata Véronique Terrier 21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.251-262, ⟨10.1007/978-3-662-47221-7_19⟩ Communication dans un congrès hal-01442477v1
Linear acceleration for one-dimensional cellular automata Véronique Terrier 19th International Workshop on Cellular Automata and Discrete Complex Systems, Sep 2013, Giessen, Germany Communication dans un congrès hal-01086617v1
Linear functional classes over cellular automata Anael Grandjean,Gaétan Richard,Véronique Terrier 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, Sep 2012, Bastia, France. pp.177-193, ⟨10.4204/EPTCS.90.15⟩ Communication dans un congrès hal-01085911v1
A speed-up of oblivious multi-head finite automata by cellular automata Alex Borello,Gaétan Richard,Véronique Terrier Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.273-283 Communication dans un congrès hal-00573599v1
Two-dimensional cellular automata recognizer equipped with a path Véronique Terrier JAC 2008, Apr 2008, Uzès, France. pp.174-181 Communication dans un congrès hal-00273998v1
Signals for Cellular Automata in dimension 2 or higher Jean-Christophe Dubacq,Véronique Terrier Latin 2002: Theoretical Informatics, 2002, Cancun, Mexico. pp.451-464 Communication dans un congrès hal-00003469v1

Chapitre d'ouvrage (2)

Automates cellulaires Etienne Grandjean,Véronique Terrier,Gaétan Richard Informatique Mathématique: Une photographie en 2014, 2014, 9782354122287 Chapitre d'ouvrage hal-01087506v1
Language Recognition by Cellular Automata Véronique Terrier Handbook of Natural Computing, Springer Berlin Heidelberg, 2012, 978-3-540-92909-3. ⟨10.1007/978-3-540-92910-9_4⟩ Chapitre d'ouvrage hal-01086432v1

Pré-publication, Document de travail (1)

Context-free, conjunctive and Boolean grammars and SCYK automata Etienne Grandjean,Théo Grente,Véronique Terrier 2026 Pré-publication, Document de travail hal-05515228v1

Rapport (1)

Signals in one dimensional cellular automata. Jacques Mazoyer,Véronique Terrier [Research Report] LIP RR-1994-50, Laboratoire de l'informatique du parallélisme. 1994, 2+33p Rapport (rapport de recherche) hal-02101868v1

HDR (1)

Reconnaissance de langages par automates cellulaires Véronique Terrier Calcul parallèle, distribué et partagé [cs.DC]. Université de Caen, 2011 HDR tel-01070916v1