| Publication | Date of Publication | Type |
|---|
Structural complexity theory: Recent surprises
SWAT 90 | 2022-12-09 | Paper |
Separation of complexity classes
Journal of the ACM | 2015-12-07 | Paper |
| scientific article; zbMATH DE number 6131595 (Why is no real title available?) | 2013-01-28 | Paper |
Turing Machine-Inspired Computer Science Results
Lecture Notes in Computer Science | 2012-08-14 | Paper |
On the computing paradigm and computational complexity
Lecture Notes in Computer Science | 2010-06-17 | Paper |
| scientific article; zbMATH DE number 1995143 (Why is no real title available?) | 2003-10-22 | Paper |
| scientific article; zbMATH DE number 1993581 (Why is no real title available?) | 2003-10-21 | Paper |
Observations About the Development of Theoretical Computer Science
IEEE Annals of the History of Computing | 2002-11-25 | Paper |
Computation times of NP sets of different densities
Theoretical Computer Science | 2002-05-13 | Paper |
| Undecidability and incompleteness results in automata theory | 2002-02-28 | Paper |
| scientific article; zbMATH DE number 1127060 (Why is no real title available?) | 1998-06-04 | Paper |
| scientific article; zbMATH DE number 743584 (Why is no real title available?) | 1995-04-18 | Paper |
On Hausdorff and topological dimensions of the Kolmogorov complexity of the real line
Journal of Computer and System Sciences | 1995-01-15 | Paper |
The random oracle hypothesis is false
Journal of Computer and System Sciences | 1994-10-13 | Paper |
| scientific article; zbMATH DE number 604885 (Why is no real title available?) | 1994-09-20 | Paper |
| scientific article; zbMATH DE number 58312 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 17793 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4768 (Why is no real title available?) | 1992-06-25 | Paper |
Space bounded computations: Review and new separation results
Theoretical Computer Science | 1992-06-25 | Paper |
One-way functions and the nonisomorphism of NP-complete sets
Theoretical Computer Science | 1991-01-01 | Paper |
New developments in structural complexity theory
Theoretical Computer Science | 1990-01-01 | Paper |
Robust machines accept easy sets
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4098721 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4106275 (Why is no real title available?) | 1989-01-01 | Paper |
The Boolean Hierarchy II: Applications
SIAM Journal on Computing | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4060720 (Why is no real title available?) | 1988-01-01 | Paper |
Complexity classes without machines: on complete languages for UP
Theoretical Computer Science | 1988-01-01 | Paper |
The Boolean Hierarchy I: Structural Properties
SIAM Journal on Computing | 1988-01-01 | Paper |
On sparse oracles separating feasible complexity classes
Information Processing Letters | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4047100 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4080915 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4080916 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4070309 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4068281 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3978383 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3921977 (Why is no real title available?) | 1985-01-01 | Paper |
Sparse sets in NP-P: EXPTIME versus NEXPTIME
Information and Control | 1985-01-01 | Paper |
Independence results about context-free languages and lower bounds
Information Processing Letters | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3845567 (Why is no real title available?) | 1983-01-01 | Paper |
On Goedel speed-up and succinctness of language representations
Theoretical Computer Science | 1983-01-01 | Paper |
On sparse sets in NP-P
Information Processing Letters | 1983-01-01 | Paper |
A note on natural complete sets and Goedel numberings
Theoretical Computer Science | 1982-01-01 | Paper |
Languages Simultaneously Complete for One-Way and Two-Way Log-Tape Automata
SIAM Journal on Computing | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3694582 (Why is no real title available?) | 1980-01-01 | Paper |
On the Succinctness of Different Representations of Languages
SIAM Journal on Computing | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3637285 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3640909 (Why is no real title available?) | 1979-01-01 | Paper |
Relations between diagonalization, proof systems, and complexity gaps
Theoretical Computer Science | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3596249 (Why is no real title available?) | 1978-01-01 | Paper |
On log-tape isomorphisms of complete sets
Theoretical Computer Science | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3619885 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3532523 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3619884 (Why is no real title available?) | 1975-01-01 | Paper |
Computational complexity of formal translations
Mathematical Systems Theory | 1975-01-01 | Paper |
On Simple Goedel Numberings and Translations
SIAM Journal on Computing | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3471606 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3454788 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3444819 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3451836 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3548469 (Why is no real title available?) | 1973-01-01 | Paper |
On non-determinacy in simple computing devices
Acta Informatica | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3407149 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3418624 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3366538 (Why is no real title available?) | 1971-01-01 | Paper |
Computational complexity of random access stored program machines
Mathematical Systems Theory | 1971-01-01 | Paper |
The use of lists in the study of undecidable problems in automata theory
Journal of Computer and System Sciences | 1971-01-01 | Paper |
An Overview of the Theory of Computational Complexity
Journal of the ACM | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3363526 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3428547 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3353263 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3358026 (Why is no real title available?) | 1970-01-01 | Paper |
What makes some language theory problems undecidable
Journal of Computer and System Sciences | 1970-01-01 | Paper |
A note on one-way and two-way automata
Mathematical Systems Theory | 1970-01-01 | Paper |
Two memory bounds for the recognition of primes by automata
Mathematical Systems Theory | 1969-01-01 | Paper |
On the Complexity of Undecidable Problems in Automata Theory
Journal of the ACM | 1969-01-01 | Paper |
Two memory bounds for the recognition of primes by automata
Mathematical Systems Theory | 1969-01-01 | Paper |
Computational Complexity of One-Tape Turing Machine Computations
Journal of the ACM | 1968-01-01 | Paper |
On the Recognition of Primes by Automata
Journal of the ACM | 1968-01-01 | Paper |
Tape-reversal bounded Turing machine computations
Journal of Computer and System Sciences | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3302285 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3251431 (Why is no real title available?) | 1967-01-01 | Paper |
Sets of Numbers Defined by Finite Automata
The American Mathematical Monthly | 1967-01-01 | Paper |
Homomorphic images of linear sequential machines
Journal of Computer and System Sciences | 1967-01-01 | Paper |
On Memory Requirements for Context-Free Language Recognition
Journal of the ACM | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3248552 (Why is no real title available?) | 1966-01-01 | Paper |
Complete Sets of Functions of Two and Three Binary Variables
IEEE Transactions on Electronic Computers | 1966-01-01 | Paper |
| On the Computational Complexity of Algorithms | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3322505 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3330440 (Why is no real title available?) | 1965-01-01 | Paper |
Two Tests for the Linearity of Sequential Machines
IEEE Transactions on Electronic Computers | 1965-01-01 | Paper |
Pair algebra and its application to automata theory
Information and Control | 1964-01-01 | Paper |
Pair algebra and its application to automata theory
Information and Control | 1964-01-01 | Paper |
Regularity preserving modifications of regular expressions
Information and Control | 1963-01-01 | Paper |
A Study of Feedback and Errors in Sequential Machines
IEEE Transactions on Electronic Computers | 1963-01-01 | Paper |
The Multiple-Category Bayes Decision Procedure
IEEE Transactions on Electronic Computers | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3261198 (Why is no real title available?) | 1962-01-01 | Paper |
Some dangers in state reduction of sequential machines
Information and Control | 1962-01-01 | Paper |
Loop-free structure of sequential machines
Information and Control | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3184436 (Why is no real title available?) | 1961-01-01 | Paper |
Symbolic analysis of a decomposition of information processing machines
Information and Control | 1960-01-01 | Paper |
Lattice Theory of Generalized Partitions
Canadian Journal of Mathematics | 1959-01-01 | Paper |
The application of some basic inequalities for entropy
Information and Control | 1959-01-01 | Paper |
On the Lattice of Topologies
Canadian Journal of Mathematics | 1958-01-01 | Paper |
| A Note on the Lattice of Geometries | 1957-01-01 | Paper |
| Two Embedding Theorems for Finite Lattices | 1956-01-01 | Paper |
