Antoine Durand-Gasselin
PhD Student
Research
I am currently doing a PhD advised
by Peter Habermehl
and Ahmed Bouajjani,
in the domain of verification. More precisely I work on automatic
structures.
Contact
- Mailing Address:
- Université Paris Diderot (Paris 7), LIAFA case 7014, 75205 Paris Cedex 13, FRANCE
- Office location:
- 175 rue du Chevaleret, Office 6A15 (6th floor), 75013 Paris, FRANCE.
- Phone:
- +33 (0)1 57 27 92 31
- Secretariat:
- +33 (0)1 57 27 92 56
- Fax:
- +33 (0)1 57 27 94 09
- E-mail:
- adg `at` liafa.univ-paris-diderot.fr
Publications
-
[DGH12]
-
Antoine Durand-Gasselin and Peter Habermehl.
Ehrenfeucht-Fraïssé goes elementarily automatic for
structures of bounded degree.
In Proceedings of STACS, volume 14 of LIPIcs, pages
242-253. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2012.
[ bib |
DOI |
http |
.pdf ]
-
[DGH10]
-
Antoine Durand-Gasselin and Peter Habermehl.
On the Use of Non-deterministic Automata for Presburger
Arithmetic.
In Proceedings of CONCUR, volume 6269 of LNCS, pages
373-387. Springer, 2010.
[ bib |
DOI |
.pdf ]
-
[DG09]
-
Antoine Durand-Gasselin.
Les Automates non-déterministes pour l'Arithmétique de
Presburger.
Master's thesis, École Normale Supérieure de Cachan,
2009.
Master Parisien de Recherche en Informatique.
[ bib |
.pdf ]