Andrzej Wasowski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
14EEAdam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS 2008: 112-126
2007
13EEKim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: On Modal Refinement and Consistency. CONCUR 2007: 105-119
12EEKim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Modal I/O Automata for Interface and Product Line Theories. ESOP 2007: 64-79
11EETarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen: Techniques for Efficient Interactive Configuration of Distribution Networks. IJCAI 2007: 100-105
10EEAnders Hessellund, Krzysztof Czarnecki, Andrzej Wasowski: Guided Development with Multiple Domain-Specific Languages. MoDELS 2007: 46-60
9EEKrzysztof Czarnecki, Andrzej Wasowski: Feature Diagrams and Logics: There and Back Again. SPLC 2007: 23-34
8EEKim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Modeling software product lines using color-blind transition systems. STTT 9(5-6): 471-487 (2007)
2006
7EEKim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski: Interface Input/Output Automata. FM 2006: 82-97
6EEErik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen: Efficient interactive configuration of unbounded modular systems. SAC 2006: 409-414
2005
5EEKim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski: Color-Blind Specifications for Transformations of Reactive Synchronous Programs. FASE 2005: 160-174
4EEAndrzej Wasowski: On Succinctness of Hierarchical State Diagrams in Absence of Message Passing. Electr. Notes Theor. Comput. Sci. 115: 89-97 (2005)
2004
3EEAndrzej Wasowski: Flattening statecharts without explosions. LCTES 2004: 257-266
2003
2EEAndrzej 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

Coauthor Index

1Henrik Reif Andersen [6] [11]
2Adam Antonik [14]
3Marek A. Bednarczyk [1]
4Krzysztof Czarnecki [9] [10]
5Tarik Hadzic [11]
6Anders Hessellund [10]
7Michael Huth [14]
8Mieczyslaw A. Klopotek [1]
9Kim Guldstrand Larsen [5] [7] [8] [12] [13] [14]
10Ulrik Larsen [5]
11Erik Roland van der Meer [6]
12Maciej Michalewicz [1]
13Ulrik Nyman [7] [8] [12] [13] [14]
14Wieslaw Pawlowski [1]
15Slawomir T. Wierzchon [1]

Colors in the list of coauthors

Copyright © Tue Jul 8 16:59:55 2008 by Michael Ley (ley@uni-trier.de)