Ulrike Hartmer

	2002
3		Georg Lehr, Ulrike Hartmer, Ralf Geerdsen: Design of a network level management information model for automatically switched transport networks. NOMS 2002: 111-124
2		Ulrike Hartmer, Ralf Geerdsen, Georg Lehr, Antonio Manzalini, Giuseppe Ricucci: Generic architecture for a management system of automatic switched transport networks. NOMS 2002: 665-680
	1998
1		Bernhard Beckert, Ulrike Hartmer: A Tableau Calculus for Quantifier-Free Set Theoretic Formulae. TABLEAUX 1998: 93-107

Coauthor Index

1	Bernhard Beckert	[1]
2	Ralf Geerdsen	[2] [3]
3	Georg Lehr	[2] [3]
4	Antonio Manzalini	[2]
5	Giuseppe Ricucci	[2]

Colors in the list of coauthors