| • | . Concurrent games with ordered objectives. In FoSSaCS'12, LNCS 7213, pages 301-315. Springer, 2012. To appear. ( PDF | PDF (long version) | BibTeX ) |
| • | . Nash Equilibria in Concurrent Games with Büchi Objectives. In FSTTCS'11, Leibniz International Proceedings in Informatics, pages 375-386. Leibniz-Zentrum für Informatik, 2011. ( PDF | BibTeX ) |
| • | . Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games. In FORMATS'10, LNCS 6246, pages 62-76. Springer, 2010. ( PDF | PDF (long version) | BibTeX ) |
| • | . Nash Equilibria for Reachability Objectives in Multi-player Timed Games. In CONCUR'10, LNCS 6269, pages 192-206. Springer, 2010. ( PDF | PDF (long version) | BibTeX ) |
| • | . Calcul des équilibres de Nash dans les jeux temporisés. Rapport de Master, Master Parisien de Recherche en Informatique, Paris, France, 2009. ( PDF | PS | PS.GZ | BibTeX ) |