Institut Gaspard Monge
Page web de Nathalie Aubrun
CNRS Université de Marne-la-Vallée
Recherche
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/2010Présentation au séminaire Algorithmique du LIGM
14/12/2009Présentation au groupe de travail de Topologie dynamique à Orsay
10/12/2009Présentation au Séminaire Combinatoire et Algorithmes du LITIS
30/10/2009Présentation au séminaire Automates du LIAFA
22/10/2009Pré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/2008Pré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)