Kathrin Geilmann

	2010
2		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: 46-60
	2006
1		Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer: Infering Ownership Types for Encapsulated Object-Oriented Program Components. Program Analysis and Compilation 2006: 120-144

Coauthor Index

1	Lorenzo Bettini	[2]
2	Ferruccio Damiani	[2]
3	Marco De Luca	[2]
4	Arnd Poetzsch-Heffter	[1]
5	Jan Schäfer (Jan Schaefer)	[1] [2]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page