Thorsten Hoffmann

	2001
6		Rudolf Berghammer, Thorsten Hoffmann: Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs. RelMiCS 2001: 258-275
5		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		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)

Coauthor Index

1	Rudolf Berghammer	[1] [2] [3] [4] [5] [6]
2	Barbara Leoniuk	[5]
3	Ulf Milanese	[5]