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
-
Tree-shifts of finite type, avec Marie-Pierre Béal [pdf]
A paraître dans Theoretical Computer Science. -
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
-
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). -
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. -
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)