Matthias P. Krieger

	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

Coauthor Index

1

Alexander Knapp

[3]