Gerhard Goos
1937 – 2020
77 works on record
Biography
Works

Informatik
1971

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

Applied formal methods--FM-Trends 98

Programs as data objects

Vision algorithms

Application and theory of petri nets 1999

Smart card research and applications

Constraints in computational logics

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

Computer science logic

Conceptual modeling

Foundations of software technology and theoretical computer science

Concurrency theory

Recent trends in algebraic development techniques

Algorithm theory

Document analysis systems

Advances in exception handling techniques

Mathematical Foundations of Computer Science, 1998

DIANA

Algebraic Frames for the Perception-Action Cycle

Distributed Programming Paradigms with Cryptography Applications Lecture Notes in Computer Science

Advanced information systems engineering

Visual information and information systems

Scale-space theories in computer vision

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

The programming language Ada reference manual

Software engineering

Evolutionary programming VII

Informatics and Medicine

Parallel and distributed processing

DIANA, intermediate language for Ada

1. Fachtagung über Automatentheorie undFormale Sprachen

Interactive Multimedia Documents

An Attribute grammar for the semantic analysis of ADA

Informatik 2

Information Security

Vorlesungen über Informatik

Lecture notes in computer science

Object-Oriented Technology

Anaphora in Natural Language Understanding

Mathematical Foundations of Computer Science 1997

Informatik 1

Journal on Data Semantics XII

Programmiermethodik mit Ada

Computer Aided Vertification

Theory and Practice of Parallel Programming

Vorlesungen über Informatik: Band 4

Vorlesungen über Informatik: Band 3

Vorlesungen über Informatik: Band 1

Vorlesungen über Informatik: Band 2

Algebraic Methods

Automata, Languages and Programming (Fourth Colloquium, Univ of Turku, Finland, July 18-22, 1977)
The programming language Ada
1981
Diana reference manual
Vorlesungen über Informatik : Band 2
Vorlesungen über Informatik : Band 1
Compiler Construction
Erfahrungen mit 1500 Avertinnarkosen
Die Programmiersprache LEX
Informatik. Eine einführende Übersicht: Teil 2