Kathrin Geilmann

According to our database, Kathrin Geilmann authored at least 3 papers between 2006 and 2013.

Collaborative distances:

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

2013

Combining traits with boxes and ownership types in a Java-like setting.

Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer

Sci. Comput. Program., 2013

2010

A Calculus for Boxes and Traits in a Java-Like Setting.

Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer

Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2006

Infering Ownership Types for Encapsulated Object-Oriented Program Components.

Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer

Proceedings of the Program Analysis and Compilation, 2006