| Publication | Date of Publication | Type |
|---|
| Maximal pairs of computably enumerable sets in the computably Lipschitz degrees | 2013-04-15 | Paper |
| The complexity of variable minimal formulas | 2010-10-08 | Paper |
| Bounding non-GL2 and R.E.A. | 2009-09-29 | Paper |
| Absolutely non-computable predicates and functions in analysis | 2009-03-24 | Paper |
| Absolutely Non-effective Predicates and Functions in Computable Analysis | 2007-11-13 | Paper |
| Modulo computably enumerable degrees by cupping partners | 2007-10-16 | Paper |
| On definable filters in computably enumerable degrees | 2007-06-25 | Paper |
| Theory and Applications of Models of Computation | 2007-04-30 | Paper |
| Theory and Applications of Models of Computation | 2007-04-30 | Paper |
| On the definable ideal generated by the plus cupping c.e. degrees | 2007-04-19 | Paper |
| FC-normal and extended stratified logic program | 2007-02-20 | Paper |
| An extension of Harrington's noncupping theorem | 2007-02-20 | Paper |
| Computability of measurable sets via effective topologies | 2006-03-22 | Paper |
| Computability of measurable sets via effective metrics | 2005-11-15 | Paper |
| There is no SW-complete c.e. real | 2005-08-29 | Paper |
| Infimum properties differ in the weak truth-table degrees and the Turing degrees | 2004-11-26 | Paper |
| The Kolmogorov complexity of random reals | 2004-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813892 | 2004-09-07 | Paper |
| There are 2^{ℵ₀} many 𝐻-degrees in the random reals | 2004-08-13 | Paper |
| Characterization of an auto-compatible default theory | 2003-12-09 | Paper |
| Fixed-parameter tractability of disjunction-free default reasoning | 2003-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329006 | 2002-04-29 | Paper |
| Lattice embedding into d-r. e. degrees preserving 0 and 1 | 2002-04-24 | Paper |
| Complexity results for 2CNF default theories | 2001-07-23 | Paper |
| Complexity results for restricted credulous default reasoning | 2001-03-19 | Paper |
| Two alternative notions of 'possibility' satisfying Halpern's conditions | 2001-03-13 | Paper |
| More on bounding introspection in modal nonmonotonic logics | 2001-03-12 | Paper |
| Two tractable subclasses of minimal unsatisfiable formulas | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364595 | 1997-11-17 | Paper |
| Isolated d.r.e. degrees are dense in r.e. degree structure | 1997-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4333071 | 1997-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4867681 | 1996-06-25 | Paper |
| Isolated d-r.e. degree below r.e. degree | 1995-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4320153 | 1995-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4764099 | 1995-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4320262 | 1995-07-20 | Paper |
| Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees | 1995-06-08 | Paper |
| Default logic about assertions | 1995-02-13 | Paper |
| Non-p-generic and strongly nonbranching degree | 1994-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4272353 | 1994-09-01 | Paper |
| The density of noncontiguous degrees | 1994-08-28 | Paper |
| The structures inside Turing degrees of recursively enumerable generic sets | 1994-06-05 | Paper |
| A comparison of frequencies of occurrence of \(p\)-generic and non-\(p\)- generic Turing degrees | 1994-06-05 | Paper |
| The distribution of the generic recursively enumerable degrees | 1993-11-30 | Paper |
| Density of non-p-generic and non-branching r.e. degrees in r.e. low degrees | 1993-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4008602 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3999549 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3765754 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3772197 | 1987-01-01 | Paper |
| Density of recursively inseparable R. E. Sets and universal recrusively inseparability | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3775542 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3778018 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3778019 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3679165 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680822 | 1984-01-01 | Paper |
