Skip to Main content Skip to Navigation
New interface

hal-01178250v2  Journal articles
Nicolas Bacquey. Leader election on two-dimensional periodic cellular automata
Theoretical Computer Science, Elsevier, 2017, 659, pp.36-52. ⟨10.1016/j.tcs.2016.10.021⟩
inria-00455736v1  Conference papers
Pierre GuillonGaétan Richard. Revisiting the Rice Theorem of Cellular Automata
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.441-452
hal-01083653v1  Journal articles
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-00786148v1  Journal articles
Etienne GrandjeanFrédéric Olive. A logical approach to locality in pictures languages
Journal of Computer and System Sciences, Elsevier, 2016, 82 (06), pp.959 -1006. ⟨10.1016/j.jcss.2016.01.005⟩
hal-01578448v1  Conference papers
Gaétan Richard. On the Synchronisation Problem over Cellular Automata
34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, Mar 2017, Hannover, Germany. ⟨10.4230/LIPIcs.STACS.2017.54⟩
tel-01070916v1  Habilitation à diriger des recherches
Véronique Terrier. Reconnaissance de langages par automates cellulaires
Calcul parallèle, distribué et partagé [cs.DC]. Université de Caen, 2011
hal-00469841v2  Journal articles
Nicolas OllingerGaétan Richard. Four states are enough!
Theoretical Computer Science, Elsevier, 2011, 412 (1-2), pp.22-32. ⟨10.1016/j.tcs.2010.08.018⟩
hal-00779971v1  Conference papers
Etienne GrandjeanFrédéric Olive. Descriptive complexity for pictures languages
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, Sep 2012, Fontainebleau, France. pp.1-15
hal-00957117v1  Conference papers
Nicolas Bacquey. The packing problem : A divide and conquer algorithm on cellular automata
Automata & JAC 2012, Sep 2012, Cargese, France. pp.1-10
hal-01494246v2  Conference papers
Nicolas BacqueyEtienne GrandjeanFrédéric Olive. Definability by Horn formulas and linear time on cellular automata
ICALP 2017 - 44th International Colloquium on Automata, Languages and Programming, Jul 2017, Warsaw, Poland. pp.1-14, ⟨10.4230/LIPIcs.ICALP.2017.99⟩