- Clearing Restarting Automata2009 | Faculty of Mathematics and Physics
- Clearing Restarting AutomataPublication without faculty affiliation
- Ambiguity by restarting automata2007 | Faculty of Mathematics and Physics
- Monotonicity of restarting automata2008 | Faculty of Mathematics and Physics
- Degrees of non-monotonicity for restarting automata,2006 | Faculty of Mathematics and Physics
- Limited restarting automata2014 | Faculty of Mathematics and Physics
- Modifications of Restarted GMRES Method2006 | Faculty of Mathematics and Physics
- Clearing restarting automata2010 | Faculty of Mathematics and Physics
- Restarting Tiling Automata2012 | Faculty of Mathematics and Physics
- Restarting Tiling Automata2013 | Faculty of Mathematics and Physics, Charles University
- Free Word-Order and Restarting Automata.2007 | Faculty of Mathematics and Physics
- On the Complexity of 2-Monotone Restarting Automata2008 | Faculty of Mathematics and Physics
- Hierarchies of weakly monotone restarting automata2005 | Faculty of Mathematics and Physics
- On the Complexity of Reductions by Restarting Automata.2014 | Faculty of Mathematics and Physics
- Some remarks on the restarted and augmented GMRES method2008 | Faculty of Mathematics and Physics
- Ordered Restarting Automata for Picture Languages2014 | Faculty of Mathematics and Physics
- Deterministic ordered restarting automata for picture languages2015 | Faculty of Mathematics and Physics
- On Lexicalized Well-Behaved Restarting Automata That Are Monotone2010 | Faculty of Mathematics and Physics
- Deterministic Two-Way Restarting Automata and Marcus Contextual Grammars2005 | Faculty of Mathematics and Physics
- On Tearness and Freedom of Word Order with Restarting Automata2005 | Faculty of Mathematics and Physics
- On h-Lexicalized Restarting Automata2017 | Faculty of Mathematics and Physics
- Lambda-Confluence Is Undecidable for Clearing Restarting Automata2013 | Faculty of Mathematics and Physics
- Deleting deterministic restarting automata with two windows2017 | Faculty of Mathematics and Physics
- On incontinuity and freeness of word-order by restarting automata.2005 | Faculty of Mathematics and Physics
- How residual bounds for restarted GMRES describe the real behaviour2008 | Faculty of Mathematics and Physics
- Limited context restarting automata and McNaughton families of languages2012 | Faculty of Mathematics and Physics
- On (In)Sensitivity by Two-Way Restarting Automata2018 | Faculty of Mathematics and Physics
- One-Way Restarting Automata and Their Sensitivity2022 | Faculty of Mathematics and Physics
- On Minimalism of Analysis by Reduction by Restarting Automata2014 | Faculty of Mathematics and Physics
- Restarting Automata Inference ComplexityPublication without faculty affiliation