Skip to Main content
Number of documents

19

CV Véronique Terrier


Journal articles6 documents

  • Véronique Terrier. Communication complexity tools on recognizable picture languages. Theoretical Computer Science, Elsevier, 2019, ⟨10.1016/j.tcs.2019.05.040⟩. ⟨hal-02151118⟩
  • Véronique Terrier. Recognition of poly-slender context-free languages by trellis automata. Theoretical Computer Science, Elsevier, 2017, 692, pp.1-24. ⟨10.1016/j.tcs.2017.05.041⟩. ⟨hal-01578304⟩
  • Véronique Terrier. Simulation of one-way cellular automata by boolean circuits. Theoretical Computer Science, Elsevier, 2009, p.266--276. ⟨10.1016/j.tcs.2009.10.005⟩. ⟨hal-01083653⟩
  • Véronique Terrier. Simulation of one-way cellular automata by boolean circuits. Fractals, World Scientific Publishing, 2007. ⟨hal-00238445⟩
  • Véronique Terrier. Closure properties of cellular automata. Theoretical Computer Science, Elsevier, 2006, pp.97-107. ⟨hal-00202622⟩
  • Véronique Terrier. Low complexity classes of multidimensional cellular automata. Theoretical Computer Science, Elsevier, 2006, 369 (1-3), pp.142-156. ⟨hal-00238437⟩

Conference papers8 documents

  • Véronique Terrier. Some Computational Limits of Trellis Automata. 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⟩. ⟨hal-01578301⟩
  • Véronique Terrier. Recognition of Linear-Slender Context-Free Languages by Real Time One-Way Cellular Automata. 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⟩. ⟨hal-01442477⟩
  • Véronique Terrier. Recognition of linear-slender context-free languages by real time one-way cellular automata. AUTOMATA 2015, Jun 2015, Turku, Finland. pp.251-262. ⟨hal-01149358⟩
  • Véronique Terrier. Linear acceleration for one-dimensional cellular automata. 19th International Workshop on Cellular Automata and Discrete Complex Systems, Sep 2013, Giessen, Germany. ⟨hal-01086617⟩
  • Anael Grandjean, Gaétan Richard, Véronique Terrier. Linear functional classes over cellular automata. 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⟩. ⟨hal-01085911⟩
  • Alex Borello, Gaétan Richard, Véronique Terrier. A speed-up of oblivious multi-head finite automata by cellular automata. Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.273-283. ⟨hal-00573599⟩
  • Véronique Terrier. Two-dimensional cellular automata recognizer equipped with a path. JAC 2008, Apr 2008, Uzès, France. pp.174-181. ⟨hal-00273998⟩
  • Jean-Christophe Dubacq, Véronique Terrier. Signals for Cellular Automata in dimension 2 or higher. Latin 2002: Theoretical Informatics, 2002, Cancun, Mexico. pp.451-464. ⟨hal-00003469⟩

Book sections2 documents

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

Preprints, Working Papers, ...1 document

  • Etienne Grandjean, Théo Grente, Véronique Terrier. Inductive definitions in logic versus programs of real-time cellular automata. 2020. ⟨hal-02474520⟩

Reports1 document

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

Habilitation à diriger des recherches1 document

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