Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

9 résultats
Image document

Determining Sets of Quasiperiods of Infinite Words

Guilhem Gamard , Gwenaël Richomme
MFCS: Mathematical Foundations of Computer Science, Aug 2016, Cracovie, Poland. pp.40:1-40:13, ⟨10.4230/LIPIcs.MFCS.2016.40⟩
Communication dans un congrès lirmm-01369373v1
Image document

Coverability and multi-scale coverability on infinite pictures

Guilhem Gamard , Gwenaël Richomme
Journal of Computer and System Sciences, 2019, 104, pp.258-277. ⟨10.1016/j.jcss.2017.05.001⟩
Article dans une revue lirmm-01176543v1

Avoidability of circular formulas

Guilhem Gamard , Pascal Ochem , Gwenaël Richomme , Patrice Séébold
Theoretical Computer Science, 2018, 726, pp.1-4. ⟨10.1016/j.tcs.2017.11.014⟩
Article dans une revue lirmm-01692716v1
Image document

Coverability in Two Dimensions

Guilhem Gamard , Gwenaël Richomme
9th International Conference on Language and Automata Theory and Applications (LATA), Mar 2015, Nice, France. pp.402-413, ⟨10.1007/978-3-319-15579-1_31⟩
Communication dans un congrès lirmm-01180026v1
Image document

Aperiodic Tilings and Entropy

Bruno Durand , Guilhem Gamard , Anaël Grandjean
DLT: Developments in Language Theory, Aug 2014, Ekaterinburg, Russia. pp.166-177, ⟨10.1007/978-3-319-09698-8_15⟩
Communication dans un congrès lirmm-01480693v1

Periodicity in rectangular arrays

Guilhem Gamard , Gwenaël Richomme , Jeffrey Shallit , Taylor J. Smith
Information Processing Letters, 2017, 118, pp.58-63. ⟨10.1016/j.ipl.2016.09.011⟩
Article dans une revue lirmm-01378894v1

Aperiodic tilings and entropy

Bruno Durand , Guilhem Gamard , Anaël Grandjean
Theoretical Computer Science, 2017, 666, pp.36-47. ⟨10.1016/j.tcs.2016.12.013⟩
Article dans une revue lirmm-01480619v1
Image document

Hardness of monadic second-order formulae over succinct graphs

Guilhem Gamard , Pierre Guillon , Kévin Perrot , Guillaume Theyssier
2023
Pré-publication, Document de travail hal-03978957v1
Image document

Couverture d'un mot bidimensionnel par un motif chevauchant

Guilhem Gamard
Théorie et langage formel [cs.FL]. Université Montpellier, 2017. Français. ⟨NNT : 2017MONTS027⟩
Thèse tel-01916701v1