Monografie
On the operationalization of graph queries with generalized discrimination networks
- Language
-
Englisch
- Extent
-
39 Seiten
- ISBN
-
978-3-86956-372-5
- Identifier
-
1120046874
- Series
-
Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam; Nr. 106
Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
15.04.2024, 8:44 AM CEST
Object type
- Monografie
Other Objects (12)
On the operationalization of graph queries with generalized discrimination networks
Automatic verification of behavior preservation at the transformation level for relational model transformation
Metric temporal graph logic over typed attributed graphs
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Symbolic model generation for graph properties
Probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
A logic-based incremental approach to graph repair
Interval probabilistic timed graph transformation systems
Toward bridging the gap between formal semantics and implementation of triple graph grammars
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
On the operationalization of graph queries with generalized discrimination networks
Automatic verification of behavior preservation at the transformation level for relational model transformation
Metric temporal graph logic over typed attributed graphs
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Symbolic model generation for graph properties
Probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
A logic-based incremental approach to graph repair
Interval probabilistic timed graph transformation systems
Toward bridging the gap between formal semantics and implementation of triple graph grammars
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
On the operationalization of graph queries with generalized discrimination networks
Automatic verification of behavior preservation at the transformation level for relational model transformation
Metric temporal graph logic over typed attributed graphs
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Symbolic model generation for graph properties
Probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
A logic-based incremental approach to graph repair
Interval probabilistic timed graph transformation systems
Toward bridging the gap between formal semantics and implementation of triple graph grammars
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants