| 2008 |
|---|
| 17 | 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 |
| 16 | EE | Marcílio Mendonça,
Andrzej Wasowski,
Krzysztof Czarnecki,
Donald D. Cowan:
Efficient compilation techniques for large scale feature models.
GPCE 2008: 13-22 |
| 15 | EE | Anders Hessellund,
Andrzej Wasowski:
Interfaces and Metainterfaces for Models and Metamodels.
MoDELS 2008: 401-415 |
| 14 | EE | Mikolás Janota,
Victoria Kuzina,
Andrzej Wasowski:
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax.
MoDELS 2008: 431-445 |
| 2007 |
|---|
| 13 | EE | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
On Modal Refinement and Consistency.
CONCUR 2007: 105-119 |
| 12 | EE | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Modal I/O Automata for Interface and Product Line Theories.
ESOP 2007: 64-79 |
| 11 | EE | Tarik Hadzic,
Andrzej Wasowski,
Henrik Reif Andersen:
Techniques for Efficient Interactive Configuration of Distribution Networks.
IJCAI 2007: 100-105 |
| 10 | EE | Anders Hessellund,
Krzysztof Czarnecki,
Andrzej Wasowski:
Guided Development with Multiple Domain-Specific Languages.
MoDELS 2007: 46-60 |
| 9 | EE | Krzysztof Czarnecki,
Andrzej Wasowski:
Feature Diagrams and Logics: There and Back Again.
SPLC 2007: 23-34 |
| 8 | 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 |
|---|
| 7 | EE | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Interface Input/Output Automata.
FM 2006: 82-97 |
| 6 | EE | Erik Roland van der Meer,
Andrzej Wasowski,
Henrik Reif Andersen:
Efficient interactive configuration of unbounded modular systems.
SAC 2006: 409-414 |
| 2005 |
|---|
| 5 | EE | Kim Guldstrand Larsen,
Ulrik Larsen,
Andrzej Wasowski:
Color-Blind Specifications for Transformations of Reactive Synchronous Programs.
FASE 2005: 160-174 |
| 4 | EE | Andrzej Wasowski:
On Succinctness of Hierarchical State Diagrams in Absence of Message Passing.
Electr. Notes Theor. Comput. Sci. 115: 89-97 (2005) |
| 2004 |
|---|
| 3 | EE | Andrzej Wasowski:
Flattening statecharts without explosions.
LCTES 2004: 257-266 |
| 2003 |
|---|
| 2 | EE | Andrzej Wasowski:
On efficient program synthesis from statecharts.
LCTES 2003: 163-170 |
| 2001 |
|---|
| 1 | | Mieczyslaw A. Klopotek,
Slawomir T. Wierzchon,
Maciej Michalewicz,
Marek A. Bednarczyk,
Wieslaw Pawlowski,
Andrzej Wasowski:
Bayesian Network Mining System.
Intelligent Information Systems 2001: 179-193 |
