The SCEAS System
Navigation Menu

Search the dblp DataBase


Andrzej Wasowski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski
    Color-Blind Specifications for Transformations of Reactive Synchronous Programs. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:160-174 [Conf]
  2. Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
    Interface Input/Output Automata. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:82-97 [Conf]
  3. Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski, Andrzej Wasowski
    Bayesian Network Mining System. [Citation Graph (0, 0)][DBLP]
    Intelligent Information Systems, 2001, pp:179-193 [Conf]
  4. Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen
    Techniques for Efficient Interactive Configuration of Distribution Networks. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:100-105 [Conf]
  5. Andrzej Wasowski
    On efficient program synthesis from statecharts. [Citation Graph (0, 0)][DBLP]
    LCTES, 2003, pp:163-170 [Conf]
  6. Andrzej Wasowski
    Flattening statecharts without explosions. [Citation Graph (0, 0)][DBLP]
    LCTES, 2004, pp:257-266 [Conf]
  7. Erik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen
    Efficient interactive configuration of unbounded modular systems. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:409-414 [Conf]
  8. Andrzej Wasowski
    On Succinctness of Hierarchical State Diagrams in Absence of Message Passing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:89-97 [Journal]
  9. Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
    On Modal Refinement and Consistency. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:105-119 [Conf]
  10. Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
    Modal I/O Automata for Interface and Product Line Theories. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:64-79 [Conf]
  11. Anders Hessellund, Krzysztof Czarnecki, Andrzej Wasowski
    Guided Development with Multiple Domain-Specific Languages. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2007, pp:46-60 [Conf]

  12. ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. [Citation Graph (, )][DBLP]

  13. Complexity of Decision Problems for Mixed and Modal Specifications. [Citation Graph (, )][DBLP]

  14. Efficient compilation techniques for large scale feature models. [Citation Graph (, )][DBLP]

  15. Timed I/O automata: a complete specification theory for real-time systems. [Citation Graph (, )][DBLP]

  16. Variability modeling in the real: a perspective from the operating systems domain. [Citation Graph (, )][DBLP]

  17. Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. [Citation Graph (, )][DBLP]

  18. Interfaces and Metainterfaces for Models and Metamodels. [Citation Graph (, )][DBLP]

  19. Feature Diagrams and Logics: There and Back Again. [Citation Graph (, )][DBLP]

  20. Sample Spaces and Feature Models: There and Back Again. [Citation Graph (, )][DBLP]

  21. SAT-based analysis of feature models is easy. [Citation Graph (, )][DBLP]

  22. Evolution of the Linux Kernel Variability Model. [Citation Graph (, )][DBLP]

  23. Feature-to-Code Mapping in Two Large Product Lines. [Citation Graph (, )][DBLP]

  24. 8th Nordic Workshop on Model-Driven Software Engineering (NW-MODE 2010). [Citation Graph (, )][DBLP]

  25. The Variability Model of The Linux Kernel. [Citation Graph (, )][DBLP]

  26. EXPTIME-complete Decision Problems for Modal and Mixed Specifications. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002