 | 2009 |
|---|
| 9 |       | Mikolás Janota,
Fintan Fairmichael,
Viliam Holub,
Radu Grigore,
Julien Charles,
Dermot Cochran,
Joseph R. Kiniry:
CLOPS: A DSL for Command Line Options.
DSL 2009: 187-210 |
| 8 | | Goetz Botterweck,
Mikolás Janota,
Denny Schneeweiss:
A Design of a Configurable Feature Model Configurator.
VaMoS 2009: 165-168 |
| 7 | | Mikolás Janota,
João Marques-Silva,
Radu Grigore:
Algorithms for finding dispensable variables
CoRR abs/0910.0013: (2009) |
| 6 | | Mikolás Janota,
Goetz Botterweck,
Radu Grigore,
João Marques-Silva:
How to Complete an Interactive Configuration Process?
CoRR abs/0910.3913: (2009) |
| 2008 |
|---|
| 5 | | Mikolás Janota,
Goetz Botterweck:
Formal Approach to Integrating Feature and Architecture Models.
FASE 2008: 31-45 |
| 4 | | 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 | | Mikolás Janota,
Radu Grigore,
Michal Moskal:
Reachability analysis for annotated code.
SAVCBS 2007: 23-30 |
| 1 | | Mikolás Janota,
Joseph Kiniry:
Reasoning about Feature Models in Higher-Order Logic.
SPLC 2007: 13-22 |
