Kiel University — Germany
Computer Science · Physical Sciences
25h-index2.5kcitations103works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(44), Logic, programming, and type systems(39), Distributed systems and fault tolerance(20), Logic, Reasoning, and Knowledge(15), Model-Driven Software Engineering Techniques(10)
Publications103 total
Lecture notes in computer science·2015
Science of Computer Programming·2010· 1 cited
Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures
Springer eBooks·2006· 4 cited
2005· 2 cited
Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
Springer eBooks·2005
2002· 6 cited
Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.
FBT·2000
Lecture notes in computer science·1999· 11 citedOpen Access
Lecture notes in computer science·1999· 1 cited
Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
1998
Formal semantics for Ward and Mellor's transformation schemas and its application to fault tolerant systems
TU/e Research Portal·1998· 3 cited
Programming Concepts and Methods
Data Archiving and Networked Services (DANS)·1998· 32 cited
Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
Springer eBooks·1998· 9 cited
Lecture notes in computer science·1998· 4 cited
Programming concepts and methods : PROCOMET '98 : IFIP TC2/WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June 1998, Shelter Island, New York, USA
Medical Entomology and Zoology·1998· 1 cited
Revised Lectures from the International Symposium on Compositionality: The Significant Difference
1997· 23 cited
Formal Aspects of Computing·1997· 143 cited
Lecture notes in computer science·1997· 6 cited
Lecture notes in computer science·1997· 8 cited
Lecture notes in computer science·1996· 9 citedOpen Access
page 1 of 6Next →
Frequent Co-authors
J. W. de Bakker(9), Rob Gerth(8), Grzegorz Rozenberg(5), Ron Koymans(5), Cornelis Huizing(4), Frank Stomp(4), Nissim Francez(3), Job Zwiers(3), R. K. Shyamasundar(3), S. Arun-Kumar(2), G. Rozenberg(2), Jozef Hooman(2), Hans Langmaack(2), Amir Pnueli(2), J. Coenen(2), J. Zwiers(2), Ulrich Hannemann(2), Krzysztof R. Apt(1), Qiwen Xu(1), Jifeng He(1)