Joost-Pieter Katoen Sign in to save
Currently: Cornell University · RWTH Aachen University · University of Twente
20.3k
Citations
62
h-index
285
i10-index
683
Works (all)
193
Aachen papers
Departments & institutes in Aachen
-
Software Modeling and Verification RWTH Aachen University7 papers · 2020–2022
-
Software Modeling and Verification Group RWTH Aachen University6 papers · 2021–2024
-
Department of Computer Science RWTH Aachen University2 papers · 2023–2024
-
Chair of Software Modeling and Verification RWTH Aachen University1 paper · 2022
-
Lehrstuhl für Informatik 2 RWTH Aachen University1 paper · 2021
-
Departement of Computer Science RWTH Aachen University1 paper · 2021
-
Software Modelling and Verification Group RWTH Aachen University1 paper · 2020
-
Software Modelling and Verification RWTH Aachen University1 paper · 2025
Affiliations exactly as printed on papers (15)
- 73× RWTH Aachen University, Aachen, Germany
- 39× RWTH Aachen University
- 25× RWTH Aachen University , Aachen , Germany
- 12× RWTH Aachen University, Germany
- 10× RWTH Aachen University , Germany
- 9× University of Twente
- 9× RWTH Aachen
- 5× Aachen University
- 5× RWTH Aachen, University, Aachen, Germany
- 4× Software Modeling and Verification, RWTH Aachen University, Aachen, Germany
- 3× Software Modeling and Verification Group, RWTH Aachen University, Aachen, Germany
- 2× Department of Computer Science, RWTH Aachen University, Aachen, Germany
- 2× University of Twente, Enschede, The Netherlands
- 2× RWTH Aachen University (Germany)
- 2× Software Modeling and Verification Group RWTH Aachen University , Aachen , Germany