Burghard von Karger

According to our database, Burghard von Karger authored at least 18 papers between 1992 and 2000.

Collaborative distances:

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

2000

A calculational approach to reactive systems.

Burghard von Karger

Sci. Comput. Program., 2000

1998

Temporal Algebra.

Burghard von Karger

Math. Struct. Comput. Sci., 1998

A Relational Model for Temporal Logic.

Burghard von Karger, Rudolf Berghammer

Log. J. IGPL, 1998

On the Union of Well-Founded Relations.

Henk Doornbos, Burghard von Karger

Log. J. IGPL, 1998

A Proof Rule for Control Loops.

Burghard von Karger

Proceedings of the Mathematics of Program Construction, 1998

Relation-Algebraic Derivation of Spanning Tree Algorithms.

Rudolf Berghammer, Burghard von Karger, Andreas Wolf

Proceedings of the Mathematics of Program Construction, 1998

Computation calculus = sequential calculus + discreteness and termination.

Burghard von Karger

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Computing Kernels in Directed Bichromatic Graphs.

Burghard von Karger, Rudolf Berghammer

Inf. Process. Lett., 1997

Computing Kernels in Bicromatic Directed Relations (Abstract).

Rudolf Berghammer, Burghard von Karger

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Algorithms from Relational Specifications.

Rudolf Berghammer, Burghard von Karger

Proceedings of the Relational Methods in Computer Science., 1997

Relational Semantics of Functional Programs.

Rudolf Berghammer, Burghard von Karger

Proceedings of the Relational Methods in Computer Science., 1997

1996

Towards a Design Calculus for CSP.

Rudolf Berghammer, Burghard von Karger

Sci. Comput. Program., 1996

Realtion-Algebraic Analysis of Petri Nets with RELVIEW.

Rudolf Berghammer, Burghard von Karger, Christiane Ulke

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

1995

Sequential Calculus.

Burghard von Karger, C. A. R. Hoare

Inf. Process. Lett., 1995

An Algebraic Approach to Temporal Logic.

Burghard von Karger

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Formal Derivation of CSP Programs From Temporal Specifications.

Rudolf Berghammer, Burghard von Karger

Proceedings of the Mathematics of Program Construction, 1995

1994

Plotkin, Hoare and Smyth Order: On Observational Models for CSP.

Burghard von Karger

Proceedings of the Programming Concepts, 1994

1992

Provably Correct Compiler Development and Implementation.

Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm

Proceedings of the Compiler Construction, 1992