| * | 2009 |
|---|
| 7 | 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 |
|---|
| 6 | 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 |
| 2007 |
|---|
| 5 | EE | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
On Modal Refinement and Consistency.
CONCUR 2007: 105-119 |
| 4 | EE | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Modal I/O Automata for Interface and Product Line Theories.
ESOP 2007: 64-79 |
| 3 | EE | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Modeling software product lines using color-blind transition systems.
STTT 9(5-6): 471-487 (2007) |
| 2006 |
|---|
| 2 | EE | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Interface Input/Output Automata.
FM 2006: 82-97 |
| 2005 |
|---|
| 1 | EE | Kim Guldstrand Larsen,
Ulrik Larsen,
Andrzej Wasowski:
Color-Blind Specifications for Transformations of Reactive Synchronous Programs.
FASE 2005: 160-174 |
