Here is the bibliography of the Arenaire project from 1999 until now, as published in each year's activity report with the corresponding bibtex files.
For the current year, please have a look at the personal web pages http://perso.ens-lyon.fr/firstname.name for an up-to-date bibliography.
IEEE. Some material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Springer Verlag. The Author may publish his/her contribution on his/her personal Web page provided that he/she creates a link to the LNCS series Homepage and that together with this electronic version it is clearly pointed out, by prominently adding "© Springer-Verlag", that the copyright for this contribution is held by Springer. From the Publisher's point of view, it would be desirable that the full-text version be made available from the Author's Web page only after a delay of 12 months following the publication of the book, whereas such a delay is not required for the abstract.