Makarius Wenzel

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 17

Top Topics

Natural Deduction

Relational Data

Top Venues

MKM/Calculemus/DML

Publications

Klaus Miesenberger, Walther Neuper, Bernhard Stöger, Makarius Wenzel
Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode. CoRR (2023)
Martin Desharnais, Petar Vukmirovic, Jasmin Blanchette, Makarius Wenzel
Seventeen Provers Under the Hammer. ITP (2022)
Bernhard Stöger, Klaus Miesenberger, Walther Neuper, Makarius Wenzel, Thomas Neumayr
Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover. ICCHP-AAATE (1) (2022)
Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Makarius Wenzel
The Isabelle/Naproche Natural Language Proof Assistant. CADE (2021)
Martin Líska, Dávid Lupták, Vít Novotný, Michal Ruzicka, Boris Shminke, Petr Sojka, Michal Stefánik, Makarius Wenzel
CICM'21 Systems Entries. CICM (2021)
Michael Kohlhase, Florian Rabe, Makarius Wenzel
Making Isabelle Content Accessible in Knowledge Representation Formats. CoRR (2020)
Makarius Wenzel
Interaction with Formal Mathematical Documents in Isabelle/PIDE. CoRR (2019)
Lawrence C. Paulson, Tobias Nipkow, Makarius Wenzel
From LCF to Isabelle/HOL. CoRR (2019)
Fabian Immler, Jonas Rädle, Makarius Wenzel
Virtualization of HOL4 in Isabelle. ITP (2019)
Lawrence C. Paulson, Tobias Nipkow, Makarius Wenzel
From LCF to Isabelle/HOL. Formal Aspects Comput. 31 (6) (2019)
Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel
Relational Data Across Mathematical Libraries. CICM (2019)
Michael Kohlhase, Florian Rabe, Makarius Wenzel
Making Isabelle Content Accessible in Knowledge Representation Formats. TYPES (2019)
Makarius Wenzel
Isabelle technology for the Archive of Formal Proofs. CoRR (2019)
Makarius Wenzel
Isabelle technology for the Archive of Formal Proofs with application to MMT. CICM Workshops (2019)
Makarius Wenzel
Interaction with Formal Mathematical Documents in Isabelle/PIDE. CICM (2019)
Makarius Wenzel
Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents. F-IDE@FLoC (2018)
Daniel Matichuk, Toby C. Murray, Makarius Wenzel
Eisbach: A Proof Method Language for Isabelle. J. Autom. Reason. 56 (3) (2016)
Makarius Wenzel
Asynchronous User Interaction and Tool Integration in Isabelle/PIDE. ITP (2014)
Daniel Matichuk, Makarius Wenzel, Toby C. Murray
An Isabelle Proof Method Language. ITP (2014)
Makarius Wenzel
Transitive closure according to Roy-Floyd-Warshall. Arch. Formal Proofs 2014 (2014)
Makarius Wenzel
System description: Isabelle/jEdit in 2014. UITP (2014)
Makarius Wenzel
PIDE as front-end technology for Coq CoRR (2013)
Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff
The Circus Testing Theory Revisited in Isabelle/HOL. ICFEM (2013)
Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. MKM/Calculemus/DML (2013)
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 (2013)
Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. CoRR (2013)
Makarius Wenzel
Shared-Memory Multiprocessing for Interactive Theorem Proving. ITP (2013)
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. MKM/Calculemus/DML (2013)
Makarius Wenzel
READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking. UITP (2012)
Makarius Wenzel
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit. Electron. Notes Theor. Comput. Sci. 285 (2012)
Makarius Wenzel
Isabelle/jEdit - A Prover IDE within the PIDE Framework. AISC/MKM/Calculemus (2012)
Makarius Wenzel
Isabelle/jEdit --- a Prover IDE within the PIDE framework CoRR (2012)
Makarius Wenzel
Isabelle as Document-Oriented Proof Assistant. Calculemus/MKM (2011)
Makarius Wenzel, Burkhart Wolff
Isabelle/PIDE as Platform for Educational Tools ThEdu (2011)
Jacques Carette, Makarius Wenzel, Freek Wiedijk
Preface. J. Autom. Reason. 44 (1-2) (2010)
David C. J. Matthews, Makarius Wenzel
Efficient parallel programming in Poly/ML and Isabelle/ML. DAMP (2010)
Norbert Schirmer, Makarius Wenzel
State Spaces - The Locale Way. Electron. Notes Theor. Comput. Sci. 254 (2009)
Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow
The Isabelle Framework. TPHOLs (2008)
Stefan Berghofer, Makarius Wenzel
Logic-Free Reasoning in Isabelle/Isar. AISC/MKM/Calculemus (2008)
Florian Haftmann, Makarius Wenzel
Local Theory Specifications in Isabelle/Isar. TYPES (2008)
Makarius Wenzel, Burkhart Wolff
Building Formal Method Tools in the Isabelle/Isar Framework. TPHOLs (2007)
Amine Chaieb, Makarius Wenzel
Context Aware Calculation and Deduction. Calculemus/MKM (2007)
Makarius Wenzel
Structured Induction Proofs in Isabelle/Isar. MKM (2006)
Florian Haftmann, Makarius Wenzel
Constructive Type Classes in Isabelle. TYPES (2006)