| |
| 1999 | ||
|---|---|---|
| 5 | EE | Ulrich Hensel, Bart Jacobs: Coalgebraic Theories of Sequences in PVS. J. Log. Comput. 9(4): 463-500 (1999) |
| 1998 | ||
| 4 | EE | 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 | |
| 1 | Marieke Huisman | [4] |
| 2 | Bart Jacobs | [3] [4] [5] |
| 3 | Horst Reichel | [1] |
| 4 | David A. Spooner | [2] |
| 5 | Hendrik Tews | [4] |