Publikace
- A lower bound on CNF encodings of the at-most-one constraint2019 | Matematicko-fyzikální fakulta
- On Basic Properties of Jumping Finite Automata2018 | Matematicko-fyzikální fakulta
- Characterization and complexity results on jumping finite automata2017 | Matematicko-fyzikální fakulta
- A Lower Bound on CNF Encodings of the At-Most-One Constraint2017 | Matematicko-fyzikální fakulta
- Subset Synchronization and Careful Synchronization of Binary Finite Automata2016 | Matematicko-fyzikální fakulta
- Two Results on Discontinuous Input Processing +12016 | Matematicko-fyzikální fakulta
- An Extremal Series of Eulerian Synchronizing Automata2016 | Matematicko-fyzikální fakulta
- Parameterized Complexity of Synchronization and Road Coloring2015 | Matematicko-fyzikální fakulta
- Complexity of Road Coloring with Prescribed Reset Words +12015 | Matematicko-fyzikální fakulta
- Complexity of a Problem Concerning Reset Words for Eulerian Binary Automata +12014 | Matematicko-fyzikální fakulta
Loading network view...