×

zbMATH — the first resource for mathematics

Saake, Gunter

Compute Distance To:
Author ID: saake.gunter Recent zbMATH articles by "Saake, Gunter"
Published as: Saake, Gunter; Saake, G.
External Links: IdRef · MGP · Wikidata · GND
Documents Indexed: 34 Publications since 1987, including 11 Books
Reviewing Activity: 8 Reviews

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 17 times in 14 Documents Cited by Year
Monitoring dynamic integrity constraints based on temporal logic. Zbl 0632.68090
Lipeck, Udo W.; Saake, Gunter
7
1987
Integrating and rapid-prototyping UML structural and behavioural diagrams using rewriting logic. Zbl 1046.68663
Aoumeur, Nasreddine; Saake, Gunter
3
2002
Introduction to logics for databases and information systems. Zbl 0925.03157
Chomicki, Jan; Saake, Gunter
1
1998
Evolving logical specification in information systems. Zbl 0905.03014
Conrad, Stefan; Ramos, Jaime; Saake, Gunter; Sernadas, Cristina
1
1998
Theoretical foundations of handling large substitution sets in temporal integrity monitoring. Zbl 0701.68022
Hülsmann, Klaus; Saake, Gunter
1
1991
Using finite-linear temporal logic for specifying database dynamics. Zbl 0727.68031
Saake, Gunter; Lipeck, Udo W.
1
1989
Deriving liveness goals from temporal logic specifications. Zbl 0976.03036
Caleiro, C.; Saake, G.; Sernadas, A.
1
1996
XML data clustering: an overview. Zbl 1293.68083
Algergawy, Alsayed; Mesiti, Marco; Nayak, Richi; Saake, Gunter
1
2011
A two-level temporal logic for evolving specifications. Zbl 1043.68069
Schobbens, P. Y.; Saake, G.; Sernadas, A.; Sernadas, C.
1
2002
XML data clustering: an overview. Zbl 1293.68083
Algergawy, Alsayed; Mesiti, Marco; Nayak, Richi; Saake, Gunter
1
2011
Integrating and rapid-prototyping UML structural and behavioural diagrams using rewriting logic. Zbl 1046.68663
Aoumeur, Nasreddine; Saake, Gunter
3
2002
A two-level temporal logic for evolving specifications. Zbl 1043.68069
Schobbens, P. Y.; Saake, G.; Sernadas, A.; Sernadas, C.
1
2002
Introduction to logics for databases and information systems. Zbl 0925.03157
Chomicki, Jan; Saake, Gunter
1
1998
Evolving logical specification in information systems. Zbl 0905.03014
Conrad, Stefan; Ramos, Jaime; Saake, Gunter; Sernadas, Cristina
1
1998
Deriving liveness goals from temporal logic specifications. Zbl 0976.03036
Caleiro, C.; Saake, G.; Sernadas, A.
1
1996
Theoretical foundations of handling large substitution sets in temporal integrity monitoring. Zbl 0701.68022
Hülsmann, Klaus; Saake, Gunter
1
1991
Using finite-linear temporal logic for specifying database dynamics. Zbl 0727.68031
Saake, Gunter; Lipeck, Udo W.
1
1989
Monitoring dynamic integrity constraints based on temporal logic. Zbl 0632.68090
Lipeck, Udo W.; Saake, Gunter
7
1987

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.