Daniel Kernberger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2016–2018
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | TIME | On the Expressive Power of Hybrid Branching-Time Logics. | Daniel Kernberger, Martin Lange |
| 2017 | TIME | The Fully Hybrid mu-Calculus. | Daniel Kernberger, Martin Lange |
| 2016 | TIME | Model Checking for the Full Hybrid Computation Tree Logic. | Daniel Kernberger, Martin Lange |