Kathrin Geilmann

Publication Activity (10 Years)

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

Top Topics

Evolutionary Algorithm

Top Venues

Sci. Comput. Program.

Publications

Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer
Combining traits with boxes and ownership types in a Java-like setting. Sci. Comput. Program. 78 (2) (2013)
Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer
A Calculus for Boxes and Traits in a Java-Like Setting. COORDINATION (2010)
Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer
Infering Ownership Types for Encapsulated Object-Oriented Program Components. Program Analysis and Compilation (2006)