| Publication | Date of Publication | Type |
|---|
Statistical mechanics, three-dimensionality and NP-completeness
Proceedings of the thirty-second annual ACM symposium on Theory of computing | 2014-09-26 | Paper |
Alan Turing and John von Neumann - Their Brains and Their Computers
Membrane Computing | 2013-04-16 | Paper |
Combinatorial algorithms for protein folding in lattice models: a survey of mathematical results
Communications in Information and Systems | 2010-04-23 | Paper |
Computational Methods for SNPs and Haplotype Inference
Lecture Notes in Computer Science | 2007-11-28 | Paper |
| scientific article; zbMATH DE number 2185632 (Why is no real title available?) | 2005-07-04 | Paper |
Polynomial and APX-hard cases of the individual haplotyping problem
Theoretical Computer Science | 2005-06-10 | Paper |
| scientific article; zbMATH DE number 2130513 (Why is no real title available?) | 2005-01-20 | Paper |
| scientific article; zbMATH DE number 2040938 (Why is no real title available?) | 2004-02-11 | Paper |
| scientific article; zbMATH DE number 1945152 (Why is no real title available?) | 2003-07-02 | Paper |
| scientific article; zbMATH DE number 1945153 (Why is no real title available?) | 2003-07-02 | Paper |
| scientific article; zbMATH DE number 1877046 (Why is no real title available?) | 2003-03-20 | Paper |
| scientific article; zbMATH DE number 1263191 (Why is no real title available?) | 2002-02-03 | Paper |
| scientific article; zbMATH DE number 1445315 (Why is no real title available?) | 2001-07-04 | Paper |
Bisimulation can't be traced
Journal of the ACM | 1998-02-02 | Paper |
Bounded-width polynomial-size Boolean formulas compute exactly those functions in AC\(^ 0\)
Information Processing Letters | 1995-03-01 | Paper |
The pagenumber of genus <i>g</i> graphs is O( <i>g</i> )
Journal of the ACM | 1994-11-13 | Paper |
| scientific article; zbMATH DE number 512862 (Why is no real title available?) | 1994-03-10 | Paper |
An arithmetical hierarchy in propositional dynamic logic
Information and Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4128415 (Why is no real title available?) | 1988-01-01 | Paper |
Nivat's processing systems: decision problems related to protection and synchronization
Theoretical Computer Science | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3888932 (Why is no real title available?) | 1983-01-01 | Paper |
Some remarks on non-algebraic adherences
Theoretical Computer Science | 1982-01-01 | Paper |
Generalization of the Ginsburg-Rice Schuetzenberger fixed-point theorem for context-sensitive and recursive-enumerable languages
Theoretical Computer Science | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3799036 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3780584 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3700254 (Why is no real title available?) | 1980-01-01 | Paper |
On complements of some bounded context-sensitive languages
Information and Control | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3639123 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3660813 (Why is no real title available?) | 1979-01-01 | Paper |
Elementary bounded languages
Information and Control | 1978-01-01 | Paper |
Tag systems generating Thue irreductible sequences
Information Processing Letters | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3596263 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3575008 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3597900 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3583296 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3614198 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3568952 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3579980 (Why is no real title available?) | 1977-01-01 | Paper |
