Heren Zhou

According to our database, Heren Zhou authored at least 3 papers between 1991 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

Anwendung temporaler Logiken zur Überwachung dynamischer Integritätsbedingungen von Datenbanken.

Heren Zhou

PhD thesis, 1994

1993

Überwachung dynamischer Integritätsbedingungen mit Hilfe vergangenheitsbezogener temporaler Logik.

Heren Zhou

Proceedings of the Tagung des Arbeitskreises der GI Datenbanken: Grundlagen von Informationssystemen, 1993

1991

Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals.

Udo W. Lipeck, Heren Zhou

Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991