Searching for authors named "Dominik Schmitz" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games
- …Implementation of a strategy improvement algorithm for nite-state parity games Dominik Schmitz…
- Cited by 6 (1 self) – Add To MetaCart
-
The Package omega - Solving of Parity Games over Finite Graphs and Application to µ-calculus model-checking
- …-checking Dominik Schmitz and Jens Voge RWTH-Aachen Lehrstuhl fur Informatik VII Prof. Dr. Wolfgang Thomas…
- Add To MetaCart
-
Deliberation in a Modeling and Simulation Environment for Inter-Organizational Networks
- …unter Gans 1 , Matthias Jarke 12 , Gerhard Lakemeyer 1 , and Dominik Schmitz 1 1 RWTH Aachen…
- Cited by 5 (3 self) – Add To MetaCart
-
Deliberation in a Metadata-Based Modeling and Simulation Environment for Inter-Organizational Networks
- …-Organizational Networks Gunter Gans a , Matthias Jarke a,b , Gerhard Lakemeyer a , Dominik Schmitz a a RWTH Aachen…
- Cited by 3 (2 self) – Add To MetaCart
-
Continuous, Requirements-Driven Support for Organizations, Networks, and Communities
- … Jarke 1,2 , Ralf Klamma 1 , Gerhard Lakemeyer 1 , and Dominik Schmitz 2 1 RWTH Aachen University…
- Add To MetaCart
-
SNet Reloaded: Roles, Monitoring and Agent Evolution
- …SNet Reloaded: Roles, Monitoring and Agent Evolution Günter Gans 1 , Dominik Schmitz 1 , Matthias…
- Cited by 5 (4 self) – Add To MetaCart
-
First Supervisor: Second Supervisor: Advisor:
- … Dipl. Inform. Dominik Schmitz Lehrstuhl für Informatik VAbstract SNet is a prototype environment…
- Add To MetaCart
Showing 1 through 7.
