Domaines de recherche : dynamique symbolique, substitutions, pavages, calculabilité, systèmes dynamiques La bibliographie de ma thèse, en attendant une version plus récente.

Publications dans des revues et conférences à comité de lecture

Revues internationales

1. Tree-shifts of finite type, avec Marie-Pierre Béal [pdf]
   A paraître dans Theoretical Computer Science.
2. Simulation of effective subshifts by two-dimensional subshifts of finite type.[pdf]
   Nathalie Aubrun and Mathieu Sablik, A paraître dans Acta Applicandae Mathematicae.

Actes de conférences internationales

1. 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).
2. 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.
3. 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.

Soumissions

• Sofic tree-shifts, avec Marie-Pierre Béal [pdf]
  Soumis à Theory of Computing Systems.
• Multidimensional effective S-adic systems are sofic, avec Mathieu Sablik [pdf]
  Soumis à Ergodic Theory.

Mémoires

• 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.
  
• Stabilité de classes de sous-shifts par facteurs et sous-actions.[pdf], Mémoire de Master 2, Université de Provence (LATP).
  

En préparation

• Tree algebra of sofic tree languages, avec Marie-Pierre Béal.
  
• Tiling problems on Baumslag-Solitar groups, avec Jarkko Kari.
  

Exposés à venir

11-13/06/2012	Présentation aux Journées SDA2-2012 du GDR IM (exposé invité)
04/05/2012	Présentation au séminaire LaWiNe

Exposés réalisés

20/01/2012	[transparents] Présentation au séminaire Automates du LIAFA
19/01/2012	Présentation au groupe de travail de l'équipe Escape du LIRMM
11/01/2012	Présentation au groupe de travail de l'équipe MC2 du LIP
22/06/2011	[transparents] Soutenance de thèse au LIGM
25/01/2011	Présentation au séminaire de l'équipe DAC de l'IML
27/10/2010	[transparents] Présentation au séminaire de l'équipe ARITH du LIRMM
20/06/2010	[transparents] Présentation à CSR 2010
05/01/2010	Présentation au séminaire Algorithmique du LIGM
14/12/2009	Présentation au groupe de travail de Topologie dynamique à Orsay
10/12/2009	Présentation au Séminaire Combinatoire et Algorithmes du LITIS
30/10/2009	Présentation au séminaire Automates du LIAFA
22/10/2009	Présentation au séminaire de Probabilité et théorie ergodique du LAMFA
10/07/2009	[transparents] Présentation à ICALP'09
27/02/2009	[transparents] Présentation à STACS'09
06/11/2008	Présentation au groupe de travail Escape du LIF
17/09/2008	Présentation à JORCAD'08

Quelques liens (Projets ANR, Groupes de travail et Séminaires)

• ANR Subtile
• ANR EQINOCS
• groupe de travail Pytheas Fogg qui a lieu à Marseille
• groupe de travail ESCAPE, au LIRMM (Montpellier)
• groupe de travail ARITH, au LIRMM (Montpellier)
• séminaire Automates, au LIAFA (Paris 7)