Statistics
Publications
7
Citations
641
H-Index
7
Active since
1997
Affiliations
University of Passau(Current)
Andreas Dolzmann is an author at University of Passau specializing in engineering, computer science, and formal methods.
Publications per year
1997–2004
7
7
Andreas Dolzmann, Thomas Sturm · ACM SIGSAM Bulletin · 1997 · 356 citations
Computer Logic System, Symbolic Manipulation, Engineering +11
Efficient projection orders for CAD
Andreas Dolzmann, Andreas Seidl, Thomas Sturm · 2004 · 93 citations
Mathematical Programming, Engineering, Computational Complexity +17
Guarded expressions in practice
Andreas Dolzmann, Thomas Sturm · 1997 · 15 citations · Full text
1–5 of 7