Thèmes de recherche
J’effectue ma recherche au sein de l’équipe AmacC du laboratoire GREYC (Normandie univ., UNICAEN, ENSICAEN, CNRS). Mon thème de recherche principal est la complexité des modèles de calcul simples ; en particulier le modèle des automates cellulaires. Mes travaux utilisent à la fois la vision algorithmique et la vision systèmes dynamiques.
Encadrement
-
Arthur Mittelstaedt:
Thèse de doctorat Pavages et traces : dynamique et direction. Avec Véronique Terrier. 2023 - .... -
Quentin Dauprat :
Thèse CIFRE « Structures de données et système de requêtes optimisés pour l'analyse de code». Collaboration avec l’entreprise NOVASYS Ingénierie. Co-encadrement avec Paul Dorbec. 2020 - .... -
Nicolas Bacquey :
Thèse de doctorat «Automates cellulaires : Aspects algorithmiques des configurations périodiques en toute dimension». Co-encadrement avec Étienne Grandjean et Véronique Terrier. Thèse soutenue le 4 décembre 2015.
Publications
Conférences internationales
- Quentin Dauprat, Paul Dorbec, Gaétan Richard and Jean-Pierre Rosen Enhancing Scalability of Static Code Analysis through Graph Database and Pattern Matching. In International Conference on Reliable Software Technologies (Ada-Europe). 2024.
- Laurent Beaudou, Florent Foucaud, Florent Madelaine, Lhouari Nourine et Gaétan Richard. Complexity of regular path query homomorphisms . Dans CiE 2019, p. 108 - 119 2019. [ doi ].
- Gaétan Richard. Filling curves constructed in cellular automata with aperiodic tiling . Dans Automata 2017, p. 165 - 175, 2017. [ pdf | doi ]
- Gaétan Richard. On the synchronisation problem over cellular automata. Dans Proceedings of the 34th International Symposium on Theoretical Aspects of Computer Science, v. 66 p. 54:1 - 54:13, 2017. [ pdf | doi ]
- Anaël Grandjean, Gaétan Richard et Véronique Terrier. Linear functional classes over cellular automata. Dans AUTOMATA & JAC 2012, p. 177-193, 2012. [ pdf | doi ]
- Alex Borello, Gaétan Richard et Véronique Terrier. A speed-up of oblivious multi-head finite automata by cellular automata. Dans Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science (STACS), p. 273-283, 2011. [ pdf | HAL | doi ]
- Pierre Guillon et Gaétan Richard. Revisiting the Rice theorem on cellular automata. Dans Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science (édité par Jean-Yves Marion et Thomas Schwentick), v. 5 de Leibniz International Proceedings in Informatics (LIPIcs), p. 441 - 452. Schloss Dagstuhl, 2010. [ pdf | HAL | doi ]
- Gaétan Richard. (un)decidability of injectivity and surjectivity in one-dimensional sand automata. Dans MFCS (édité par Rastislav Královic et Damian Niwinski), v. 5734 de Lecture Notes in Computer Science, p. 651 - 662. Springer, 2009. [ pdf | doi ]
- Gaétan Richard. Rule 110: universality and catenations. Dans Proceedings of the First Symposium on Cellular Automata "Journées Automates Cellulaires" (édité par Bruno Durand), p. 141 - 160. 2008. [ pdf | HAL ]
- Nicolas Ollinger et Gaétan Richard. Collisions and their catenations: Ultimately periodic tilings of the plane. Dans Fifth Ifip International Conference On Theoretical Computer Science - Tcs 2008, v. 273, p. 229 - 240. Springer Boston, 2008. [ pdf | HAL | doi ]
- Pierre Guillon et Gaétan Richard. Nilpotency and limit sets of cellular automata. Dans MFCS (édité par Edward Ochmański et Jerzy Tyszkiewicz), v. 5162 de Lecture Notes in Computer Science, p. 375 - 386. Springer, 2008. [ pdf | doi ]
Groupe de travail internationaux avec comité de relecture
- Quentin Dauprat, Paul Dorbec et Gaétan Richard. Use of graph databases for static code analysis. Dans Work-in-progress-track, International Conference on Reliable Software Technologies (Ada-Europe). 2022. [ pdf ]
- Nicolas Ollinger et Gaétan Richard. A particular cellular automaton. Dans The Complexity of Simple Programs 2008 (édité par Turlough Neary, Damien Woods, Anthony K. Seda et Niall Murphy), p. 205 - 214. 2008. [ pdf | HAL | doi ]
Posters
- Jacques Madelaine, Gaétan Richard et Gilles Domalain. ThemaMap: a Free Versatile Data Analysis and Visualization Tool. Dans ISWAG, 2015. [ pdf ]
Manuscripts
- Étienne Grandjean, Véronique Terrier, et Gaétan Richard. Automates cellulaires. Dans Informatique Mathématique : Une photographie en 2014 , EJCIM 2014. [ Lien ]
- Gaétan Richard. Systèmes de particules et collisions discrètes dans les automates cellulaires. Thèse de doctorat, Aix-Marseille université, 2008. [ pdf | TEL ]