- Online packet scheduling with bounded delay and lookahead2019 | Matematicko-fyzikální fakulta
- Online Packet Scheduling with Bounded Delay and Lookahead2016 | Matematicko-fyzikální fakulta
- Lookahead hierarchies of restarting automata2000 | Matematicko-fyzikální fakulta
- Zásobníkové automaty s orákulem +12005 | Matematicko-fyzikální fakulta
- Třídy booleovských formulí s efektivně řešitelným SATem2010 | Matematicko-fyzikální fakulta
- Generalized linear list automata2005 | Matematicko-fyzikální fakulta
- Zobecněné seznamové automaty2005 | Matematicko-fyzikální fakulta
- Recursive Subtree Composition in LSTM-Based Dependency ParsingPublikace bez příslušnosti k fakultě
- On Hierarchies over the SLUR Class2012 | Matematicko-fyzikální fakulta
- On the size of CNF formulas with high propagation strength2020 | Matematicko-fyzikální fakulta