Arnaud Da Costa Lopes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2009–2012
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CONCUR | Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). | Arnaud Da Costa Lopes, Franois Laroussinie, Nicolas Markey |
| 2009 | LFCS | ATL with Strategy Contexts and Bounded Memory. | Thomas Brihaye, Arnaud Da Costa Lopes, Franois Laroussinie, Nicolas Markey |