Ulrich Hensel

	1999
5		Ulrich Hensel, Bart Jacobs: Coalgebraic Theories of Sequences in PVS. J. Log. Comput. 9(4): 463-500 (1999)
	1998
4		Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121
	1997
3		Ulrich Hensel, Bart Jacobs: Proof Principles for Datatypes with Iterated Recursion. Category Theory and Computer Science 1997: 220-241
	1995
2		Ulrich Hensel, David A. Spooner: A View on Implementing Processes: Categories of Circuits. COMPASS/ADT 1995: 237-254
	1994
1		Ulrich Hensel, Horst Reichel: Defining Equations in Terminal Coalgebras. COMPASS/ADT 1994: 307-318

Coauthor Index

1	Marieke Huisman	[4]
2	Bart Jacobs	[3] [4] [5]
3	Horst Reichel	[1]
4	David A. Spooner	[2]
5	Hendrik Tews	[4]

Colors in the list of coauthors