Concepedia

J. Hartmanis

JH

5

Publications

249

Citations

5

H-Index

1969

Active since

Affiliations

Cornell University(Current)

J. Hartmanis is an author at Cornell University specializing in computational complexity, computer science, and engineering.

Top concepts

EngineeringComputer ScienceComputational ComplexityFormal MethodsSoftware AnalysisAutomated ReasoningSyntaxLanguageComplexityLinguistics

Publications per year

1969–1989

5

Publications

5

The Boolean Hierarchy II: Applications

Jin‐Yi Cai, Thomas Gundermann, J. Hartmanis et al. · SIAM Journal on Computing · 1989 · 108 citations

Circuit Complexity, Computational Complexity Theory, Engineering +18

On log-tape isomorphisms of complete sets

J. Hartmanis · Theoretical Computer Science · 1978 · 50 citations

Extremal Set Theory, Partially Ordered Set, Set-theoretic Topology +1

Computational complexity of random access stored program machines

J. Hartmanis · Theory of Computing Systems · 1971 · 44 citations

Computational Complexity Theory, Engineering, Program Analysis +9

On Gödel speed-up and succinctness of language representations

J. Hartmanis · Theoretical Computer Science · 1983 · 32 citations

Natural Language, Syntax, Computational Linguistics +5

Two memory bounds for the recognition of primes by automata

J. Hartmanis, H. Shank · Theory of Computing Systems · 1969 · 15 citations

Computational Complexity Theory, Engineering, Computational Number Theory +9

Rows per page

1–5 of 5