Robert Geisler

Publication Activity (10 Years)

Years Active: 1995-2004
Publications (10 Years): 0

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Jagan Srinivasan, Georg W. Otto, Ulrich Kahlow, Robert Geisler, Ralf J. Sommer
AppaDB: an AcedB database for the nematode satellite organism Pristionchus pacificus. Nucleic Acids Res. 32 (Database-Issue) (2004)
Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann
On Formal Semantics and Integration of Object-Oriented Modeling Languages. Bull. EATCS 70 (2000)
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. German-Argentinian Workshop on Information Technology (1999)
Robert Büssow, Robert Geisler, Marcus Klar
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. FASE (1998)
Hartmut Ehrig, Robert Geisler, Marcus Klar
DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. Inform. Forsch. Entwickl. 13 (1) (1998)
Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
Horizontal and Vertical Structuring Techniques for Statecharts. CONCUR (1997)
Robert Geisler, Marcus Klar, Felix Cornelius
: An Interactive Theorem Prover for Algebraic Specifications. AMAST (1996)
Marcus Klar, Robert Geisler, Felix Cornelius
: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. COMPASS/ADT (1995)

Robert Geisler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Robert Geisler