- Online Chromatic Number is PSPACE-Complete +12018 | Matematicko-fyzikální fakulta
- Graph sharing games: Complexity and connectivity2013 | Matematicko-fyzikální fakulta
- The decision problem of provability logic with only one atom2003 | Filozofická fakulta
- The complete classification for quantified equality constraints +22023 | Matematicko-fyzikální fakulta
- On the polynomial-space completeness of intuitionistic propositional logic2003 | Filozofická fakulta
- QCSP Monsters and the Demise of the Chen Conjecture2022 | Matematicko-fyzikální fakulta
- Subset Synchronization and Careful Synchronization of Binary Finite Automata2016 | Matematicko-fyzikální fakulta
- Subset Synchronization of Transitive Automata2014 | Matematicko-fyzikální fakulta
- Subset Synchronizability in Eulerian Automata Is NP-Hard2014 | Matematicko-fyzikální fakulta
- The guarding game is E-complete2014 | Matematicko-fyzikální fakulta
- Complexity of the cop and robber guarding game2011 | Matematicko-fyzikální fakulta
- Pattern-Based Verification for Multithreaded Programs2014 | Matematicko-fyzikální fakulta