Roland Axelsson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2007–2010
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | LPAR | Extended Computation Tree Logic. | Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte |
| 2008 | ICALP | Analyzing Context-Free Grammars Using an Incremental SAT Solver. | Roland Axelsson, Keijo Heljanko, Martin Lange |
| 2007 | LPAR | Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic. | Roland Axelsson, Martin Lange |