| Publication | Date of Publication | Type |
|---|
| Using sparsification for parametric minimum spanning tree problems | 2022-12-09 | Paper |
| Parametric problems on graphs of bounded tree-width | 2022-12-09 | Paper |
| Optimal parametric search on graphs of bounded tree-width | 2022-12-09 | Paper |
| Linear-time algorithms for parametric minimum spanning tree problems on planar graphs | 2022-08-16 | Paper |
| An algorithm for searching a polygonal region with a flashlight | 2017-09-29 | Paper |
| A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases | 2015-09-17 | Paper |
| Tree transducers, L systems and two-way machines (Extended Abstract) | 2014-03-14 | Paper |
| PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) | 2013-07-05 | Paper |
| Package-Based Description Logics | 2009-06-09 | Paper |
| CLEARING A POLYGON WITH TWO 1-SEARCHERS | 2009-05-19 | Paper |
| Parametric multiple sequence alignment and phylogeny construction | 2007-04-26 | Paper |
| Scoring of web pages and tournaments-axiomatizations | 2006-08-18 | Paper |
| Ranking participants in generalized tournaments | 2005-08-17 | Paper |
| AN ALGORITHM FOR SEARCHING A POLYGONAL REGION WITH A FLASHLIGHT | 2004-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430303 | 2003-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430314 | 2003-10-20 | Paper |
| A duality theory for bilattices | 2003-04-23 | Paper |
| COMPUTATIONAL COMPLEXITY OF GENERATORS AND NONGENERATORS IN ALGEBRA | 2003-02-09 | Paper |
| Bounds for parametric sequence comparison | 2002-06-24 | Paper |
| Computational complexity of some problems involving congruences on algebras | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723941 | 2001-07-08 | Paper |
| Complexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras | 2000-10-18 | Paper |
| COMPUTATIONAL COMPLEXITY OF TERM-EQUIVALENCE | 2000-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251048 | 1999-11-29 | Paper |
| Linear-time algorithms for parametric minimum spanning tree problems on planar graphs | 1998-07-22 | Paper |
| Optimal Parametric Search on Graphs of Bounded Tree-Width | 1997-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3129922 | 1997-05-28 | Paper |
| Deterministic top-down tree transducers with iterated look-ahead | 1997-02-28 | Paper |
| Multi-valued logic programming semantics An algebraic approach | 1997-02-28 | Paper |
| A scheme to construct distance-three codes using Latin squares, with applications to the \(n\)-cube | 1997-02-27 | Paper |
| A hierarchy of deterministic top-down tree transformations | 1996-06-27 | Paper |
| The complexity of optimizing finite-state transducers | 1996-01-28 | Paper |
| Independence numbers of product graphs | 1994-09-22 | Paper |
| Parametric Problems on Graphs of Bounded Tree-Width | 1994-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4284265 | 1994-04-17 | Paper |
| A note on the equivalence of a set of egds to a set of FDs | 1994-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5286479 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4032985 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4005179 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3357541 | 1990-01-01 | Paper |
| Comparisons between some pumping conditions for context-free languages | 1989-01-01 | Paper |
| Solving parametric problems on trees | 1989-01-01 | Paper |
| The interchange or pump (di)lemmas for context-free languages | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787503 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3820007 | 1988-01-01 | Paper |
| Ogden's lemma for nonterminal bounded languages | 1986-01-01 | Paper |
| Alternating tree automata | 1985-01-01 | Paper |
| Extended macro grammars and stack controlled machines | 1984-01-01 | Paper |
| Finite state relational programs | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3674066 | 1983-01-01 | Paper |
| Transductions of dags and trees | 1982-01-01 | Paper |
| Automatic Programming of Finite State Linear Programs | 1981-01-01 | Paper |
| Parallel and two-way automata on directed ordered acyclic graphs | 1981-01-01 | Paper |
| Tree transducers, L systems, and two-way machines | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3883468 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3049835 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3868791 | 1979-01-01 | Paper |
| Bounded nesting in macro grammars | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4139641 | 1977-01-01 | Paper |
| On the non-compactness of the class of program schemas | 1973-01-01 | Paper |
