Publications

  • Étienne Grandjean, Théo Grente, Véronique Terrier, Inductive definitions in logic versus programs of real-time cellular automata, Theorical Computer Science, 987 (2023). doi : 10.1076/j.tcs.2023.114355 Version HAL
  • Étienne Grandjean, Théo Grente, Descriptive complexity for minimal time of cellular automata , 34th Annual ACM/IEEE Symposium on Logic in Computer Science, (Vancouver, BC, Canada) (2019). doi : 10.1109/LICS.2019.8785666 Version Arxiv
  • Étienne Grandjean, Théo Grente, Conjunctive grammars, cellular automata and logic, International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021) (2021). doi : 10.4230/OASIcs.AUTOMATA.2021.8
  • Valérie Girardin, Théo Grente, Nathalie Niquil, Philippe Regnault, Analysis of ecological networks: Linear Inverse Modeling and information theory tools, Physical Sciences Forum 2023, 9, 24 (2024). doi : 10.3390/psf2023009024

Communications

Séminaires

  • Septembre 2018 Séminaire Algo, GREYC, Caen.
    « Caractérisation logique de la complexité d’un automate cellulaire ».
  • Mai 2019 Séminaire, LIFO, Orléans.
    « Un exemple de normalisation logique, le langage des mots sans bordures ».
  • Novembre 2020 Séminaire Algo, GREYC, Caen.
    « Une méthode de programmation parallèle : d’une formule logique à un programme d’automate cellulaire ».
  • Mars 2021 Séminaire, LIRMM, Montpellier (visio).
    « Une méthode de programmation parallèle : d’une formule logique à un programme d’automate cellulaire ».
  • Avril 2021 Séminaire, LORIA, Nancy (visio).
    « Une méthode de programmation parallèle : d’une formule logique à un programme d’automate cellulaire ».
  • Avril 2021 Séminaire, CIRM, Marseille (visio).
    « Une méthode de programmation parallèle : d’une formule logique à un programme d’automate cellulaire ».
  • Novembre 2021 Séminaire, LACL, Créteil.
    « Conjunctive grammars, cellular automata and logic ».
  • Décembre 2021 Séminaire, CANA, Marseille.
    « Conjunctive grammars, cellular automata and logic ».
  • Janvier 2023 Séminaire Algo, GREYC, Caen.
    « Étude des propriétés des automates cellulaires en utilisant les bases de Groebner ».
  • Novembre 2023 Séminaire Algo, GREYC, Caen.
    « samplelim : un package R pour l’échantillonage de solutions à un problème linéaire inverse ».

Présentations après soumission à un comité scientifique

  • Juillet 2019 LICS, Vancouver, Canada.
    Exposé de 25 minutes : « Descriptive complexity for minimal time of cellular automata ».
  • Juillet 2021 AUTOMATA, Marseille.
    Exposé de 35 minutes : « Conjunctive grammars, cellular automata and logic ».
  • Juillet 2023 MaxEnt2023, Munich, Allemagne.
    Exposé de 30 minutes : « Analysis of ecological networks: Linear Inverse Modeling and information theory tools ».

Communications sur invitation

  • Juillet 2018 Workshop, Groupe de travail SDA2, Saint-Étienne.
    Exposé de 30 minutes : « Le produit d’entiers en logique et sur automate cellulaire ».
  • Mars 2019 École jeunes chercheurs, GDR-IM, Marseille.
    Exposé de 20 minutes : « Caractérisation logique de la complexité d’un automate cellulaire ».
  • Mai 2019 Journée de l’axe « Algorithmique et Combinatoire », Fédération NormaSTIC, Caen.
    Exposé de 30 minutes : « Un exemple de normalisation logique, le langage des mots sans bordures ».
  • Juin 2019 Journées des Doctorants, École doctorale PSIME et MIIS, Rouen.
    Exposé de 10 minutes : « Les automates cellulaires : un mécanisme simple au comportement complexe ».
  • Janvier 2020 Journée du laboratoire GREYC, Caen.
    Exposé de 10 minutes : « Établir des liens entre complexité descriptive et complexité algorithmique ».
  • Novembre 2022 Journées du groupe de travail Entropie, Mots, Stat, Caen.
    Exposé de 45 minutes : « Grammaires conjonctives, automates cellulaires et logique ».

Posters