| 2000 |
|---|
| 17 | EE | Burghard von Karger:
Temporal Algebra.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 309-385 |
| 16 | | Burghard von Karger:
A calculational approach to reactive systems.
Sci. Comput. Program. 37(1-3): 139-161 (2000) |
| 1998 |
|---|
| 15 | EE | Rudolf Berghammer,
Burghard von Karger,
Andreas Wolf:
Relation-Algebraic Derivation of Spanning Tree Algorithms.
MPC 1998: 23-43 |
| 14 | EE | Burghard von Karger:
A Proof Rule for Control Loops.
MPC 1998: 7-22 |
| 13 | | Burghard von Karger:
Computation calculus = sequential calculus + discreteness and termination.
RelMiCS 1998: 122-126 |
| 12 | EE | Burghard von Karger,
Rudolf Berghammer:
A Relational Model for Temporal Logic.
Logic Journal of the IGPL 6(2): 157-173 (1998) |
| 11 | EE | Henk Doornbos,
Burghard von Karger:
On the Union of Well-Founded Relations.
Logic Journal of the IGPL 6(2): 195-201 (1998) |
| 10 | | Burghard von Karger:
Temporal Algebra.
Mathematical Structures in Computer Science 8(3): 277-320 (1998) |
| 1997 |
|---|
| 9 | | Rudolf Berghammer,
Burghard von Karger:
Computing Kernels in Bicromatic Directed Relations (Abstract).
RelMiCS 1997: 309 |
| 8 | EE | Burghard von Karger,
Rudolf Berghammer:
Computing Kernels in Directed Bichromatic Graphs.
Inf. Process. Lett. 62(1): 5-11 (1997) |
| 1996 |
|---|
| 7 | | Rudolf Berghammer,
Burghard von Karger,
Christiane Ulke:
Realtion-Algebraic Analysis of Petri Nets with RELVIEW.
TACAS 1996: 49-69 |
| 6 | | Rudolf Berghammer,
Burghard von Karger:
Towards a Design Calculus for CSP.
Sci. Comput. Program. 26(1-3): 99-115 (1996) |
| 1995 |
|---|
| 5 | | Rudolf Berghammer,
Burghard von Karger:
Formal Derivation of CSP Programs From Temporal Specifications.
MPC 1995: 181-196 |
| 4 | | Burghard von Karger:
An Algebraic Approach to Temporal Logic.
TAPSOFT 1995: 232-246 |
| 3 | EE | Burghard von Karger,
C. A. R. Hoare:
Sequential Calculus.
Inf. Process. Lett. 53(3): 123-130 (1995) |
| 1994 |
|---|
| 2 | | Burghard von Karger:
Plotkin, Hoare and Smyth Order: On Observational Models for CSP.
PROCOMET 1994: 383-402 |
| 1992 |
|---|
| 1 | | 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: 141-155 |
