| 2008 | ||
|---|---|---|
| 3 | Matthias P. Krieger, Alexander Knapp: Executing Underspecified OCL Operation Contracts with a SAT Solver. ECEASST 15: (2008) | |
| 2007 | ||
| 2 | Matthias P. Krieger: On the Incompressibility of Monotone DNFs. Theory Comput. Syst. 41(2): 211-231 (2007) | |
| 2005 | ||
| 1 | Matthias P. Krieger: On the Incompressibility of Monotone DNFs. FCT 2005: 32-43 | |
| 1 | Alexander Knapp | [3] |