Laboratoire Interdisciplinaire des Sciences du Numérique

Publications

Chapitres de livres :

1. About the Domino Problem for Subshifts on Groups. Nathalie Aubrun, Sebastián Barbieri and Emmanuel Jeandel, in Valérie Berthé and Michel Rigo, editors, Sequences, Groups, and Number Theory., chapter 9, Springer International Publishing, p.331-389, 2018. DOI 10.1007/978-3-319-69152-7_9
2. Pavages et automates cellulaires. Nathalie Aubrun and Guillaume Theyssier in Bruno Salvy, editor, Informatique Mathématique, Une photographie en 2017., chapter 1, pages 1-28, CNRS Editions Alpha, 2017.

Journaux internationaux :

1. On the domino problem of the Baumslag-Solitar groups [journal] Nathalie Aubrun and Jarkko Kari, Theoretical Computer Science, Available online 8 September 2021. DOI 10.1016/j.tcs.2021.09.002
2. Realization of aperiodic subshifts and uniform densities in groups [pdf][journal] Nathalie Aubrun, Sebastián Barbieri and Stéphan Thomassé, Groups, Geometry and Dynamics, Volume 13, Issue 1, p.107-129, 2019. DOI 10.4171/GGD/487
3. A notion of effectiveness for subshifts on finitely generated groups [pdf][journal] Nathalie Aubrun, Sebastián Barbieri and Mathieu Sablik, Theoretical Computer Science, Volume 661, p.35-55, 2017. DOI 10.1016/j.tcs.2016.11.033
4. Tree algebra of sofic tree languages [pdf] Nathalie Aubrun and Marie-Pierre Béal, RAIRO - Theoretical Informatics and Applications, Volume 48, number 4, p.431-451, 2014.
5. Multidimensional effective S-adic systems are sofic [pdf] Nathalie Aubrun and Mathieu Sablik, To appear in Uniform Distribution Theory, Volume 9, issue 2, 2014.
6. Sofic tree-shifts [pdf][journal] Nathalie Aubrun and Marie-Pierre Béal, Theory of Computing Systems, Volume 53, issue 4, p.621-644, 2013.
7. Simulation of effective subshifts by two-dimensional subshifts of finite type [pdf][journal] Nathalie Aubrun and Mathieu Sablik, Acta Applicandae Mathematicae, Volume 128, issue 1, p.35-63, 2013.
8. Tree-shifts of finite type [pdf][journal] Nathalie Aubrun and Marie-Pierre Béal, Theoretical Computer Science, Volume 459, p.16-25, 2012.

Conférences internationales :

1. Domino Problem Under Horizontal Constraints [pdf] Nathalie Aubrun, Solène J. Esnay and Mathieu Sablik in Proceedings of 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020), 2020. DOI 10.4230/LIPIcs.STACS.2020.26
2. The Domino Problem is Undecidable on Surface Groups [pdf] Nathalie Aubrun, Sebastián Barbieri and Etienne Moutot in Proceedings of 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), 2019. DOI 10.4230/LIPIcs.MFCS.2019.46
3. Tiling problems on Baumslag-Solitar groups [pdf]+[Addendum] (2021) Nathalie Aubrun and Jarkko Kari in Proceedings of Machines, Computations and Universality 2013 (MCU 2013), 2013. p.35-46.
4. Sofic and almost of finite type tree-shifts [pdf] Nathalie Aubrun and Marie-Pierre Béal in Proceedings of Computer Science in Russia (CSR 2010).
5. Decidability of conjugacy of tree shifts of finite type [pdf] Nathalie Aubrun and Marie-Pierre Béal in Proceedings of 36th International Colloquium on Automata, Languages and Programming (ICALP 2009), 2009. p.132-143.
6. An Order on Sets of Tilings Corresponding to an Order on Languages [pdf] Nathalie Aubrun and Mathieu Sablik in Proceedings of 26th International Symposium on Theorical Aspects of Computer Science (STACS 2009), 2009. p. 99-110.

Pré-publications :

1. Nathalie Aubrun, Manon Blanc, and Olivier Bournez. The domino problem is decidable for robust tilesets. preprint
2. Nathalie Aubrun and Nicolás Bitar. Computability of Domino Snake Problems on Finitely Generated Groups. submitted to Journal of Computer and System Sciences.
3. Nathalie Aubrun and Nicolás Bitar. Self-Avoiding Walks on Cayley Graphs Through the Lens of Symbolic Dynamics. preprint
4. Nathalie Aubrun and Mathieu Sablik. Row-constrained effective sets of colourings in the 2-fold horocyclic tessellations of H2 are sofic. preprint

Mémoires :

1. Dynamique symbolique sur des groupes : une approche informatique pdf, Habilitation à diriger les recherches de l'Université Paris-Saclay, soutenue en visioconférence le 21 avril 2021.
2. Dynamique symbolique des systèmes 2D et des arbres infinis [pdf], Thèse de doctorat de l'Université Paris-Est, soutenue au LIGM le 22 juin 2011.
3. Stabilité de classes de sous-shifts par facteurs et sous-actions [pdf], Mémoire de Master 2, Université de Provence (LATP), juin 2008.