Debugging Lazy Functional Programs by Asking the Oracle. - Bernd Braßel; Holger Siegel (IFL, 2007)

Summarized Dimensions Revisited. - Holger Siegel; Axel Simon (NSAD@SAS, 2011)

The Undefined Domain: Precise Relational Information for Entities That Do Not Exist. - Holger Siegel; Bogdan Mihaila; Axel Simon (APLAS, 2013)

FESA: Fold- and Expand-Based Shape Analysis. - Holger Siegel; Axel Simon (CC, 2013)

Shape Analysis with Connectors. - Holger Siegel; Axel Simon (NFM, 2015)

Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs. - Holger Siegel (Verlag Dr. Hut, 2016)