Makarius Wenzel

Identifiers

• name variant Makarius Wenzel 0.60 · backfill

Papers (9)

1. Isabelle technology for the Archive of Formal Proofs with application to MMT cs.LO · 2019 · author #1
2. Interaction with Formal Mathematical Documents in Isabelle/PIDE cs.LO · 2019 · author #1
3. Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents cs.HC · 2018 · author #1
4. READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking cs.LO · 2013 · author #1
5. Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems cs.LO · 2013 · author #6
6. PIDE as front-end technology for Coq cs.HC · 2013 · author #1
7. A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory cs.LO · 2013 · author #6
8. Isabelle/jEdit --- a Prover IDE within the PIDE framework cs.LO · 2012 · author #1
9. Isabelle/PIDE as Platform for Educational Tools cs.LO · 2012 · author #1

Mentions

• 1307.1944 #1 · backfill · confidence 0.70 Makarius Wenzel
• 1305.7360 #6 · backfill · confidence 0.70 Makarius Wenzel
• 1304.6626 #1 · backfill · confidence 0.70 Makarius Wenzel
• 1303.4193 #6 · backfill · confidence 0.70 Makarius Wenzel
• 1207.3441 #1 · backfill · confidence 0.70 Makarius Wenzel
• 1202.4835 #1 · backfill · confidence 0.70 Makarius Wenzel

Frequent Coauthors

• Burkhart Wolff 2 shared papers
• Bruno Barras 1 shared papers
• Christoph Lange 1 shared papers
• Colin Rowat 1 shared papers
• Enrico Tassi 1 shared papers
• Hugo Herbelin 1 shared papers
• Lourdes del Carmen Gonz\'alez Huesca 1 shared papers
• Manfred Kerber 1 shared papers
• Marco B. Caminati 1 shared papers
• Till Mossakowski 1 shared papers
• Wolfgang Windsteiger 1 shared papers
• Yann R\'egis-Gianas 1 shared papers