Juris Hartmanis

From MaRDI portal
Person:1071499

Available identifiers

zbMath Open hartmanis.jurisWikidataQ92628 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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Juris Hartmanis