Juris Hartmanis
1928 – 2022
48 works on record
Biography
Works

Foundations of information and knowledge systems

Adaptive hypermedia and adaptive Web-based systems

Concurrent object-oriented programming and Petri nets

Articulated motion and deformable objects

Automata, Languages and Programming

Languages and compilers for parallel computing

Programs as data objects

Application and theory of petri nets 1999

Smart card research and applications

Multimedia applications, services and techniques, ECMAST '99

Vector and parallel processing--VECPAR 2000

Mathematical foundations of computer science 2000

Implementation of functional languages

Medical image computing and computer assisted intervention - MICCAI '99

Selected areas in cryptography

Foundations of software technology and theoretical computer science

Concurrency theory

Recent trends in algebraic development techniques

Algorithm theory

Document analysis systems

Mathematical Foundations of Computer Science, 1998

Algebraic Frames for the Perception-Action Cycle

Advanced information systems engineering

Visual information and information systems

Higher order logic theorem proving and its applications

Advances in cryptology, 1981-1997

Logic and computational complexity

Graph drawing

Interactive distributed multimedia systems and telecommunication services

Algebraic methodology and software technology

Rewriting techniques and applications

Formal hardware verification

Computational complexity theory

Parallel and distributed processing

Interactive Multimedia Documents

Mathematical Foundations of Computer Science 1997

Journal on Data Semantics XII

Computer Aided Vertification

Theory and Practice of Parallel Programming

Feasible computations and provable complexity properties

Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)

The Programming Language Ada Reference Manual
Algebraic structure theory of sequential machines [by] J. Hartmanis [and] R.E. Stearns
Computing the future
Complexity theory retrospective
Lectures on automata theory
Algebraic structure theory of sequential machines
Analytical Chemistry Lab Manual