The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Clemens Fischer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Clemens Fischer, Heike Wehrheim
    Behavioural Subtyping Relations for Object-Oriented Formalisms. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:469-483 [Conf]
  2. Clemens Fischer, Wil Janssen
    Synchronous Development of Asynchonous Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:735-750 [Conf]
  3. Clemens Fischer
    Software Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:108-109 [Conf]
  4. Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim
    A CSP View on UML-RT Structure Diagrams. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:91-108 [Conf]
  5. Clemens Fischer
    Combining Object-Z and CSP. [Citation Graph (0, 0)][DBLP]
    FBT, 1997, pp:119-128 [Conf]
  6. Clemens Fischer, Graeme Smith
    Combining CSP and Object-Z: Finite or Infinite Trace Semantics? [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:503-518 [Conf]
  7. Clemens Fischer, Heike Wehrheim
    Model-Checking CSP-OZ Specifications with FDR. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:315-334 [Conf]
  8. Clemens Fischer, Dieter Meemken
    JaWa: Java with Assertions. [Citation Graph (0, 0)][DBLP]
    Java-Informations-Tage, 1998, pp:49-59 [Conf]
  9. Clemens Fischer
    How to Combine Z with Process Algebra. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:5-23 [Conf]
  10. Clemens Fischer, Heike Wehrheim
    Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2000, v:71, n:, pp:92-101 [Journal]
  11. Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim
    Jass - Java with Assertions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]

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