Henry Sudhof

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Ludovic Henrio, Florian Kammüller, Bianca Lutz, Henry Sudhof
Locally Nameless Sigma Calculus. Arch. Formal Proofs 2010 (2010)
Florian Kammüller, Henry Sudhof
Composing Safely - A Type System for Aspects. SC@ETAPS (2008)
Florian Kammüller, Henry Sudhof
Compositionality of Aspect Weaving. SJTU-TUB Joint Workshop (2008)
Dehla Sokenou, Katharina Mehner, Stephan Herrmann, Henry Sudhof
Patterns for Re-usable Aspects in Object Teams. NODe/GSEM (2006)