 | 2010 |
|---|
| 7 |       | Adam Antonik,
Michael Huth,
Kim G. Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Modal and mixed specifications: key decision problems and their complexities.
Mathematical Structures in Computer Science 20(1): 75-103 (2010) |
| 2009 |
|---|
| 6 | | Adam Antonik,
Nathaniel Charlton,
Michael Huth:
Polynomial-Time Under-Approximation of Winning Regions in Parity Games.
Electr. Notes Theor. Comput. Sci. 225: 115-139 (2009) |
| 5 | | Adam Antonik,
Michael Huth,
Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
EXPTIME-complete Decision Problems for Modal and Mixed Specifications.
Electr. Notes Theor. Comput. Sci. 242(1): 19-33 (2009) |
| 4 | | Adam Antonik,
Michael Huth:
On the Complexity of Semantic Self-minimization.
Electr. Notes Theor. Comput. Sci. 250(1): 3-19 (2009) |
| 2008 |
|---|
| 3 | | Adam Antonik,
Michael Huth,
Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Complexity of Decision Problems for Mixed and Modal Specifications.
FoSSaCS 2008: 112-126 |
| 2 |  | Adam Antonik,
Michael Huth,
Kim G. Larsen,
Ulrik Nyman,
Andrzej Wasowski:
20 Years of Modal and Mixed Specifications.
Bulletin of the EATCS 95: 94-129 (2008) |
| 2006 |
|---|
| 1 | | Adam Antonik,
Michael Huth:
Efficient Patterns for Model Checking Partial State Spaces in CTL intersection LTL.
Electr. Notes Theor. Comput. Sci. 158: 41-57 (2006) |
Data released under the ODC-BY 1.0 license — See also our legal information page