OpenAlex
Holger Gast
Author
View works
Alternate names Holger Gast, Gast Holger
Institution University of Tübingen
Past institutions University of Tübingen, Hahn-Schickard-Gesellschaft für angewandte Forschung
H-index: 4
I10-index: 3
Works count: 16
Citations count: 54
Top works
Explaining ML Type Errors by Data Flows
2005 · Holger Gast · Lecture notes in computer science
Lightweight Separation
2008 · Holger Gast · Lecture notes in computer science
Reasoning about memory layouts
2010 · Holger Gast · Formal Methods in System Design
Key stats
year
open access
topic
type