Holger Siegel

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 0

Top Topics

Anatomical Structures

Relational Information

Image Analysis And Pattern Recognition

Top Venues

Electron. Notes Theor. Comput. Sci.

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Holger Siegel, Axel Simon
Shape Analysis with Connectors. NFM (2015)
Holger Siegel, Axel Simon
FESA: Fold- and Expand-Based Shape Analysis. CC (2013)
Holger Siegel, Bogdan Mihaila, Axel Simon
The Undefined Domain: Precise Relational Information for Entities That Do Not Exist. APLAS (2013)
Holger Siegel, Axel Simon
Summarized Dimensions Revisited. Electron. Notes Theor. Comput. Sci. 288 (2012)
Bernd Braßel, Holger Siegel
Debugging Lazy Functional Programs by Asking the Oracle. IFL (2007)