- Online packet scheduling with bounded delay and lookahead2019 | Faculty of Mathematics and Physics
- Online Packet Scheduling with Bounded Delay and Lookahead2016 | Faculty of Mathematics and Physics
- Lookahead hierarchies of restarting automata2000 | Faculty of Mathematics and Physics
- Oracle Pushdown Automata +12005 | Faculty of Mathematics and Physics
- Classes of Boolean Formulae with Effectively Solvable SAT2010 | Faculty of Mathematics and Physics
- Generalized linear list automata +12005 | Faculty of Mathematics and Physics
- Recursive Subtree Composition in LSTM-Based Dependency ParsingPublication without faculty affiliation
- On Hierarchies over the SLUR Class2012 | Faculty of Mathematics and Physics
- On the size of CNF formulas with high propagation strength2020 | Faculty of Mathematics and Physics