Daniel Bundala
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2012–2014
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ICALP | On the Complexity of Temporal-Logic Path Checking. | Daniel Bundala, Jol Ouaknine |
| 2014 | LATA | Optimal Sorting Networks. | Daniel Bundala, Jakub Zavodny |
| 2014 | MFCS | Advances in Parametric Real-Time Reasoning. | Daniel Bundala, Jol Ouaknine |
| 2012 | LICS | On the Magnitude of Completeness Thresholds in Bounded Model Checking. | Daniel Bundala, Jol Ouaknine, James Worrell |