Defining Equations in Terminal Coalgebras. - Ulrich Hensel; Horst Reichel (COMPASS/ADT, 1994)

A View on Implementing Processes: Categories of Circuits. - Ulrich Hensel; David A. Spooner (COMPASS/ADT, 1995)

Proof Principles for Datatypes with Iterated Recursion. - Ulrich Hensel; Bart Jacobs 001 (Category Theory and Computer Science, 1997)

Definition and proof principles for data and processes = Definitions- und Beweisprinzipien für Daten und Prozesse. - Ulrich Hensel (1998)

Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. - Ulrich Hensel; Marieke Huisman; Bart Jacobs 001; Hendrik Tews (ESOP, 1998)

Definitions- und Beweisprinzipien für Daten und Prozesse. - Ulrich Hensel (Ausgezeichnete Informatikdissertationen, 1999)

Coalgebraic Theories of Sequences in PVS. - Ulrich Hensel; Bart Jacobs 001 (J. Log. Comput., 1999)

Model Checking in an Industrial Environment. - Eva Fordran; Matthias Fruth; Ulrich Hensel; Hu Shaoyu; Madabhushi Srinivasan (MBMV, 2003)

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. - Hanno Becker; Juan Manuel Crespo; Jacek Galowicz; Ulrich Hensel; Yoichi Hirai; César Kunz; Keiko Nakata 001; Jorge Luis Sacchini; Hendrik Tews; Thomas Tuerk (FM, 2016)

How to Achieve World-Leading Energy Efficiency using 22FDX with Adaptive Body Biasing on an Arm Cortex-M4 IoT SoC. - Sebastian Höppner; Jörg Schreiter; Robert Niebsch; Stephan Scherzer; Ulrich Hensel; Jörg Winkler; Mario Orgis; Holger Eisenreich; Dennis Walter; Uwe Steeb; André Scharfe; Clifford Dmello; et al. (ESSDERC, 2019)

Adaptive Body Bias Aware Implementation for Ultra-Low-Voltage Designs in 22FDX Technology. - Sebastian Höppner; Holger Eisenreich; Dennis Walter; André Scharfe; Alexander Oefelein; Florian Schraut; Jörg Schreiter; Thorsten Riedel; Heiner Bauer; Robert Niebsch; Stephan Scherzer; Thomas Hocker; et al. (IEEE Trans. Circuits Syst. II Express Briefs, 2020)