The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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.003secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002