- Použití konečných automatů pro modelování a řešení plánovacích problémů2010 | Matematicko-fyzikální fakulta
- Using Finite State Automata to Model and Solve Planning Problems2011 | Matematicko-fyzikální fakulta
- Using Finite State Machines in Introductory Robotics2019 | Matematicko-fyzikální fakulta
- Automated Acquisition of Control Knowledge for Classical Planners2020 | Matematicko-fyzikální fakulta
- Two-Dimensional Pattern Matching Against Basic Picture Languages2019 | Matematicko-fyzikální fakulta
- Fonetické vyhledávání v cizojazyčných textech - jak najít relevantní informace2011 | Matematicko-fyzikální fakulta
- Two-Dimensional Sgraffito Automata2012 | Matematicko-fyzikální fakulta
- New model for picture languages recognition: Two-dimensional Sgraffito automaton2012 | Matematicko-fyzikální fakulta
- New Models for Recognition of Picture Languages: Sgraffito and Restarting Tiling AutomataPublikace bez příslušnosti k fakultě
- Guiding Planning Engines by Transition-Based Domain Control Knowledge2016 | Matematicko-fyzikální fakulta
- Two-dimensional Sgraffito automata2014 | Matematicko-fyzikální fakulta