Markus Wenzel

Makarius Wenzel

	2011
23		Makarius Wenzel: Isabelle as Document-Oriented Proof Assistant. Calculemus/MKM 2011: 244-259
22		Makarius Wenzel, Burkhart Wolff: Isabelle/PIDE as Platform for Educational Tools THedu'11 2011: 143-153
	2010
21		David C. J. Matthews, Makarius Wenzel: Efficient parallel programming in Poly/ML and Isabelle/ML. DAMP 2010: 53-62
20		Jacques Carette, Makarius Wenzel, Freek Wiedijk: Preface. J. Autom. Reasoning 44(1-2): 1-2 (2010)
	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	Jacques Carette	[20]
4	Amine Chaieb	[14]
5	Florian Haftmann	[11] [15]
6	Florian Kammüller	[6]
7	David C. J. Matthews	[21]
8	Wolfgang Naraschewski	[2]
9	Tobias Nipkow	[9] [16] [19]
10	Lawrence C. Paulson	[6] [9] [10] [16]
11	Norbert Schirmer (Bert Schirmer)	[18]
12	Christian Urban	[19]
13	Freek Wiedijk	[8] [20]
14	Burkhart Wolff	[13] [22]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page