Burghard von Karger

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