| |
| 2009 | ||
|---|---|---|
| 6 | EE | Goetz Botterweck, Mikolás Janota, Denny Schneeweiss: A Design of a Configurable Feature Model Configurator. VaMoS 2009: 165-168 |
| 2008 | ||
| 5 | EE | Mikolás Janota, Goetz Botterweck: Formal Approach to Integrating Feature and Architecture Models. FASE 2008: 31-45 |
| 4 | EE | Mikolás Janota, Victoria Kuzina, Andrzej Wasowski: Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. MoDELS 2008: 431-445 |
| 3 | Mikolás Janota: Do SAT Solvers Make Good Configurators? SPLC (2) 2008: 191-195 | |
| 2007 | ||
| 2 | EE | Mikolás Janota, Radu Grigore, Michal Moskal: Reachability analysis for annotated code. SAVCBS 2007: 23-30 |
| 1 | EE | Mikolás Janota, Joseph Kiniry: Reasoning about Feature Models in Higher-Order Logic. SPLC 2007: 13-22 |
| 1 | Goetz Botterweck | [5] [6] |
| 2 | Radu Grigore | [2] |
| 3 | Joseph Kiniry (Joseph R. Kiniry) | [1] |
| 4 | Victoria Kuzina | [4] |
| 5 | Michal Moskal | [2] |
| 6 | Denny Schneeweiss | [6] |
| 7 | Andrzej Wasowski | [4] |