| |
| 2009 | ||
|---|---|---|
| 3 | 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) |
| 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) |
| 1 | Nathaniel Charlton | [3] |
| 2 | Michael Huth | [1] [2] [3] |
| 3 | Kim Guldstrand Larsen | [2] |
| 4 | Ulrik Nyman | [2] |
| 5 | Andrzej Wasowski | [2] |