ODCleanStore: A Framework for Managing and Providing Integrated Linked Data on the Web. - Tomás Knap; Jan Michelfeit; Jakub Daniel; Petr Jerman; Dusan Rychnovský; Tomás Soukup; Martin Necaský (WISE, 2012)

Predicate Abstraction in Program Verification: Survey and Current Trends. - Jakub Daniel; Pavel Parízek (ICCSW, 2014)

Predicate abstraction in Java Pathfinder. - Jakub Daniel; Pavel Parízek; Corina S. Pasareanu (ACM SIGSOFT Softw. Eng. Notes, 2014)

PANDA: Simultaneous Predicate Abstraction and Concrete Execution. - Jakub Daniel; Pavel Parízek (Haifa Verification Conference, 2015)

Deconstructing Dynamic Symbolic Execution. - Thomas Ball 001; Jakub Daniel (Dependable Software Systems Engineering, 2015)

Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. - Jakub Daniel; Alessandro Cimatti; Alberto Griggio; Stefano Tonetta; Sergio Mover (CAV (1), 2016)