Recent or submitted publications

Etienne Grandjean and Louis Jachiet:
Which arithmetic operations can be performed in constant time in the RAM model with addition?
CoRR abs/2206.13851 (2022).

Théo Grente and Etienne Grandjean:
Conjunctive grammars, cellular automata and logic.
AUTOMATA 2021:8:1-8:19.

Etienne Grandjean, Théo Grente and Véronique Terrier:
Inductive definitions in logic versus programs of real-time cellular automata.
hal-02474520v1 (2020).
Accepted under minor corrections by Theoretical Computer Science.

Etienne Grandjean and Théo Grente:
Descriptive complexity for minimal time of cellular automata.
LICS 2019: 1-13.

Nicolas Bacquey, Etienne Grandjean and Frédéric Olive:
Definability by Horn formulas and linear time on cellular automata.
ICALP 2017: 99:1-99:14.

Etienne Grandjean, Frédéric Olive:
A logical approach to locality in pictures languages.
J. Comput. Syst. Sci. 82(6): 959-1006 (2016)

PhD students

Contact


  • etienne.grandjean@unicaen.fr
  • +33(0)2 31 56 73 32
  • Université de Caen, UFR Sciences, Boulevard Maréchal juin, 14032 Caen cedex - France, Room S3-353

© 2017 Etienne Grandjean. All rights reserved. Powered by the Academic theme for Hugo.