Concepedia

Juris Hartmanis

JH

Statistics

Publications

17

Citations

2.2K

H-Index

14

Active since

1963

Affiliations

Cornell University(Current)

General Electric (United States)

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

Top concepts

EngineeringComputer ScienceComputational ComplexityFormal MethodsAutomated ReasoningDiscrete MathematicsFormal VerificationCombinatorial OptimizationProof ComplexityCircuit Complexity

Publications per year

1963–1993

17

Publications

17

Algebraic Structure Theory of Sequential Machines

Eric G. Wagner, Juris Hartmanis, Richard E. Stearns · Mathematics of Computation · 1968 · 526 citations

Computational Model Theory, Sequential Machines, Algebraic Structure +1

Computers and Intractability: A Guide to the Theory of NP-Completeness (Michael R. Garey and David S. Johnson)

Juris Hartmanis · SIAM Review · 1982 · 357 citations

Computational Complexity Theory, Engineering, Abstract Complexity +11

Hierarchies of memory limited computations

Richard E. Stearns, Juris Hartmanis, Philip Lewis · 1965 · 357 citations

Circuit Complexity, Engineering, Computer Architecture +16

An Overview of the Theory of Computational Complexity

Juris Hartmanis, John E. Hopcroft · Journal of the ACM · 1971 · 173 citations · Full text

Generalized Kolmogorov complexity and the structure of feasible computations

Juris Hartmanis · 1983 · 148 citations

Mathematical Programming, Computational Complexity Theory, Engineering +12

1–5 of 17