Anwendung temporaler Logiken zur Überwachung dynamischer Integritätsbedingungen von Datenbanken.
PhD thesis, 1994
Überwachung dynamischer Integritätsbedingungen mit Hilfe vergangenheitsbezogener temporaler Logik.
Proceedings of the Tagung des Arbeitskreises der GI Datenbanken: Grundlagen von Informationssystemen, 1993
Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals.
Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991