Gerhard Goos
German computer scientist
Works (50)

Lecture notes in computer science

Rewriting techniques and applications

Mathematical foundations of computer science 2000

Foundations of software technology and theoretical computer science

Formal hardware verification

Advanced information systems engineering

Implementation of functional languages

Concurrency theory

Algorithm theory

Object-Oriented Technology

Parallel and distributed processing

Anaphora in Natural Language Understanding

Smart card research and applications

Advances in cryptology, 1981-1997

Algebraic Methods

Vector and parallel processing--VECPAR 2000

Articulated motion and deformable objects

Parallel and distributed processing

Conceptual modeling

Distributed Programming Paradigms with Cryptography Applications
Lecture Notes in Computer Science

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

Constraints in computational logics

DIANA, intermediate language for Ada

Algebraic Frames for the Perception-Action Cycle

Mathematical Foundations of Computer Science 1997

Computer Aided Vertification

Automata, Languages and Programming (Fourth Colloquium, Univ of Turku, Finland, July 18-22, 1977)

Languages and Compilers for Parallel Computing

Mathematical Foundations of Computer Science, 1998

Logic and computational complexity

Visual information and information systems

Scale-space theories in computer vision

Multimedia applications, services and techniques, ECMAST '99

Information Security

Application and theory of petri nets 1999

Vision algorithms

Adaptive hypermedia and adaptive Web-based systems

Medical image computing and computer assisted intervention - MICCAI '99

Computer science logic

Informatik
1971

Advances in exception handling techniques

Software engineering

Evolutionary programming VII

Vorlesungen über Informatik

Interactive Multimedia Documents

Applied formal methods--FM-Trends 98