Markus Latte
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2010–2015
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | MFCS | Definability by Weakly Deterministic Regular Expressions with Counters is Decidable. | Markus Latte, Matthias Niewerth |
| 2012 | CADE | Branching Time? Pruning Time! | Markus Latte, Martin Lange |
| 2010 | CADE | A Decision Procedure for CTL | Oliver Friedmann, Markus Latte, Martin Lange |
| 2010 | LPAR | Extended Computation Tree Logic. | Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte |
| 2010 | WoLLIC | A CTL-Based Logic for Program Abstractions. | Martin Lange, Markus Latte |