The SCEAS System
Navigation Menu

Search the dblp DataBase


Felix Cornelius: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas
    Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:145-172 [Conf]
  2. Robert Geisler, Marcus Klar, Felix Cornelius
    InterACT: An Interactive Theorem Prover for Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:563-566 [Conf]
  3. Marcus Klar, Robert Geisler, Felix Cornelius
    InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:291-395 [Conf]
  4. Felix Cornelius, Heinrich Hußmann, Michael Löwe
    The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:417-432 [Conf]
  5. Uwe Wolter, Klaus Didrich, Felix Cornelius, Marcus Klar
    How to Cope with the Spectrum of SPECTRUM. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:173-189 [Conf]
  6. Felix Cornelius
    An Overview of the Distributed System Classification and Integration Framework DeCIF. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1999, v:67, n:, pp:82-92 [Journal]
  7. Felix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas
    Abstract and behaviour module specifications. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:1, pp:21-62 [Journal]

Search in 0.003secs, Finished in 0.004secs
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