The SCEAS System
Navigation Menu

Search the dblp DataBase


Robert Geisler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
    Horizontal and Vertical Structuring Techniques for Statecharts. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:181-195 [Conf]
  4. Robert Büssow, Robert Geisler, Marcus Klar
    Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:71-87 [Conf]
  5. Herbert Weber, Marcus Klar, Stefan Mann, Ralf-Detlef Kutsche, Stefan Jähnichen, Robert Büssow, Hartmut Ehrig, Robert Geisler, Gabriel Baum, Claudia Pons, Miguel Felder, Sergio Waldoke
    Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. [Citation Graph (0, 0)][DBLP]
    German-Argentinian Workshop on Information Technology, 1999, pp:23-30 [Conf]
  6. Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann
    On Formal Semantics and Integration of Object-Oriented Modeling Languages. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2000, v:70, n:, pp:77-81 [Journal]
  7. Hartmut Ehrig, Robert Geisler, Marcus Klar
    DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1998, v:13, n:1, pp:43-46 [Journal]
  8. Jagan Srinivasan, Georg W. Otto, Ulrich Kahlow, Robert Geisler, Ralf J. Sommer
    AppaDB: an AcedB database for the nematode satellite organism Pristionchus pacificus. [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 2004, v:32, n:Database-Issue, pp:421-422 [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