Heren Zhou
According to our database1,
Heren Zhou
authored at least 3 papers
between 1991 and 1994.
Collaborative distances:
Collaborative distances:
Timeline
1991
1992
1993
1994
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
Anwendung temporaler Logiken zur Überwachung dynamischer Integritätsbedingungen von Datenbanken.
PhD thesis, 1994
1993
Überwachung dynamischer Integritätsbedingungen mit Hilfe vergangenheitsbezogener temporaler Logik.
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.
Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991