Markus Wenzel

Makarius Wenzel

	2009
19		Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel: Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings Springer 2009
18		Norbert Schirmer, Makarius Wenzel: State Spaces - The Locale Way. Electr. Notes Theor. Comput. Sci. 254: 161-179 (2009)
	2008
17		Stefan Berghofer, Makarius Wenzel: Logic-Free Reasoning in Isabelle/Isar. AISC/MKM/Calculemus 2008: 355-369
16		Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow: The Isabelle Framework. TPHOLs 2008: 33-38
15		Florian Haftmann, Makarius Wenzel: Local Theory Specifications in Isabelle/Isar. TYPES 2008: 153-168
	2007
14		Amine Chaieb, Makarius Wenzel: Context Aware Calculation and Deduction. Calculemus/MKM 2007: 27-39
13		Makarius Wenzel, Burkhart Wolff: Building Formal Method Tools in the Isabelle/Isar Framework. TPHOLs 2007: 352-367
	2006
12		Makarius Wenzel: Structured Induction Proofs in Isabelle/Isar. MKM 2006: 17-30
11		Florian Haftmann, Makarius Wenzel: Constructive Type Classes in Isabelle. TYPES 2006: 160-174
10		Markus Wenzel, Lawrence C. Paulson: Isabelle/Isar. The Seventeen Provers of the World 2006: 41-49
	2002
9		Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel: Isabelle/HOL - A Proof Assistant for Higher-Order Logic Springer 2002
8		Markus Wenzel, Freek Wiedijk: A Comparison of Mizar and Isar. J. Autom. Reasoning 29(3-4): 389-411 (2002)
	2001
7		Gertrud Bauer, Markus Wenzel: Calculational Reasoning Revisited (An Isabelle/Isar Experience). TPHOLs 2001: 75-90
	1999
6		Florian Kammüller, Markus Wenzel, Lawrence C. Paulson: Locales - A Sectioning Concept for Isabelle. TPHOLs 1999: 149-166
5		Markus Wenzel: Isar - A Generic Interpretative Approach to Readable Formal Proof Documents. TPHOLs 1999: 167-184
4		Stefan Berghofer, Markus Wenzel: Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering. TPHOLs 1999: 19-36
3		Gertrud Bauer, Markus Wenzel: Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar). TYPES 1999: 61-76
	1998
2		Wolfgang Naraschewski, Markus Wenzel: Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic. TPHOLs 1998: 349-366
	1997
1		Markus Wenzel: Type Classes and Overloading in Higher-Order Logic. TPHOLs 1997: 307-322

Coauthor Index

1	Gertrud Bauer	[3] [7]
2	Stefan Berghofer	[4] [17] [19]
3	Amine Chaieb	[14]
4	Florian Haftmann	[11] [15]
5	Florian Kammüller	[6]
6	Wolfgang Naraschewski	[2]
7	Tobias Nipkow	[9] [16] [19]
8	Lawrence C. Paulson	[6] [9] [10] [16]
9	Norbert Schirmer	[18]
10	Christian Urban	[19]
11	Freek Wiedijk	[8]
12	Burkhart Wolff	[13]

Colors in the list of coauthors