SCEAS

The SCEAS System

Title:
Author:

Markus Wenzel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Gertrud Bauer, Markus Wenzel
Calculational Reasoning Revisited (An Isabelle/Isar Experience). [Citation Graph (0, 0)][DBLP]
TPHOLs, 2001, pp:75-90 [Conf]
Stefan Berghofer, Markus Wenzel
Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1999, pp:19-36 [Conf]
Florian Kammüller, Markus Wenzel, Lawrence C. Paulson
Locales - A Sectioning Concept for Isabelle. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1999, pp:149-166 [Conf]
Wolfgang Naraschewski, Markus Wenzel
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1998, pp:349-366 [Conf]
Markus Wenzel
Type Classes and Overloading in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1997, pp:307-322 [Conf]
Markus Wenzel
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents. [Citation Graph (0, 0)][DBLP]
TPHOLs, 1999, pp:167-184 [Conf]
Markus Wenzel, Larry Paulson
Isabelle/Isar. [Citation Graph (0, 0)][DBLP]
The Seventeen Provers of the World, 2006, pp:41-49 [Conf]
Gertrud Bauer, Markus Wenzel
Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar). [Citation Graph (0, 0)][DBLP]
TYPES, 1999, pp:61-76 [Conf]
Markus Wenzel, Freek Wiedijk
A Comparison of Mizar and Isar. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2002, v:29, n:3-4, pp:389-411 [Journal]

Search in 0.001secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP