Marcus Klar

According to our database1, Marcus Klar authored at least 10 papers between 1995 and 2001.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2001
On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Proceedings of the Current Trends in Theoretical Computer Science, 2001

2000
On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Bull. EATCS, 2000

1999
A semantical framework for the integration of object oriented modeling languages.
PhD thesis, 1999

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
Proceedings of the German-Argentinian Workshop on Information Technology, 1999

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

Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study.
Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997
Horizontal and Vertical Structuring Techniques for Statecharts.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996
<i>InterACT</i>: An Interactive Theorem Prover for Algebraic Specifications.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
How to Cope with the Spectrum of SPECTRUM.
Proceedings of the KORSO, 1995

<i>InterACT</i>: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation.
Proceedings of the Recent Trends in Data Type Specification, 1995


  Loading...