| 2001 | ||
|---|---|---|
| 6 | EE | Rudolf Berghammer, Thorsten Hoffmann: Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs. RelMiCS 2001: 258-275 |
| 5 | EE | Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Ulf Milanese: Prototyping and Programming with Relations. Electr. Notes Theor. Comput. Sci. 44(3): (2001) |
| 4 | Rudolf Berghammer, Thorsten Hoffmann: Relational depth-first-search with applications. Inf. Sci. 139(3-4): 167-186 (2001) | |
| 3 | EE | Rudolf Berghammer, Thorsten Hoffmann: Modeling Sequences within the RelView System. J. UCS 7(2): 107-123 (2001) |
| 2000 | ||
| 2 | Rudolf Berghammer, Thorsten Hoffmann: Relational Depth-First-Search with Applications. RelMiCS 2000: 11-20 | |
| 1 | Rudolf Berghammer, Thorsten Hoffmann: Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem. Sci. Comput. Program. 38(1-3): 1-25 (2000) | |
| 1 | Rudolf Berghammer | [1] [2] [3] [4] [5] [6] |
| 2 | Barbara Leoniuk | [5] |
| 3 | Ulf Milanese | [5] |