RWTH Aachen University — Germany
Computer Science · Physical Sciences
2h-index6citations4works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Engineering Research(4), Model-Driven Software Engineering Techniques(3), Software Testing and Debugging Techniques(2), Logic, programming, and type systems(1), Advanced Software Engineering Methodologies(1)
Publications4 total
Lecture notes in computer science·2018· 4 citedOpen Access
Lecture notes in computer science·2018· 2 cited
RWTH Publications (RWTH Aachen)·2017Open Access
arXiv (Cornell University)·2017Open Access
Frequent Co-authors
Christina Jansen(4), Christoph Matheja(4), Thomas Noll(3), Joost-Pieter Katoen(1)