The SCEAS System
Navigation Menu

Search the dblp DataBase


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

Publications of Author

  1. Gertrud Bauer, Markus Wenzel
    Calculational Reasoning Revisited (An Isabelle/Isar Experience). [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:75-90 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. Markus Wenzel
    Type Classes and Overloading in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:307-322 [Conf]
  6. Markus Wenzel
    Isar - A Generic Interpretative Approach to Readable Formal Proof Documents. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:167-184 [Conf]
  7. Markus Wenzel, Larry Paulson
    Isabelle/Isar. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:41-49 [Conf]
  8. 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]
  9. 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.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002