Jakub Daniel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2012–2016
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CAV | Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. | Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover |
| 2012 | WISE | ODCleanStore: A Framework for Managing and Providing Integrated Linked Data on the Web. | Toms Knap, Jan Michelfeit, Jakub Daniel, Petr Jerman, Dusan Rychnovsk, Toms Soukup, Martin Necask |