| Publication | Date of Publication | Type |
|---|
| Makanin's algorithm for word equations-two improvements and a generalization | 2023-08-14 | Paper |
| Combination techniques and decision problems for disunification | 2022-12-09 | Paper |
| Combination of constraint solving techniques: An algebraic point of view | 2022-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5061527 | 2022-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993768 | 2021-06-16 | Paper |
| Space-efficient bimachine construction based on the equalizer accumulation principle | 2019-09-10 | Paper |
| Finite-State Techniques | 2019-05-16 | Paper |
| A criterion for intractability of E-unification with free function symbols and its relevance for combination of unification algorithms | 2017-11-17 | Paper |
| A simple method for building bimachines from functional finite-state transducers | 2017-08-22 | Paper |
| Fast Approximate Search in Large Dictionaries | 2012-03-20 | Paper |
| Computation of Similarity—Similarity Search as Computation | 2011-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2999898 | 2011-05-18 | Paper |
| Deciding word neighborhood with universal neighborhood automata | 2011-05-10 | Paper |
| Conjunctive queries over trees | 2008-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5458155 | 2008-04-11 | Paper |
| Decidability of bounded higher-order unification | 2007-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473280 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474847 | 2004-07-21 | Paper |
| Fast string correction with Levenshtein automata | 2003-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411845 | 2003-07-10 | Paper |
| Solvability of context equations with two context variables is decidable | 2002-06-11 | Paper |
| Combination of constraint systems II: Rational amalgamation | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762630 | 2002-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518872 | 2001-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524788 | 2001-01-15 | Paper |
| Tractable and intractable instances of combination problems for unification and disunification | 2000-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264733 | 1999-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4266515 | 1999-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4266517 | 1999-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263157 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838760 | 1998-10-08 | Paper |
| Combination of constraint solvers for free and quasi-free structures | 1998-08-13 | Paper |
| Combination techniques and decision problems for disunification | 1997-02-28 | Paper |
| Unification in the union of disjoint equational theories: Combining decision procedures | 1996-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4866989 | 1996-08-15 | Paper |
| Word unification and transformation of generalized equations | 1994-12-11 | Paper |
| Quantoren-Elimination bei Fastkörpern. (Elimination of quantifiers in nearfields) | 1988-01-01 | Paper |
