Burghard von Karger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1992–1998
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | MPC | Relation-Algebraic Derivation of Spanning Tree Algorithms. | Rudolf Berghammer, Burghard von Karger, Andreas Wolf |
| 1998 | MPC | A Proof Rule for Control Loops. | Burghard von Karger |
| 1996 | TACAS | Realtion-Algebraic Analysis of Petri Nets with RELVIEW. | Rudolf Berghammer, Burghard von Karger, Christiane Ulke |
| 1995 | MPC | Formal Derivation of CSP Programs From Temporal Specifications. | Rudolf Berghammer, Burghard von Karger |
| 1992 | CC | Provably Correct Compiler Development and Implementation. | Bettina Buth, Karl-Heinz Buth, Martin Frnzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Mller-Olm |