G
Gerhard Goos
Publications - 33
Citations - 3706
Gerhard Goos is an academic researcher. The author has contributed to research in topics: Model checking & Artificial Intelligence System. The author has an hindex of 17, co-authored 33 publications receiving 3657 citations.
Papers
More filters
Book
Fast Software Encryption
TL;DR: Simplified variants that omit a quadratic function and a fixed rotation in RC6 are examined to clarify their essential contribution to the overall security of RC6.
Book
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
TL;DR: Using partial orders to tackle state explosion and persistent sets for verification of safety properties and model checking are used.
Book
Temporal Databases: Research and Practice
TL;DR: An object-oriented framework for temporal data models for supporting interoperability among temporal databases and a glossary of time granularity concepts for temporal database concepts.
Book
Computer Science Today: Recent Trends and Developments
TL;DR: A quantum jump in computer science, artificial life and real world computing, and Computational machine learning in theory and praxis.
BookDOI
The World Wide Web and Databases
TL;DR: The name Quilt suggests both the way in which features from several languages were assembled to make a new query language, and theway in which Quilt queries can combine information from diverse data sources into a query result with a new structure of its own.