Ulrik Nyman

Ulrik Larsen

	2009
7		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		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		Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: On Modal Refinement and Consistency. CONCUR 2007: 105-119
4		Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Modal I/O Automata for Interface and Product Line Theories. ESOP 2007: 64-79
3		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		Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Interface Input/Output Automata. FM 2006: 82-97
	2005
1		Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski: Color-Blind Specifications for Transformations of Reactive Synchronous Programs. FASE 2005: 160-174

Coauthor Index

1	Adam Antonik	[6] [7]
2	Michael Huth	[6] [7]
3	Kim Guldstrand Larsen	[1] [2] [3] [4] [5] [6] [7]
4	Andrzej Wasowski	[1] [2] [3] [4] [5] [6] [7]