Burghard von Karger

Publication Activity (10 Years)

Years Active: 1992-2000
Publications (10 Years): 0

Publications

Burghard von Karger
A calculational approach to reactive systems. Sci. Comput. Program. 37 (1-3) (2000)
Burghard von Karger
Temporal Algebra. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Burghard von Karger
Computation calculus = sequential calculus + discreteness and termination. RelMiCS (1998)
Rudolf Berghammer, Burghard von Karger, Andreas Wolf
Relation-Algebraic Derivation of Spanning Tree Algorithms. MPC (1998)
Burghard von Karger, Rudolf Berghammer
A Relational Model for Temporal Logic. Log. J. IGPL 6 (2) (1998)
Henk Doornbos, Burghard von Karger
On the Union of Well-Founded Relations. Log. J. IGPL 6 (2) (1998)
Burghard von Karger
A Proof Rule for Control Loops. MPC (1998)
Burghard von Karger
Temporal Algebra. Math. Struct. Comput. Sci. 8 (3) (1998)
Rudolf Berghammer, Burghard von Karger
Computing Kernels in Bicromatic Directed Relations (Abstract). RelMiCS (1997)
Burghard von Karger, Rudolf Berghammer
Computing Kernels in Directed Bichromatic Graphs. Inf. Process. Lett. 62 (1) (1997)
Rudolf Berghammer, Burghard von Karger, Christiane Ulke
Realtion-Algebraic Analysis of Petri Nets with RELVIEW. TACAS (1996)
Rudolf Berghammer, Burghard von Karger
Towards a Design Calculus for CSP. Sci. Comput. Program. 26 (1-3) (1996)
Burghard von Karger
An Algebraic Approach to Temporal Logic. TAPSOFT (1995)
Burghard von Karger, C. A. R. Hoare
Sequential Calculus. Inf. Process. Lett. 53 (3) (1995)
Rudolf Berghammer, Burghard von Karger
Formal Derivation of CSP Programs From Temporal Specifications. MPC (1995)
Burghard von Karger
Plotkin, Hoare and Smyth Order: On Observational Models for CSP. PROCOMET (1994)
Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm
Provably Correct Compiler Development and Implementation. CC (1992)