Alexis Ballier alexis.ballier@{lif.univ-mrs.fr,ens-lyon.org} Last update: %%mtime(%A %B %d, %Y) %! encoding: utf-8 %! options: --toc %! options(xhtml): --css-suggar %! options(html): --css-suggar %! Style : modern.css %!postproc(xhtml): {{(.*?)}} <\1> %!postproc(html): {{(.*?)}} <\1> %!postproc(html): {f{(.*?)}b} %!postproc(xhtml): {f{(.*?)}b} "" = Who am I? = En [post-doctorat http://www.cmm.uchile.cl/index.php?option=miembros&parent=miembros&lang=es&t=3&m=399] [FONDECYT http://www.fondecyt.cl/] (3110088) depuis septembre 2010 au [CMM http://www.cmm.uchile.cl/], [Universidad de Chile http://www.uchile.cl/], Santiago, Chili. = Publications = - A. Ballier, B. Durand, and E. Jeandel. Structural aspects of tilings. //25th International Symposium on Theoretical Aspects of Computer Science (STACS).//, 2008. [bib bib/stacs08.bib], [preprint articles/tilings.pdf], [final http://drops.dagstuhl.de/opus/volltexte/2008/1334/pdf/22011.BallierAlexis.Paper.1334.pdf] [version http://hal.archives-ouvertes.fr/docs/00/25/57/87/PDF/Ballier.pdf] % - {f{tilings}b} - A. Ballier and E. Jeandel. Tilings and model theory. //First Symposium on Cellular Automata Journées Automates Cellulaires.//, 2008. [bib bib/jac08.bib], [preprint articles/modth.pdf], [final version http://www.lif.univ-mrs.fr/jac/actes/29-39.pdf] % - {f{modth}b} - A. Ballier, B. Durand, and E. Jeandel. Tilings robust to errors. //9th Latin American Theoretical Informatics Symposium (LATIN)//, 2010. [bib bib/latin10.bib], [preprint articles/robust.pdf] % - {f{robust}b} - A. Ballier and E. Jeandel. Computing (or not) quasi-periodicity functions of tilings. //Second symposium on Cellular Automata (JAC)//, 2010. [bib bib/jac10.bib], [preprint articles/qpfunc.pdf], [final version http://hal.archives-ouvertes.fr/docs/00/54/24/98/PDF/qpfunc.pdf] % - {f{qpfunc}b} - A. Ballier, P. Guillon and J. Kari. Limit Sets of Stable and Unstable Cellular Automata. //Fundamenta Informaticae, volume 110, 2011// [preprint articles/stablevsunstable.pdf] ([colored articles/stablevsunstable_color.pdf]) % - {f{stablevsunstable}b} = Thèse = - Alexis Ballier, encadré par [Bruno Durand http://www.lif.univ-mrs.fr/~bdurand/] et [Emmanuel Jeandel http://www.lif.univ-mrs.fr/~ejeandel/]. Propriétés structurelles, combinatoires et logiques des pavages. Soutenue le 30 novembre 2009. [résumé these/resume.pdf], [pdf these/these.pdf] = Enseignement = - 2009-2010: - TD et TP [Initiation à l'informatique (L1, PEI) http://www.cmi.univ-mrs.fr/~fdenis/initInfo/index.html] - TP [Fondements de l'informatique (L2, MI) http://www.lif.univ-mrs.fr/~capponi] - 2008-2009: - TP [Calculabilité (L2) http://www.lif.univ-mrs.fr/~lafitte/spip.php?article10] - [TP1: Machines de Turing et fonctions récursives primitives ens/calculabilite_l2/2009/tp1.pdf] ainsi que le [programme ens/calculabilite_l2/turingsim.tar.gz] servant à simuler des machines de Turing - [TP2: Machines de Turing et fonctions récursives primitives, bis ens/calculabilite_l2/2009/tp2.pdf] - TPs et TDs de [Systèmes d'exploitation (L3) http://www.lif.univ-mrs.fr/~nollinge/ens/sys/] - [Introduction à OS/161 ens/sys09/os161.1.xhtml] - [OS/161: Synchronisation de threads ens/sys09/os161.2.xhtml] - [OS/161: Appels système et processus ens/sys09/os161.3.xhtml] - TP [Outils de l'internet (M1) http://www.lif.univ-mrs.fr/~vpoupet/enseignement/internet08.php] - [TP1 ens/outils_internet_2009/TP1.html] (mercurial, python, sockets, HTTP). La [correction ens/outils_internet/correction_tp1/correction_TP1.php] - [TP2 ens/outils_internet_2009/TP2.html] (civet, apache, CGI et modules) - [TP3 ens/outils_internet_2009/TP3.html] (Sessions, SQL et langages dynamiques) - [TP4 ens/outils_internet_2009/TP4.html] (WSGI, SimpleTAL et OpenLDAP) - [Le projet ens/outils_internet_2009/projet.html] (Un framework web en python) - 2007-2008: - TP [Outils de l'internet (M1) http://www.lif.univ-mrs.fr/~vpoupet/enseignement/internet07.php] - [TP1 ens/outils_internet/TP1.html] (svn, python, sockets, HTTP). La [correction ens/outils_internet/correction_tp1/correction_TP1.php] - [TP2 ens/outils_internet/TP2.html] (civet, apache, CGI et modules) - [TP3 ens/outils_internet/TP3.html] (Sessions, SQL et langages dynamiques) - [TP4 ens/outils_internet/TP4.html] (OpenLDAP + Dovecot + Yocto = Webmail authentifié) - [Le projet ens/outils_internet/projet.html] - TP [Calculabilité (L2) http://www.lif.univ-mrs.fr/~lafitte/spip.php?article10] - [TP1: Fonctions récursives primitives ens/calculabilite_l2/tp1.pdf] ainsi que le [programme ens/calculabilite_l2/recpri.tar.gz] servant à construire des fonctions récursives primitives - [TP2: Problème de correspondance de Post ens/calculabilite_l2/tp2.pdf] ainsi que le [programme ens/calculabilite_l2/pcpsim.tar.gz] aidant à construire des mots vérifiant les contraintes - [TP3: Machines de Turing, Partie 1 ens/calculabilite_l2/tp3.pdf] ainsi que le [programme ens/calculabilite_l2/turingsim.tar.gz] servant à simuler des machines de Turing - [TP4: Machines de Turing, Partie 2 ens/calculabilite_l2/tp4.pdf] - [TP5: Machines de Turing, Partie 3 ens/calculabilite_l2/tp5.pdf] - TP [Outils informatique (L2) http://www.lif.univ-mrs.fr/~ejeandel/enseignement.html] = About = Page créée avec [txt2tags http://txt2tags.sourceforge.net/]. [Source index.t2t].