| Publication | Date of Publication | Type |
|---|
| Bottom-Up Quotients for Tree Languages | 2018-03-29 | Paper |
| Constrained Expressions and their Derivatives | 2017-11-09 | Paper |
| Multi-Bar and Multi-Tilde Regular Operators | 2016-09-29 | Paper |
| Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions | 2016-05-11 | Paper |
| Extended to multi-tilde-bar regular expressions and efficient finite automata constructions | 2015-08-18 | Paper |
| Enumeration of specific classes of polycubes | 2014-08-14 | Paper |
| A general framework for the derivation of regular expressions | 2014-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5747381 | 2014-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5747391 | 2014-02-14 | Paper |
| Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions | 2013-03-18 | Paper |
| Decidability of Geometricity of Regular Languages | 2012-11-02 | Paper |
| Multi-tilde-bar expressions and their automata | 2012-10-15 | Paper |
| Multi-Tilde-Bar Derivatives | 2012-09-20 | Paper |
| Obituary for Sheng Yu | 2012-09-13 | Paper |
| Geometrical regular languages and linear Diophantine equations: the strongly connected case | 2012-08-13 | Paper |
| Approximate Regular Expressions and Their Derivatives | 2012-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3225706 | 2012-03-22 | Paper |
| Geometrical Regular Languages and Linear Diophantine Equations | 2011-07-29 | Paper |
| Erratum to ``Acyclic automata and small expressions using multi-tilde-bar operators [Theoret. Comput. Sci. 411 (38-39) (2010) 3423-3435] | 2011-07-14 | Paper |
| Partial Derivatives of an Extended Regular Expression | 2011-06-03 | Paper |
| Regular Geometrical Languages and Tiling the Plane | 2011-02-11 | Paper |
| Acyclic automata and small expressions using multi-tilde-bar operators | 2010-10-07 | Paper |
| Geometricity of Binary Regular Languages | 2010-05-26 | Paper |
| From Regular Weighted Expressions to Finite Automata | 2010-05-07 | Paper |
| AN EFFICIENT ALGORITHM TO TEST WHETHER A BINARY AND PROLONGEABLE REGULAR LANGUAGE IS GEOMETRICAL | 2009-08-21 | Paper |
| Small Extended Expressions for Acyclic Automata | 2009-07-09 | Paper |
| An Efficient Computation of the Equation K-automaton of a Regular K-expression | 2009-05-22 | Paper |
| Multi-tilde Operators and Their Glushkov Automata | 2009-04-02 | Paper |
| Testing Whether a Binary and Prolongeable Regular Language L Is Geometrical or Not on the Minimal Deterministic Automaton of Pref(L) | 2009-02-12 | Paper |
| A New Family of Regular Operators Fitting with the Position Automaton Computation | 2009-02-03 | Paper |
| ALGORITHMS FOR THE JOIN AND AUTO-INTERSECTION OF MULTI-TAPE WEIGHTED FINITE-STATE MACHINES | 2008-09-25 | Paper |
| Reducing Acyclic Cover Transducers | 2008-06-10 | Paper |
| LABELLING MULTI-TAPE AUTOMATA WITH CONSTRAINED SYMBOL CLASSES | 2008-05-20 | Paper |
| An Efficient Computation of the Equation $\mathbb{K}$ -Automaton of a Regular $\mathbb{K}$ -Expression | 2007-11-28 | Paper |
| Multi-tape Automata with Symbol Classes | 2007-09-06 | Paper |
| NORMALIZED EXPRESSIONS AND FINITE AUTOMATA | 2007-06-20 | Paper |
| Implementation and Application of Automata | 2006-11-13 | Paper |
| FROM THE $\mathcal{ZPC}$ STRUCTURE OF A REGULAR EXPRESSION TO ITS FOLLOW AUTOMATON | 2006-05-29 | Paper |
| ENUMERATING NONDETERMINISTIC AUTOMATA FOR A GIVEN LANGUAGE WITHOUT CONSTRUCTING THE CANONICAL AUTOMATON | 2005-12-15 | Paper |
| COVER TRANSDUCERS FOR FUNCTIONS WITH FINITE DOMAIN | 2005-11-14 | Paper |
| VIRTUAL OPERATIONS ON VIRTUAL NETWORKS: THE PRIORITY UNION | 2005-10-19 | Paper |
| UNAVOIDABLE SETS OF CONSTANT LENGTH | 2005-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5313786 | 2005-09-01 | Paper |
| Implementation and Application of Automata | 2005-08-17 | Paper |
| Implementation and Application of Automata | 2005-08-17 | Paper |
| BRUTE FORCE DETERMINIZATION OF NFAs BY MEANS OF STATE COVERS | 2005-08-01 | Paper |
| EVALUATION OF THREE IMPLICIT STRUCTURES TO IMPLEMENT NONDETERMINISTIC AUTOMATA FROM REGULAR EXPRESSIONS | 2005-06-22 | Paper |
| Unavoidable sets and conjugacy classes | 2005-06-09 | Paper |
| Similarity relations and cover automata | 2005-06-07 | Paper |
| FROM REGULAR WEIGHTED EXPRESSIONS TO FINITE AUTOMATA | 2005-04-18 | Paper |
| Random generation of DFAs | 2005-02-22 | Paper |
| NFA reduction algorithms by means of regular inequalities | 2005-01-11 | Paper |
| Compact and fast algorithms for safe regular expression search | 2004-12-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474144 | 2004-08-04 | Paper |
| Derivatives of rational expressions and related theorems. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4454842 | 2004-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452062 | 2004-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412568 | 2003-07-15 | Paper |
| Canonical derivatives, partial derivatives and finite automaton constructions. | 2003-01-21 | Paper |
| FROM C-CONTINUATIONS TO NEW QUADRATIC ALGORITHMS FOR AUTOMATON SYNTHESIS | 2002-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547747 | 2002-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4540959 | 2002-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4540960 | 2002-07-28 | Paper |
| Subset construction complexity for homogeneous automata, position automata and ZPC-structures | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2711324 | 2001-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955253 | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955260 | 2000-05-25 | Paper |
| From regular expressions to finite automata∗ | 2000-03-21 | Paper |
| An optimal parallel algorithm to convert a regular expression into its Glushkov automaton | 1999-04-28 | Paper |
| The passing of a rational expression to a nondeterministic finite automaton | 1999-03-14 | Paper |
| AUTOMATE, a computing package for automata and finite semigroups | 1992-06-28 | Paper |
| A maxmin problem on finite automata | 1989-01-01 | Paper |
