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