Ulrike Hartmer

2002
3	EE	Georg Lehr, Ulrike Hartmer, Ralf Geerdsen: Design of a network level management information model for automatically switched transport networks. NOMS 2002: 111-124
2	EE	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	EE	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