Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
Juris Hartmanis - MaRDI portal

Juris Hartmanis

From MaRDI portal
(Redirected from Person:594583)
Person:1071499

Available identifiers

zbMath Open hartmanis.jurisDBLP84/5656WikidataQ92628 ScholiaQ92628MaRDI QIDQ1071499

List of research outcomes





PublicationDate of PublicationType
Structural complexity theory: Recent surprises2022-12-09Paper
Separation of complexity classes2015-12-07Paper
https://portal.mardi4nfdi.de/entity/Q49041432013-01-28Paper
Turing Machine-Inspired Computer Science Results2012-08-14Paper
On the computing paradigm and computational complexity2010-06-17Paper
https://portal.mardi4nfdi.de/entity/Q44313622003-10-22Paper
https://portal.mardi4nfdi.de/entity/Q44312232003-10-21Paper
Observations About the Development of Theoretical Computer Science2002-11-25Paper
Computation times of NP sets of different densities2002-05-13Paper
https://portal.mardi4nfdi.de/entity/Q27766062002-02-28Paper
https://portal.mardi4nfdi.de/entity/Q43801431998-06-04Paper
https://portal.mardi4nfdi.de/entity/Q47635111995-04-18Paper
On Hausdorff and topological dimensions of the Kolmogorov complexity of the real line1995-01-15Paper
The random oracle hypothesis is false1994-10-13Paper
https://portal.mardi4nfdi.de/entity/Q42998631994-09-20Paper
https://portal.mardi4nfdi.de/entity/Q40052001992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q39751351992-06-26Paper
Space bounded computations: Review and new separation results1992-06-25Paper
https://portal.mardi4nfdi.de/entity/Q47126521992-06-25Paper
One-way functions and the nonisomorphism of NP-complete sets1991-01-01Paper
New developments in structural complexity theory1990-01-01Paper
Robust machines accept easy sets1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38237981989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38305321989-01-01Paper
The Boolean Hierarchy II: Applications1989-01-01Paper
Complexity classes without machines: on complete languages for UP1988-01-01Paper
On sparse oracles separating feasible complexity classes1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37952261988-01-01Paper
The Boolean Hierarchy I: Structural Properties1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37835591987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38117101987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38117111987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37427161986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38010711986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38026081986-01-01Paper
Independence results about context-free languages and lower bounds1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36965161985-01-01Paper
Sparse sets in NP-P: EXPTIME versus NEXPTIME1985-01-01Paper
On Goedel speed-up and succinctness of language representations1983-01-01Paper
On sparse sets in NP-P1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33155001983-01-01Paper
A note on natural complete sets and Goedel numberings1982-01-01Paper
Languages Simultaneously Complete for One-Way and Two-Way Log-Tape Automata1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38885271980-01-01Paper
On the Succinctness of Different Representations of Languages1980-01-01Paper
Relations between diagonalization, proof systems, and complexity gaps1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41973411979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41995621979-01-01Paper
On log-tape isomorphisms of complete sets1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41626631978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41825011976-01-01Paper
Computational complexity of formal translations1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41092941975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41825001975-01-01Paper
On Simple Goedel Numberings and Translations1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40551931974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47700031974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47758571974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47782641974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41228371973-01-01Paper
On non-determinacy in simple computing devices1972-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56721701971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56815341971-01-01Paper
The use of lists in the study of undecidable problems in automata theory1971-01-01Paper
Computational complexity of random access stored program machines1971-01-01Paper
An Overview of the Theory of Computational Complexity1971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56393671971-01-01Paper
What makes some language theory problems undecidable1970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q51804131970-01-01Paper
A note on one-way and two-way automata1970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56281121970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56321471970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56368621970-01-01Paper
Two memory bounds for the recognition of primes by automata1969-01-01Paper
Two memory bounds for the recognition of primes by automata1969-01-01Paper
On the Complexity of Undecidable Problems in Automata Theory1969-01-01Paper
Tape-reversal bounded Turing machine computations1968-01-01Paper
Computational Complexity of One-Tape Turing Machine Computations1968-01-01Paper
On the Recognition of Primes by Automata1968-01-01Paper
Homomorphic images of linear sequential machines1967-01-01Paper
Sets of Numbers Defined by Finite Automata1967-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55362821967-01-01Paper
On Memory Requirements for Context-Free Language Recognition1967-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55838561967-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55354141966-01-01Paper
Complete Sets of Functions of Two and Three Binary Variables1966-01-01Paper
On the Computational Complexity of Algorithms1965-01-01Paper
Two Tests for the Linearity of Sequential Machines1965-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56018281965-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56084851965-01-01Paper
Pair algebra and its application to automata theory1964-01-01Paper
Pair algebra and its application to automata theory1964-01-01Paper
A Study of Feedback and Errors in Sequential Machines1963-01-01Paper
The Multiple-Category Bayes Decision Procedure1963-01-01Paper
Regularity preserving modifications of regular expressions1963-01-01Paper
Loop-free structure of sequential machines1962-01-01Paper
Some dangers in state reduction of sequential machines1962-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55471741962-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57206021961-01-01Paper
Symbolic analysis of a decomposition of information processing machines1960-01-01Paper
Lattice Theory of Generalized Partitions1959-01-01Paper
The application of some basic inequalities for entropy1959-01-01Paper
On the Lattice of Topologies1958-01-01Paper
A Note on the Lattice of Geometries1957-01-01Paper
Two Embedding Theorems for Finite Lattices1956-01-01Paper

Research outcomes over time

This page was built for person: Juris Hartmanis