Siemens (Germany) — Germany
Computer Science · Physical Sciences
6h-index133citations9works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(6), Logic, programming, and type systems(5), Embedded Systems Design Techniques(2), semigroups and automata theory(2), Software Testing and Debugging Techniques(1)
Publications9 total
2002· 2 cited
1997· 1 cited
Experiences from a Large Industrial Circuit Design Application.
1991· 8 cited
Applicable Algebra in Engineering Communication and Computing·1990· 11 cited
Journal of Symbolic Computation·1987· 39 cited
Informatik-Fachberichte·1987· 8 cited
Lecture notes in computer science·1986· 44 cited
Lecture notes in computer science·1985· 15 cited
Bulletin of Engineering Geology and the Environment·1979· 5 cited
Frequent Co-authors
Hans-Albert Schneider(3), Stefan Arnborg(2), Klaus Estenfeld(2), R. Schmid(2), Thomas Filkorn(2), Wolfram Büttner(1), Rick Schmid(1), P.A. Warkentin(1), Dirk Taubner(1), Э. Г. Газиев(1), Andreas Scholz(1), Jörg Lohse(1), P. Warkentin(1)