- Lambda-confluence for context rewriting systems2015 | Faculty of Mathematics and Physics
- Limited context restarting automata and McNaughton families of languages2012 | Faculty of Mathematics and Physics
- On Separating Sets of Words III.2010 | Faculty of Mathematics and Physics
- Monotonicity of restarting automata2008 | Faculty of Mathematics and Physics
- Ambiguity by restarting automata2007 | Faculty of Mathematics and Physics
- Lambda-Confluence Is Undecidable for Clearing Restarting Automata2013 | Faculty of Mathematics and Physics
- The Degree of Word-Expansion of Lexicalized RRWW-Automata: A New Measure for The Degree of Nondeterminism of (Context-Free) LanguagesPublication without faculty affiliation
- A Measure for the Degree of Nondeterminism of Context-Free Languages2007 | Faculty of Mathematics and Physics
- The degree of word-expansion of lexicalized RRWW-automata - A new measure for the degree of nondeterminism of (context-free) languages2009 | Faculty of Mathematics and Physics