Henry Sudhof

According to our database, Henry Sudhof authored at least 5 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

A mechanized theory of aspects.

Henry Sudhof

PhD thesis, 2010

Locally Nameless Sigma Calculus.

Ludovic Henrio, Florian Kammüller, Bianca Lutz, Henry Sudhof

Arch. Formal Proofs, 2010

2008

Composing Safely - A Type System for Aspects.

Florian Kammüller, Henry Sudhof

Proceedings of the Software Composition - 7th International Symposium, 2008

Compositionality of Aspect Weaving.

Florian Kammüller, Henry Sudhof

Proceedings of the Autonomous Systems, 2008

2006

Patterns for Re-usable Aspects in Object Teams.

Dehla Sokenou, Katharina Mehner, Stephan Herrmann, Henry Sudhof

Proceedings of the Conference Proceedings NODe 2006, 2006