The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Florian Kammüller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Florian Kammüller
    Modular Reasoning in Isabelle. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:99-114 [Conf]
  2. Steffen Helke, Florian Kammüller
    Structure Preserving Data Abstractions for Statecharts. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:305-319 [Conf]
  3. Florian Kammüller, Jeff W. Sanders
    Idempotent Relations in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:310-324 [Conf]
  4. Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer
    Formalization of Algebraic Specification in the Development Language DEVA. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:223-238 [Conf]
  5. Margot Bittner, Florian Kammüller
    Translating Fusion/UML to Object-Z. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2003, pp:49-50 [Conf]
  6. Florian Kammüller, Jeff W. Sanders
    Heuristics for Refinement Relations. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:292-299 [Conf]
  7. 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]
  8. Steffen Helke, Florian Kammüller
    Representing Hierarchical Automata in Interactive Theorem Provers. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:233-248 [Conf]
  9. Florian Kammüller
    Modular Structures as Dependent Types in Isabelle. [Citation Graph (0, 0)][DBLP]
    TYPES, 1998, pp:121-132 [Conf]
  10. Graeme Smith, Florian Kammüller, Thomas Santen
    Encoding Object-Z in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:82-99 [Conf]
  11. Jochen Burghardt, Florian Kammüller, Jeff W. Sanders
    On the antisymmetry of Galois embeddings. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:79, n:2, pp:57-63 [Journal]
  12. Florian Kammüller, Lawrence C. Paulson
    A Formal Proof of Sylow's Theorem. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:23, n:3-4, pp:235-264 [Journal]
  13. Florian Kammüller
    Book Reviews. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2002, v:12, n:3, pp:188-189 [Journal]
  14. Ludovic Henrio, Florian Kammüller
    A Mechanized Model of the Theory of Objects. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:190-205 [Conf]

  15. An Asynchronous Distributed Component Model and Its Semantics. [Citation Graph (, )][DBLP]


  16. Composing Safely - A Type System for Aspects. [Citation Graph (, )][DBLP]


  17. Checking the TWIN Elevator System by Translating Object-Z to SMV. [Citation Graph (, )][DBLP]


  18. Functional Active Objects: Typing and Formalisation. [Citation Graph (, )][DBLP]


Search in 0.002secs, 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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002