U. Hensel

Reasoning about Java classes: preliminary report

Bart Jacobs, Marieke Huisman, Joachim van den Berg, 1998, OOPSLA '98.

Sodium dodecyl sulfate-polyacrylamide gel electrophoresis immunoblotting as a serological tool in the diagnosis of syphilitic infections

S. Bhakdi, H. Wellensiek, U. Hensel, 1985, Journal of clinical microbiology.

Coalgebraic Theories of Sequences in PVS

Bart Jacobs, Ulrich Hensel, B. Jacobs, 1999, J. Log. Comput..

Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools

Bart Jacobs, Hendrik Tews, Marieke Huisman, 1998, ESOP.

Defining Equations in Terminal Coalgebras

Horst Reichel, Ulrich Hensel, H. Reichel, 1994, COMPASS/ADT.