 | 2009 |
| 19 |  | 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 |
| 18 |  | Adam Antonik,
Michael Huth,
Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Complexity of Decision Problems for Mixed and Modal Specifications.
FoSSaCS 2008: 112-126 |
| 17 |  | Marcílio Mendonça,
Andrzej Wasowski,
Krzysztof Czarnecki,
Donald D. Cowan:
Efficient compilation techniques for large scale feature models.
GPCE 2008: 13-22 |
| 16 |  | Anders Hessellund,
Andrzej Wasowski:
Interfaces and Metainterfaces for Models and Metamodels.
MoDELS 2008: 401-415 |
| 15 |  | Mikolás Janota,
Victoria Kuzina,
Andrzej Wasowski:
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax.
MoDELS 2008: 431-445 |
| 14 |  | Krzysztof Czarnecki,
Steven She,
Andrzej Wasowski:
Sample Spaces and Feature Models: There and Back Again.
SPLC 2008: 22-31 |
| 2007 |
| 13 |  | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
On Modal Refinement and Consistency.
CONCUR 2007: 105-119 |
| 12 |  | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Modal I/O Automata for Interface and Product Line Theories.
ESOP 2007: 64-79 |
| 11 |  | Tarik Hadzic,
Andrzej Wasowski,
Henrik Reif Andersen:
Techniques for Efficient Interactive Configuration of Distribution Networks.
IJCAI 2007: 100-105 |
| 10 |  | Anders Hessellund,
Krzysztof Czarnecki,
Andrzej Wasowski:
Guided Development with Multiple Domain-Specific Languages.
MoDELS 2007: 46-60 |
| 9 |  | Krzysztof Czarnecki,
Andrzej Wasowski:
Feature Diagrams and Logics: There and Back Again.
SPLC 2007: 23-34 |
| 8 |  | 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 |  | Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Interface Input/Output Automata.
FM 2006: 82-97 |
| 6 |  | Erik Roland van der Meer,
Andrzej Wasowski,
Henrik Reif Andersen:
Efficient interactive configuration of unbounded modular systems.
SAC 2006: 409-414 |
| 2005 |
| 5 |  | Kim Guldstrand Larsen,
Ulrik Larsen,
Andrzej Wasowski:
Color-Blind Specifications for Transformations of Reactive Synchronous Programs.
FASE 2005: 160-174 |
| 4 |  | Andrzej Wasowski:
On Succinctness of Hierarchical State Diagrams in Absence of Message Passing.
Electr. Notes Theor. Comput. Sci. 115: 89-97 (2005) |
| 2004 |
| 3 |  | Andrzej Wasowski:
Flattening statecharts without explosions.
LCTES 2004: 257-266 |
| 2003 |
| 2 |  | 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 |