Computer Science · Physical Sciences
3h-index30citations12works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(7), Logic, programming, and type systems(4), Network Traffic and Congestion Control(2), Embedded Systems Design Techniques(2), Logic, Reasoning, and Knowledge(2)
Publications12 total
Universitäts- und Landesbibliothek Münster·2012Open Access
1997· 1 cited
Process algebra techniques for verification of SDL-diagrams
1992· 3 cited
Phasing-in the universal broadband ISDN: initial trials for examining ATM applications and ATM systems
1990· 2 cited
Applicable Algebra in Engineering Communication and Computing·1990· 11 cited
Journal of Automated Reasoning·1989
Informatik-Fachberichte·1987· 8 cited
Lecture notes in computer science·1986· 1 cited
Lecture notes in computer science·1986
ASSIP-T: A Theorem Proving Machine.
Fraunhofer-Publica (Fraunhofer-Gesellschaft)·1984· 4 cited
Frequent Co-authors
Erik Tidén(3), Thomas Filkorn(3), Klaus Estenfeld(2), R. Schmid(2), Dirk Taubner(2), Werner Dilger(2), Jörg Lohse(2), Wolfram Büttner(1), H. Armbrüster(1), Andreas Scholz(1), P. Warkentin(1), Peter Grieble(1), Johannes Hoffmann(1), Konrad Ott(1), Lucia A. Reisch(1), Gerhard Scherhorn(1), Ronald Herrmann(1), Jörg Bormann(1)