| Publication | Date of Publication | Type |
|---|
| Statistical mechanics, three-dimensionality and NP-completeness | 2014-09-26 | Paper |
| Alan Turing and John von Neumann - Their Brains and Their Computers | 2013-04-16 | Paper |
| Combinatorial algorithms for protein folding in lattice models: a survey of mathematical results | 2010-04-23 | Paper |
| Computational Methods for SNPs and Haplotype Inference | 2007-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024798 | 2005-07-04 | Paper |
| Polynomial and APX-hard cases of the individual haplotyping problem | 2005-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3158109 | 2005-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452087 | 2004-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4408101 | 2003-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4408102 | 2003-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4796705 | 2003-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234061 | 2002-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952629 | 2001-07-04 | Paper |
| Bisimulation can't be traced | 1998-02-02 | Paper |
| Bounded-width polynomial-size Boolean formulas compute exactly those functions in AC\(^ 0\) | 1995-03-01 | Paper |
| The pagenumber of genus g graphs is O( g ) | 1994-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281559 | 1994-03-10 | Paper |
| An arithmetical hierarchy in propositional dynamic logic | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4207598 | 1988-01-01 | Paper |
| Nivat's processing systems: decision problems related to protection and synchronization | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3221430 | 1983-01-01 | Paper |
| Some remarks on non-algebraic adherences | 1982-01-01 | Paper |
| Generalization of the Ginsburg-Rice Schuetzenberger fixed-point theorem for context-sensitive and recursive-enumerable languages | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4743748 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3959447 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893342 | 1980-01-01 | Paper |
| On complements of some bounded context-sensitive languages | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3859277 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198032 | 1979-01-01 | Paper |
| Tag systems generating Thue irreductible sequences | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4144811 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4162676 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4164843 | 1978-01-01 | Paper |
| Elementary bounded languages | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4141427 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4148953 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4151737 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4178508 | 1977-01-01 | Paper |
