Statistics
Publications
4
Citations
121
H-Index
4
Active since
1989
Affiliations
Siemens (Germany)(Current)
Dirk Taubner is an author at Siemens (Germany) specializing in computing, computer science, and theory of computation.
Publications per year
1989–2004
4
4
Donald Kossmann, Frank Leymann, Dirk Taubner · Fachbereich Informatik (University of Stuttgart) · 2004 · 14 citations
Step failures semantics and a complete proof system
Dirk Taubner, Walter Vogler · Acta Informatica · 1989 · 12 citations
1–4 of 4