The following pages link to Gunter Saake (Q1095681):
Displaying 39 items.
- (Q679326) (redirect page) (← links)
- Deriving liveness goals from temporal logic specifications (Q679327) (← links)
- Denotational semantics of a parallel object-oriented language (Q910250) (← links)
- Theoretical foundations of handling large substitution sets in temporal integrity monitoring (Q914364) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- Monitoring dynamic integrity constraints based on temporal logic (Q1095682) (← links)
- A comparison between algebraic query languages for flat and nested databases (Q1177142) (← links)
- A non-reified temporal logic (Q1190791) (← links)
- Interactive example-driven integration and reconciliation for accessing database federations. (Q1400302) (← links)
- A two-level temporal logic for evolving specifications. (Q1853062) (← links)
- Global extensional assertions and local integrity constraints in federated schemata (Q1859997) (← links)
- Dependency types (Q2277841) (← links)
- A comprehensive database schema integration method based on the theory of formal concepts (Q2484068) (← links)
- Consistency management in object-oriented databases (Q2744786) (← links)
- (Q2756973) (← links)
- (Q2772408) (← links)
- (Q2773817) (← links)
- (Q2777486) (← links)
- XML data clustering (Q2875063) (← links)
- (Q3045455) (← links)
- Monitoring temporal preconditions in a behaviour oriented object model (Q3122464) (← links)
- (Q3349971) (← links)
- (Q3377360) (← links)
- (Q4317198) (← links)
- (Q4338831) (← links)
- (Q4400798) (← links)
- (Q4400804) (← links)
- (Q4405845) (← links)
- (Q4439708) (← links)
- (Q4439709) (← links)
- (Q4486026) (← links)
- A component-based Petri net model for specifying and validating cooperative information systems (Q4538718) (← links)
- (Q4666124) (← links)
- (Q4709008) (← links)
- (Q4715510) (← links)
- (Q5500948) (← links)
- (Q5708386) (← links)
- Objects, Agents, and Features (Q5713990) (← links)
- How Configurable is the Linux Kernel? Analyzing Two Decades of Feature-Model History (Q6716591) (← links)
