- Deterministic ordered restarting automata for picture languages2015 | Faculty of Mathematics and Physics
- Ordered Restarting Automata for Picture Languages2014 | Faculty of Mathematics and Physics
- Some classes of rational functions for pictures2016 | Faculty of Mathematics and Physics
- Lambda-Confluence Is Undecidable for Clearing Restarting Automata2013 | Faculty of Mathematics and Physics
- Extended Two-Way Ordered Restarting Automata for Picture Languages2014 | Faculty of Mathematics and Physics
- AUTOMATA WITH CYCLIC MOVE OPERATIONS FOR PICTURE LANGUAGES2018 | Faculty of Mathematics and Physics
- Limited restarting automata2014 | Faculty of Mathematics and Physics
- Deleting deterministic restarting automata with two windows2017 | Faculty of Mathematics and Physics
- On h-Lexicalized Restarting Automata2017 | Faculty of Mathematics and Physics
- Lambda-confluence for context rewriting systems2015 | Faculty of Mathematics and Physics
- On the Clases of Languages Accepted by Limited Context Restarting Automata2014 | Faculty of Mathematics and Physics
- Characterizations of LRR-languages by correctness-preserving computations2018 | Faculty of Mathematics and Physics
- Free Word-Order and Restarting Automata2014 | Faculty of Mathematics and Physics
- Regulated variants of limited context restarting automata2017 | Faculty of Mathematics and Physics
- On Deleting Deterministic Restarting Automata That Have Two Windows2018 | Faculty of Mathematics and Physics
- On Shrinking Restarting Automata of Window Size One and Two2019 | Faculty of Mathematics and Physics
- On restarting automata with auxiliary symbols and small window size2021 | Faculty of Mathematics and Physics
- One-Way Restarting Automata and Their Sensitivity2022 | Faculty of Mathematics and Physics
- Lexicalized Syntactic Analysis by Two-Way Restarting Automata2021 | Faculty of Mathematics and Physics
- Degrees of Free Word-Order and Freely Rewriting Restarting Automata +1Publication without faculty affiliation
- Parametrized syntactic analysis by freely rewriting Restarting Automata +12005 | Faculty of Mathematics and Physics
- On incontinuity and freeness of word-order by restarting automata. +12005 | Faculty of Mathematics and Physics
- Restarting automata, DR-trees and Functional Generative Description of Czech2009 | Faculty of Mathematics and Physics
- Degrees of non-monotonicity for restarting automata,2006 | Faculty of Mathematics and Physics
- On a class of rational functions for pictures2015 | Faculty of Mathematics and Physics
- On left-monotone deterministic restarting automata2004 | Faculty of Mathematics and Physics
- Two-Dimensional Limited Context Restarting Automata2016 | Faculty of Mathematics and Physics