| Publication | Date of Publication | Type |
|---|
| On complexity classes and algorithmically random languages | 2022-08-18 | Paper |
| Weighted Boolean Formula Games | 2016-01-27 | Paper |
| Perfect correspondences between dot-depth and polynomial-time hierarchies | 2014-06-10 | Paper |
| Fundamentals of Computation Theory | 2010-04-20 | Paper |
| Perfect Correspondences Between Dot-Depth and Polynomial-Time Hierarchy | 2009-03-26 | Paper |
| The complexity of unions of disjoint sets | 2008-11-19 | Paper |
| Complexity of Topological Properties of Regular ω-Languages | 2008-10-30 | Paper |
| Complexity of Aperiodicity for Topological Properties of Regular ω-Languages | 2008-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3505897 | 2008-06-11 | Paper |
| The Boolean hierarchy of NP-partitions | 2008-05-19 | Paper |
| The complexity of membership problems for circuits over sets of natural numbers | 2008-03-05 | Paper |
| The Complexity of Computing the Size of an Interval | 2007-10-22 | Paper |
| The Complexity of Unions of Disjoint Sets | 2007-09-03 | Paper |
| A note on parallel queries and the symmetric-difference hierarchy. | 2006-01-17 | Paper |
| Machines, Computations, and Universality | 2005-12-08 | Paper |
| Generation problems | 2005-12-06 | Paper |
| A reducibility for the dot-depth hierarchy | 2005-12-06 | Paper |
| Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
| Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
| Arithmetic Circuits and Polynomial Replacement Systems | 2005-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818850 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472442 | 2004-08-04 | Paper |
| Theoretical informatics. A compact introduction | 2003-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418682 | 2003-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535082 | 2002-06-12 | Paper |
| On boolean lowness and boolean highness | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2709238 | 2001-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501530 | 2001-05-03 | Paper |
| The Analytic Polynomial-Time Hierarchy | 1999-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218416 | 1999-05-18 | Paper |
| Probabilistic type-2 operators and ``almost-classes | 1999-02-02 | Paper |
| Bounding queries in the analytic polynomial-time hierarchy | 1999-01-12 | Paper |
| The chain method to separate counting classes | 1998-04-20 | Paper |
| On the power of DNA-computing | 1997-10-16 | Paper |
| Recursion theoretic characterizations of complexity classes of counting functions | 1997-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4336277 | 1997-05-12 | Paper |
| On balanced versus unbalanced computation trees | 1996-08-05 | Paper |
| Complexity classes of optimization functions | 1996-04-16 | Paper |
| An observation on probability versus randomness with applications to complexity classes | 1995-08-27 | Paper |
| THE COMPLEXITY OF FINDING MIDDLE ELEMENTS | 1995-01-12 | Paper |
| Introduction to theoretical computer science. Foundations and models | 1994-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281691 | 1994-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281502 | 1994-03-10 | Paper |
| ON THE POWER OF ONE-WAY SYNCHRONIZED ALTERNATING MACHINES WITH SMALL SPACE | 1993-01-16 | Paper |
| The correlation between the complexities of the nonhierarchical and hierarchical versions of graph problems | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3971277 | 1992-06-25 | Paper |
| The binary network flow problem is logspace complete for P | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3359769 | 1990-01-01 | Paper |
| Bounded Query Classes | 1990-01-01 | Paper |
| The Boolean Hierarchy II: Applications | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3793733 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795231 | 1988-01-01 | Paper |
| The computational complexity of graph problems with succinct multigraph representation | 1988-01-01 | Paper |
| The Boolean Hierarchy I: Structural Properties | 1988-01-01 | Paper |
| More complicated questions about maxima and minima, and some closures of NP | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3759947 | 1987-01-01 | Paper |
| Uniform simulations of nondeterministic real time multitape turing machines | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3777484 | 1987-01-01 | Paper |
| The difference and truth-table hierarchies for NP | 1987-01-01 | Paper |
| The complexity of combinatorial problems with succinct input representation | 1986-01-01 | Paper |
| On the intersection of the class of linear context-free languages and the class of single-reset languages | 1986-01-01 | Paper |
| Some observations on the connection between counting and recursion | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707407 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707408 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3766851 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4722055 | 1986-01-01 | Paper |
| Two-way automata with more than one storage medium | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3217604 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340147 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340148 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340149 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681937 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3314998 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3948592 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956398 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939239 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3877041 | 1980-01-01 | Paper |
| On ω-regular sets | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4196412 | 1979-01-01 | Paper |
| Rekursive Folgenmengen I | 1978-01-01 | Paper |
| Arithmetische und Bairesche Operatoren | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4134973 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4143283 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4158997 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893341 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912048 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103032 | 1976-01-01 | Paper |
| Arithmetische Operatoren | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4070770 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4083405 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4093366 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4093367 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4050535 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4055589 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4079594 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5684654 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5665122 | 1972-01-01 | Paper |
