Searching for authors named "Dominik Schmitz" – sorted by Relevance.
-
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

