J
Juris Hartmanis
Researcher at Cornell University
Publications - 171
Citations - 10901
Juris Hartmanis is an academic researcher from Cornell University. The author has contributed to research in topics: Structural complexity theory & Computational complexity theory. The author has an hindex of 46, co-authored 171 publications receiving 10705 citations. Previous affiliations of Juris Hartmanis include National Research Council & General Electric.
Papers
More filters
Book
Fast Software Encryption
TL;DR: Simplified variants that omit a quadratic function and a fixed rotation in RC6 are examined to clarify their essential contribution to the overall security of RC6.
Book
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
TL;DR: Using partial orders to tackle state explosion and persistent sets for verification of safety properties and model checking are used.
Journal ArticleDOI
On the computational complexity of algorithms
Journal ArticleDOI
On Isomorphisms and Density of $NP$ and Other Complete Sets
Leonard Berman,Juris Hartmanis +1 more
TL;DR: It is shown that complete sets in EXPTIME and EXPTAPE cannot be sparse and therefore they cannot be over a single letter alphabet, and the hardest context-sensitive languages can be sparse.