Robert Geisler

According to our database, Robert Geisler authored at least 10 papers between 1995 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

AppaDB: an AcedB database for the nematode satellite organism Pristionchus pacificus.

Jagan Srinivasan, Georg W. Otto, Ulrich Kahlow, Robert Geisler, Ralf J. Sommer

Nucleic Acids Res., 2004

2001

On Formal Semantics and Integration of Object-Oriented Modeling Languages.

Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann

Proceedings of the Current Trends in Theoretical Computer Science, 2001

2000

On Formal Semantics and Integration of Object-Oriented Modeling Languages.

Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann

Bull. EATCS, 2000

1999

Formal semantics for the integration of statecharts and Z in metamodel based framework.

Robert Geisler

PhD thesis, 1999

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.

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

Proceedings of the German-Argentinian Workshop on Information Technology, 1999

1998

DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen.

Hartmut Ehrig, Robert Geisler, Marcus Klar

Inform. Forsch. Entwickl., 1998

Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study.

Robert Büssow, Robert Geisler, Marcus Klar

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997

Horizontal and Vertical Structuring Techniques for Statecharts.

Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

<i>InterACT</i>: An Interactive Theorem Prover for Algebraic Specifications.

Robert Geisler, Marcus Klar, Felix Cornelius

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

<i>InterACT</i>: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation.

Marcus Klar, Robert Geisler, Felix Cornelius

Proceedings of the Recent Trends in Data Type Specification, 1995