Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

21 résultats
Image document

Dynamique symbolique sur des groupes : une approche informatique

Nathalie Aubrun
Mathématique discrète [cs.DM]. Université Paris-Saclay, 2021
HDR tel-03425613v1
Image document

Addendum to "Tilings problems on Baumslag-Solitar groups

Nathalie Aubrun , Jarkko Kari
2021
Pré-publication, Document de travail hal-03126862v1
Image document

Tilings of the hyperbolic plane of substitutive origin as subshifts of finite type on Baumslag-Solitar groups BS(1, n)

Nathalie Aubrun , Michael Schraudner
2020
Pré-publication, Document de travail hal-03047740v1
Image document

Domino Problem Under Horizontal Constraints

Nathalie Aubrun , Mathieu Sablik , Julien Esnay
STACS 2020 37th International Symposium on Theoretical Aspects of Computer Science, 2020, Montpellier, France. ⟨10.4230/LIPIcs.STACS.2020.26⟩
Communication dans un congrès hal-02380657v1

Multidimensional effective S-adic subshift are sofic

Mathieu Sablik , Nathalie Aubrun
Uniform Distribution Theory, 2014, 9 (2)
Article dans une revue hal-01298865v1

On the domino problem of the Baumslag-Solitar groups

Nathalie Aubrun , Jarkko Kari
Theoretical Computer Science, 2021, ⟨10.1016/j.tcs.2021.09.002⟩
Article dans une revue hal-03337518v1
Image document

Simulation of Effective Subshifts by Two-dimensional Subshifts of Finite Type

Nathalie Aubrun , Mathieu Sablik
Acta Applicandae Mathematicae, 2013, ⟨10.1007/s10440-013-9808-5⟩
Article dans une revue hal-01275179v1

Domino Snake Problems on Groups

Nathalie Aubrun , Nicolas Bitar
Fundamentals of Computation Theory, Sep 2023, Trier, Germany. pp.46-59, ⟨10.1007/978-3-031-43587-4_4⟩
Communication dans un congrès hal-04284389v1
Image document

About the Domino Problem for Subshifts on Groups

Nathalie Aubrun , Sebastián Barbieri , Emmanuel Jeandel
Valérie Berthé; M Rigo. Sequences, Groups, and Number Theory, Birkhäuser, Cham, pp.331-389, 2018, Trends in Mathematics, 978-3-319-69151-0. ⟨10.1007/978-3-319-69152-7_9⟩
Chapitre d'ouvrage hal-01989760v1
Image document

The domino problem is undecidable on surface groups

Nathalie Aubrun , Sebastián Barbieri , Etienne Moutot
MFCS2019 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany
Communication dans un congrès hal-02157971v1
Image document

Sofic and Almost of Finite Type Tree-Shifts

Nathalie Aubrun , Marie-Pierre Béal
5th International Computer Science Symposium in Russia (CSR'10), 2010, Russia. pp.12-24
Communication dans un congrès hal-00620400v1

Decidability of conjugacy of tree shifts of finite type

Nathalie Aubrun , Marie-Pierre Béal
36th International Colloquium on Automata, Languages and Programming (ICALP'09), Jul 2009, United States. pp.132-143
Communication dans un congrès hal-00620305v1
Image document

Sofic Tree-Shifts

Nathalie Aubrun , Marie-Pierre Béal
Theory of Computing Systems, 2013, 53 (4), pp.621-644. ⟨10.1007/s00224-013-9456-1⟩
Article dans une revue istex hal-00627797v2

Strongly aperiodic SFTs on generalized Baumslag–Solitar groups

Nathalie Aubrun , Nicolás Bitar , Sacha Huriot-Tattegrain
Ergodic Theory and Dynamical Systems, 2023, pp.1-30. ⟨10.1017/etds.2023.44⟩
Article dans une revue hal-04284393v1
Image document

A notion of effectiveness for subshifts on finitely generated groups

Nathalie Aubrun , Sebastián Barbieri , Mathieu Sablik
Theoretical Computer Science, 2017, 661, pp.35-55. ⟨10.1016/j.tcs.2016.11.033⟩
Article dans une revue hal-01970761v1
Image document

Realization of aperiodic subshifts and uniform densities in groups

Nathalie Aubrun , Sebastián Barbieri , Stéphan Thomassé
Groups, Geometry, and Dynamics, 2019, 13 (1), pp.107-129
Article dans une revue hal-01989763v1
Image document

Tree-shifts of finite type

Nathalie Aubrun , Marie-Pierre Béal
Theoretical Computer Science, 2012, 459, pp.16-25. ⟨10.1016/j.tcs.2012.07.020⟩
Article dans une revue hal-00627800v1
Image document

An Order on Sets of Tilings Corresponding to an Order on Languages

Nathalie Aubrun , Mathieu Sablik
26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.99-110
Communication dans un congrès inria-00359625v1
Image document

Tree algebra of sofic tree languages

Nathalie Aubrun , Marie-Pierre Béal
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2014, 48 (4), pp.431-451
Article dans une revue hal-01789916v1

Pavages et automates cellulaires

Nathalie Aubrun , Guillaume Theyssier
Informatique Mathématique, Une photographie en 2017, 2017
Chapitre d'ouvrage hal-01989775v1
Image document

Strongly Aperiodic SFTs on Generalized Baumslag-Solitar groups

Nathalie Aubrun , Nicolás Bitar , Sacha Huriot-Tattegrain
2022
Pré-publication, Document de travail hal-03649781v1