Joost-Pieter Katoen

Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University. Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente. Provided by Wikipedia
Cover Image
Read Now

4
Published 2011
Springer Berlin Heidelberg
Other Authors: “...Katoen, Joost-Pieter...”
Cover Image
Read Now

5
Published 2021
Cambridge University Press
Other Authors: “...Katoen, Joost-Pieter...”
Cover Image
Read Now

6
Published 2023
Springer International Publishing
Other Authors: “...Katoen, Joost-Pieter...”
Cover Image
Read Now

7
Published 2019
Springer International Publishing
Other Authors: “...Katoen, Joost-Pieter...”
Cover Image
Read Now

9
Published 2017
Springer International Publishing
Other Authors: “...Katoen, Joost-Pieter...”
Cover Image
Read Now

10
by Baier, Christel
Published 2004
Springer Berlin Heidelberg
Other Authors: “...Katoen, Joost-Pieter...”
Cover Image
Read Now

11
Published 2005
Springer Berlin Heidelberg
Other Authors: “...Katoen, Joost-Pieter...”
Cover Image
Read Now

12
Published 2004
Springer Berlin Heidelberg
Other Authors: “...Katoen, Joost-Pieter...”