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
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
TL;DR: A small hard real-time programming language with a hierarchy of views and a functional implementation of the algebra of commands.
Journal ArticleDOI
Languages Simultaneously Complete for One-Way and Two-Way Log-Tape Automata
TL;DR: It is shown that for the one-way $\log n$-tape automata the nondeterministic model (1-NL) is computationally much more powerful than the deterministic model(1-L), that under one- way $\logn$-Tape reductions there exist natural complete languages for these automata and that the complete languages cannot be sparse.
BookDOI
State of the Art in Applied Cryptography
TL;DR: The state of the art for cryptographic primitives that are used for protecting the authenticity of information are described: cryptographic hash functions and digital signature schemes; the first class can be divided into Manipulation Detection Codes (MDCs) and Message Authentication Codes (or MACs).