Alan Schmitt. Static Analyses for Manipulations of Hierarchically Structured Data, May 2011. [ bib | full version ]
Alan Schmitt. Conception et Implémentation de Calculs d'Agents Mobiles, September 2002. [The ps.gz version is the original one submitted. The pdf version was recompiled recently and due to LaTeX differences does not have the same layout, but the text is identical.]. [ bib | ps.gz | .pdf ]