Juris Hartmanis
Latvian computer scientist
Works (40)
Rewriting techniques and applications
Mathematical foundations of computer science 2000
Higher order logic theorem proving and its applications
Foundations of software technology and theoretical computer science
Formal hardware verification
Advanced information systems engineering
Implementation of functional languages
Concurrency theory
Algorithm theory
Parallel and distributed processing
Smart card research and applications
Advances in cryptology, 1981-1997
Vector and parallel processing--VECPAR 2000
Articulated motion and deformable objects
Parallel and distributed processing
Concurrent object-oriented programming and Petri nets
Interactive distributed multimedia systems and telecommunication services
Selected areas in cryptography
Automata, Languages and Programming
Document analysis systems
Algebraic Frames for the Perception-Action Cycle
Mathematical Foundations of Computer Science 1997
Computer Aided Vertification
Languages and Compilers for Parallel Computing
Mathematical Foundations of Computer Science, 1998
Logic and computational complexity
Visual information and information systems
Multimedia applications, services and techniques, ECMAST '99
Application and theory of petri nets 1999
Feasible computations and provable complexity properties
Adaptive hypermedia and adaptive Web-based systems
Medical image computing and computer assisted intervention - MICCAI '99
Interactive Multimedia Documents
Feasible Computations and Provable Complexity Properties (CBMS-NSF Regional Conference Series in Applied Mathematics)
Recent trends in algebraic development techniques
Algebraic methodology and software technology
Graph drawing
Programs as data objects
Languages and compilers for parallel computing
Foundations of information and knowledge systems