- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| c5 |      | Eva Fordran, Matthias Fruth, Ulrich Hensel, Hu Shaoyu, Madabhushi Srinivasan: Model Checking in an Industrial Environment. MBMV 2003: 239-248 |
| 1999 | ||
| j1 |  | Ulrich Hensel, Bart Jacobs: Coalgebraic Theories of Sequences in PVS. J. Log. Comput. 9(4): 463-500 (1999) |
| 1998 | ||
| b1 | | Ulrich Hensel: Definition and proof principles for data and processes. TU Dresden 1998, pp. 1-177 |
| c4 | | Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121 |
| 1997 | ||
| c3 | | Ulrich Hensel, Bart Jacobs: Proof Principles for Datatypes with Iterated Recursion. Category Theory and Computer Science 1997: 220-241 |
| 1995 | ||
| c2 | | Ulrich Hensel, David A. Spooner: A View on Implementing Processes: Categories of Circuits. COMPASS/ADT 1995: 237-254 |
| 1994 | ||
| c1 | | |
| 1 | Eva Fordran | |
| 2 | Matthias Fruth | |
| 3 | Marieke Huisman | |
| 4 | Bart Jacobs | |
| 5 | Horst Reichel | |
| 6 | Hu Shaoyu | |
| 7 | David A. Spooner | |
| 8 | Madabhushi Srinivasan | |
| 9 | Hendrik Tews |
Colors in the list of coauthors
Last update Wed May 22 04:55:30 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page