| * | 2009 |
|---|
| 4 | EE | 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) |
| 3 | EE | 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) |
| 2008 |
|---|
| 2 | EE | Adam Antonik,
Michael Huth,
Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Complexity of Decision Problems for Mixed and Modal Specifications.
FoSSaCS 2008: 112-126 |
| 2006 |
|---|
| 1 | EE | 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) |
