On the Magnitude of Completeness Thresholds in Bounded Model Checking. - Daniel Bundala; Joël Ouaknine; James Worrell 001 (LICS, 2012)

On the Complexity of Path Checking of Temporal Logics. - Daniel Bundala; Joël Ouaknine (CoRR, 2013)

On the Complexity of Temporal-Logic Path Checking. - Daniel Bundala; Joël Ouaknine (ICALP (2), 2014)

Optimal Sorting Networks. - Daniel Bundala; Jakub Zavodny (LATA, 2014)

Advances in Parametric Real-Time Reasoning. - Daniel Bundala; Joël Ouaknine (MFCS (1), 2014)

Algorithmic verification problems in automata-theoretic settings. - Daniel Bundala (2014)

On Systematic Testing for Execution-Time Analysis. - Daniel Bundala; Sanjit A. Seshia (CoRR, 2015)

On parametric timed automata and one-counter machines. - Daniel Bundala; Joël Ouaknine (Inf. Comput., 2017)

Optimal-depth sorting networks. - Daniel Bundala; Michael Codish; Luís Cruz-Filipe; Peter Schneider-Kamp; Jakub Závodný (J. Comput. Syst. Sci., 2017)