| Publication | Date of Publication | Type |
|---|
| Average complexity of partial derivatives for synchronised shuffle expressions | 2024-02-28 | Paper |
| Location automata for regular expressions with shuffle and intersection | 2024-02-02 | Paper |
| Approximate NFA universality and related problems motivated by information theory | 2023-09-07 | Paper |
| On the average complexity of partial derivative transducers | 2023-04-26 | Paper |
| Location automata for synchronised shuffle expressions | 2023-03-20 | Paper |
| Approximate NFA universality motivated by information theory | 2023-01-18 | Paper |
| On the uniform distribution of regular expressions | 2022-11-09 | Paper |
| Partial derivative automaton by compressing regular expressions | 2022-11-09 | Paper |
| Manipulation of regular expressions using derivatives: an overview | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5061515 | 2022-03-11 | Paper |
| Location based automata for expressions with shuffle | 2021-10-04 | Paper |
| On the size of partial derivatives and the word membership problem | 2021-07-23 | Paper |
| Partial derivatives of regular expressions over alphabet-invariant and user-defined labels | 2021-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986510 | 2021-04-27 | Paper |
| Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels | 2021-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964020 | 2021-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5146514 | 2021-01-26 | Paper |
| On the Average State Complexity of Partial Derivative Transducers | 2020-07-20 | Paper |
| Partial derivatives of regular expressions over alphabet-invariant and user-defined labels | 2020-05-06 | Paper |
| The computational power of parsing expression grammars | 2020-03-26 | Paper |
| On Average Behaviour of Regular Expressions in Strong Star Normal Form | 2019-12-10 | Paper |
| Some applications of the formalization of the pumping lemma for context-free languages | 2019-11-13 | Paper |
| Formalization of the pumping lemma for context-free languages | 2019-09-18 | Paper |
| A mesh of automata | 2019-09-17 | Paper |
| Randomized generation of error control codes with automata and transducers | 2019-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967184 | 2019-07-03 | Paper |
| The computational power of parsing expression grammars | 2018-11-22 | Paper |
| Regular expressions and transducers over alphabet-invariant and user-defined labels | 2018-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5376330 | 2018-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5376339 | 2018-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4609326 | 2018-03-29 | Paper |
| Automata for regular expressions with shuffle | 2018-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4590910 | 2017-11-20 | Paper |
| Distinguishability Operations and Closures | 2017-11-09 | Paper |
| On the mother of all automata: the position automaton | 2017-10-13 | Paper |
| On the average complexity of strong star normal form | 2017-08-31 | Paper |
| Optimal state reductions of automata with partially specified behaviors | 2016-12-19 | Paper |
| On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection | 2016-11-09 | Paper |
| Implementation of Code Properties via Transducers | 2016-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2819377 | 2016-09-29 | Paper |
| On the Formalization of Some Results of Context-Free Language Theory | 2016-09-09 | Paper |
| Position Automaton Construction for Regular Expressions with Intersection | 2016-08-30 | Paper |
| Prefix and Right-Partial Derivative Automata | 2015-10-20 | Paper |
| Incomplete operational transition complexity of regular languages | 2015-09-28 | Paper |
| Partial Derivative Automaton for Regular Expressions with Shuffle | 2015-08-07 | Paper |
| Universal Disjunctive Concatenation and Star | 2015-08-07 | Paper |
| Deciding Kleene algebra terms equivalence in Coq | 2015-06-10 | Paper |
| On the Equivalence of Automata for KAT-expressions | 2015-02-25 | Paper |
| Optimal State Reductions of Automata with Partially Specified Behaviors | 2015-02-20 | Paper |
| Incomplete Transition Complexity of Some Basic Operations | 2014-11-04 | Paper |
| Partial Derivative and Position Bisimilarity Automata | 2014-09-26 | Paper |
| Symmetric Groups and Quotient Complexity of Boolean Operations | 2014-07-01 | Paper |
| Incremental DFA minimisation | 2014-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5418252 | 2014-06-03 | Paper |
| A hitchhiker's guide to descriptional complexity through analytic combinatorics | 2014-03-13 | Paper |
| On the Average Size of Glushkov and Equation Automata for KAT Expressions | 2013-08-16 | Paper |
| Incomplete Transition Complexity of Basic Operations on Finite Languages | 2013-08-07 | Paper |
| ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA | 2013-01-18 | Paper |
| Deciding Regular Expressions (In-)Equivalence in Coq | 2012-09-21 | Paper |
| ON THE AVERAGE STATE COMPLEXITY OF PARTIAL DERIVATIVE AUTOMATA: AN ANALYTIC COMBINATORICS APPROACH | 2012-08-29 | Paper |
| The Average Transition Complexity of Glushkov and Partial Derivative Automata | 2011-07-29 | Paper |
| Incremental DFA Minimisation | 2011-02-11 | Paper |
| Partial Derivative Automata Formalized in Coq | 2011-02-11 | Paper |
| On the Average Number of States of Partial Derivative Automata | 2010-08-31 | Paper |
| ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED | 2009-08-21 | Paper |
| Series-Parallel Automata and Short Regular Expressions | 2009-06-23 | Paper |
| Antimirov and Mosses’s Rewrite System Revisited | 2009-02-12 | Paper |
| Formal Modelling of Emotions in BDI Agents | 2009-02-12 | Paper |
| EXACT GENERATION OF MINIMAL ACYCLIC DETERMINISTIC FINITE AUTOMATA | 2008-09-25 | Paper |
| Enumeration and generation with a string automata representation | 2007-12-19 | Paper |
| Implementation and Application of Automata | 2006-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024029 | 2005-07-11 | Paper |
