Antoine Durand-Gasselin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2010–2016
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FOSSACS | Regular Transformations of Data Words Through Origin Information. | Antoine Durand-Gasselin, Peter Habermehl |
| 2015 | CAV | Model Checking Parameterized Asynchronous Shared-Memory Systems. | Antoine Durand-Gasselin, Javier Esparza, Pierre Ganty, Rupak Majumdar |
| 2013 | LICS | From Monadic Second-Order Definable String Transformations to Transducers. | Rajeev Alur, Antoine Durand-Gasselin, Ashutosh Trivedi |
| 2012 | STACS | Ehrenfeucht-Frass goes elementarily automatic for structures of bounded degree. | Antoine Durand-Gasselin, Peter Habermehl |
| 2010 | CONCUR | On the Use of Non-deterministic Automata for Presburger Arithmetic. | Antoine Durand-Gasselin, Peter Habermehl |