| Publication | Date of Publication | Type |
|---|
| Splitting and jump inversion in the Turing degrees | 2018-09-20 | Paper |
| Linearisations and the Ershov hierarchy | 2018-09-20 | Paper |
| Corrigendum to: ``The d.r.e. degrees are not dense | 2017-09-29 | Paper |
| The machine as data: a computational view of emergence and definability | 2017-03-09 | Paper |
| Automorphisms ofη-like computable linear orderings and Kierstead's conjecture | 2017-02-01 | Paper |
| A Roadmap for TAMC | 2014-04-16 | Paper |
| Incomputability after Alan Turing | 2014-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851819 | 2013-10-04 | Paper |
| The Mathematician’s Bias — and the Return to Embodied Computation | 2013-02-26 | Paper |
| Introduction: computability of the physical | 2012-10-23 | Paper |
| Definability in the Real Universe | 2012-09-05 | Paper |
| From Turing Machine to Morphogenesis: Forming and Informing Computation | 2012-07-16 | Paper |
| Mathematics, Metaphysics and the Multiverse | 2012-06-15 | Paper |
| The Incomputable Alan Turing | 2012-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3224114 | 2012-03-29 | Paper |
| Extending and interpreting Post's programme | 2011-08-26 | Paper |
| Splitting and nonsplitting in the \(\Sigma_2^0\) enumeration degrees | 2011-04-05 | Paper |
| Emergence as a computability-theoretic phenomenon | 2009-11-13 | Paper |
| Computation and logic in the real world: CiE 2007 | 2009-10-19 | Paper |
| The Extended Turing Model as Contextual Tool | 2009-06-03 | Paper |
| On Lachlan's major sub-degree problem | 2008-09-09 | Paper |
| How enumeration reductibility yields extended Harrington non-splitting | 2008-06-09 | Paper |
| Total Degrees and Nonsplitting Properties of $\Sigma_2^0$ Enumeration Degrees | 2008-05-27 | Paper |
| The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable Degrees | 2008-05-27 | Paper |
| Post's Programme for the Ershov Hierarchy | 2008-02-07 | Paper |
| The Strongest Nonsplitting Theorem | 2007-11-13 | Paper |
| There exists a maximal 3-c.e. enumeration degree | 2007-09-28 | Paper |
| Theory and Applications of Models of Computation | 2007-04-30 | Paper |
| SOFSEM 2006: Theory and Practice of Computer Science | 2006-11-14 | Paper |
| Splitting and cone avoidance in the d.c.e. degrees | 2006-09-22 | Paper |
| Definability as hypercomputational effect | 2006-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5477947 | 2006-06-29 | Paper |
| Bounding and nonbounding minimal pairs in the enumeration degrees | 2006-01-16 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| Properly ?2 minimal degrees and 0? complementation | 2005-06-01 | Paper |
| The minimal e-degree problem in fragments of Peano arithmetic | 2005-01-31 | Paper |
| Turing Definability in the Ershov Hierarchy | 2004-06-10 | Paper |
| Splitting and nonsplitting, II: A low2 c.e. degree above which 0′ is not splittable | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449350 | 2004-02-09 | Paper |
| Non-uniformity and generalised Sacks splitting | 2003-10-16 | Paper |
| On the distribution of Lachlan nonsplitting bases | 2003-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417312 | 2003-07-28 | Paper |
| On a Conjecture of Kleene and Post | 2002-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511553 | 2001-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944907 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934279 | 2000-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938553 | 2000-09-20 | Paper |
| Upper cones as automorphism bases | 2000-05-04 | Paper |
| Initial segments of recursive linear orders | 1999-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381408 | 1999-02-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4348125 | 1998-03-31 | Paper |
| Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets | 1997-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4336988 | 1997-09-03 | Paper |
| Noncappable enumeration degrees below 0e′ | 1997-04-23 | Paper |
| Strong Minimal Covers for Recursively Enumerable Degrees | 1996-11-04 | Paper |
| The discontinuity of splitting in the recursively enumerable degrees | 1996-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4863239 | 1996-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4325780 | 1995-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281250 | 1994-10-17 | Paper |
| A Splitting Theorem for the N-R.E. Degrees | 1992-08-13 | Paper |
| The d.r.e. degrees are not dense | 1992-06-28 | Paper |
| The density of the low\(_ 2\) \(n\)-r.e. degrees | 1992-06-26 | Paper |
| The strong anticupping property for recursively enumerable degrees | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3487329 | 1990-01-01 | Paper |
| The jump is definable in the structure of the degrees of unsolvability | 1990-01-01 | Paper |
| Weak density and cupping in the d-r.e. degrees | 1989-01-01 | Paper |
| A jump class of noncappable degrees | 1989-01-01 | Paper |
| Properly Σ2 Enumeration Degrees | 1988-01-01 | Paper |
| Complementing below recursively enumerable degrees | 1987-01-01 | Paper |
| Enumeration Reducibility Using Bounded Information: Counting Minimal Covers | 1987-01-01 | Paper |
| On minimal pairs of enumeration degrees | 1985-01-01 | Paper |
| Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ2 sets are dense | 1984-01-01 | Paper |
| Partial degrees and the density problem | 1982-01-01 | Paper |
| Minimal pairs and high recursively enumerable degrees | 1975-01-01 | Paper |
| Minimal degrees and the jump operator | 1973-01-01 | Paper |
| Jump equivalence of the Δ20 hyperimmune sets | 1972-01-01 | Paper |
| Degrees of unsolvability complementary between recursively enumerable degrees, Part 1 | 1972-01-01 | Paper |
| Minimal Upper Bounds for Sequences of Recursively Enumerable Degrees | 1972-01-01 | Paper |
