Concepedia

Makarius Wenzel

MW

9

Publications

234

Citations

9

H-Index

2007

Active since

Affiliations

Université Paris-Sud(Current)

Laboratoire de Recherche en Informatique

Technical University of Munich

Makarius Wenzel is an author at Université Paris-Sud specializing in computer science, automated reasoning, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationProgram AnalysisSoftware AnalysisFormal SpecificationSystem Software

Publications per year

2007–2016

9

Publications

9

Isabelle/Isar — a Generic Framework for Human-Readable Proof Documents

Makarius Wenzel · 2007 · 60 citations

Eisbach: A Proof Method Language for Isabelle

Daniel Matichuk, Toby Murray, Makarius Wenzel · Journal of Automated Reasoning · 2016 · 41 citations

Engineering, Automated Reasoning, Verification +7

Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit

Makarius Wenzel · Electronic Notes in Theoretical Computer Science · 2012 · 32 citations · Full text

Engineering, Verification, Software Engineering +17

Efficient parallel programming in Poly/ML and Isabelle/ML

David C. J. Matthews, Makarius Wenzel · 2010 · 27 citations

Cluster Computing, Engineering, Verification +21

READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking

Makarius Wenzel · Electronic Proceedings in Theoretical Computer Science · 2013 · 19 citations · Full text

Engineering, Verification, Lcf Tradition +18

Rows per page

1–5 of 9