Alexander Krauss

	2008
5		Alexander Krauss: Pattern minimization problems over recursive data types. ICFP 2008: 267-274
4		Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews: Imperative Functional Programming with Isabelle/HOL. TPHOLs 2008: 134-149
	2007
3		Alexander Krauss: Certified Size-Change Termination. CADE 2007: 460-475
2		Lukas Bulwahn, Alexander Krauss, Tobias Nipkow: Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL. TPHOLs 2007: 38-53
	2006
1		Alexander Krauss: Partial Recursive Functions in Higher-Order Logic. IJCAR 2006: 589-603

Coauthor Index

1	Lukas Bulwahn	[2] [4]
2	Levent Erkök	[4]
3	Florian Haftmann	[4]
4	John Matthews	[4]
5	Tobias Nipkow	[2]