Markus Wenzel

Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger: A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. CoRR abs/1303.4193 (2013)

Makarius Wenzel: PIDE as front-end technology for Coq. CoRR abs/1304.6626 (2013)

Makarius Wenzel: Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit. Electr. Notes Theor. Comput. Sci. 285: 101-114 (2012)

Makarius Wenzel: Isabelle/jEdit - A Prover IDE within the PIDE Framework. AISC/MKM/Calculemus 2012: 468-471

Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (Eds.): Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Lecture Notes in Computer Science 7362, Springer 2012, isbn 978-3-642-31373-8

Makarius Wenzel: Isabelle/jEdit --- a Prover IDE within the PIDE framework. CoRR abs/1207.3441 (2012)

Makarius Wenzel: Isabelle as Document-Oriented Proof Assistant. Calculemus/MKM 2011: 244-259

Makarius Wenzel, Burkhart Wolff: Isabelle/PIDE as Platform for Educational Tools. THedu'11 2011: 143-153

Jacques Carette, Makarius Wenzel, Freek Wiedijk: Preface. J. Autom. Reasoning 44(1-2): 1-2 (2010)

David C. J. Matthews, Makarius Wenzel: Efficient parallel programming in Poly/ML and Isabelle/ML. DAMP 2010: 53-62

Norbert Schirmer, Makarius Wenzel: State Spaces - The Locale Way. Electr. Notes Theor. Comput. Sci. 254: 161-179 (2009)

Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (Eds.): Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Lecture Notes in Computer Science 5674, Springer 2009, isbn 978-3-642-03358-2

Stefan Berghofer, Makarius Wenzel: Logic-Free Reasoning in Isabelle/Isar. AISC/MKM/Calculemus 2008: 355-369

Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow: The Isabelle Framework. TPHOLs 2008: 33-38

Florian Haftmann, Makarius Wenzel: Local Theory Specifications in Isabelle/Isar. TYPES 2008: 153-168

Amine Chaieb, Makarius Wenzel: Context Aware Calculation and Deduction. Calculemus/MKM 2007: 27-39

Makarius Wenzel, Burkhart Wolff: Building Formal Method Tools in the Isabelle/Isar Framework. TPHOLs 2007: 352-367

Makarius Wenzel: Structured Induction Proofs in Isabelle/Isar. MKM 2006: 17-30

Markus Wenzel, Lawrence C. Paulson: Isabelle/Isar. The Seventeen Provers of the World 2006: 41-49

Florian Haftmann, Makarius Wenzel: Constructive Type Classes in Isabelle. TYPES 2006: 160-174

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel: Isabelle/HOL - A Proof Assistant for Higher-Order Logic. Lecture Notes in Computer Science 2283, Springer 2002, isbn 3-540-43376-7

Markus Wenzel, Freek Wiedijk: A Comparison of Mizar and Isar. J. Autom. Reasoning 29(3-4): 389-411 (2002)

Gertrud Bauer, Markus Wenzel: Calculational Reasoning Revisited (An Isabelle/Isar Experience). TPHOLs 2001: 75-90

Stefan Berghofer, Markus Wenzel: Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering. TPHOLs 1999: 19-36

Florian Kammüller, Markus Wenzel, Lawrence C. Paulson: Locales - A Sectioning Concept for Isabelle. TPHOLs 1999: 149-166

Markus Wenzel: Isar - A Generic Interpretative Approach to Readable Formal Proof Documents. TPHOLs 1999: 167-184

Gertrud Bauer, Markus Wenzel: Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar). TYPES 1999: 61-76

Wolfgang Naraschewski, Markus Wenzel: Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic. TPHOLs 1998: 349-366

Markus Wenzel: Type Classes and Overloading in Higher-Order Logic. TPHOLs 1997: 307-322