Research output per year
Research output per year
prof.dr.ir.
Research activity per year
Research output: Contribution to journal › Article › Academic › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Research output: Contribution to journal › Article › Academic › peer-review
Research output: Contribution to journal › Article › Academic › peer-review
Research output: Book/Report › Book editing › Academic
Junges, S. (Creator), Ábrahám, E. (Creator), Hensel, C. (Creator), Jansen, N. (Creator), Katoen, J.-P. (Creator), Quatmann, T. (Creator) & Volk, M. (Creator), Zenodo, 3 Mar 2023
DOI: 10.5281/zenodo.7697153, https://doi.org/10.5281/zenodo.7697154
Dataset
Batz, K. (Creator), Katoen, J.-P. (Creator), Randone, F. (Creator) & Winkler, T. (Creator), Zenodo, 8 Apr 2025
DOI: 10.5281/zenodo.14930103, https://zenodo.org/records/14930103 and 4 more links, https://zenodo.org/records/14930104, https://doi.org/10.5281/zenodo.14930104, https://zenodo.org/records/15175355, https://doi.org/10.5281/zenodo.15175355 (show fewer)
Dataset
Basgöze, D. (Creator), Volk, M. (Creator), Katoen, J.-P. (Creator), Khan, S. (Creator) & Stoelinga, M. (Creator), Zenodo, 28 Mar 2022
DOI: 10.5281/zenodo.5834212, https://zenodo.org/records/5834212 and 4 more links, https://zenodo.org/records/5834213, https://doi.org/10.5281/zenodo.5834213, https://zenodo.org/records/6390998, https://doi.org/10.5281/zenodo.6390998 (show fewer)
Dataset
Hartmanns, A. (Creator), Junges, S. (Creator), Katoen, J.-P. (Creator) & Quatmann, T. (Creator), Zenodo, 15 Jun 2020
DOI: 10.5281/zenodo.3894716, https://zenodo.org/record/3894716 and 4 more links, https://doi.org/10.5281/zenodo.3894717, https://zenodo.org/record/3894717, https://doi.org/10.5281/zenodo.3894735, https://zenodo.org/record/3894735 (show fewer)
Dataset
van Keulen, M. (Recipient), Kaminski, B. (Recipient), Matheja, C. (Recipient) & Katoen, J. P. (Recipient), 4 Oct 2018
Prize
Katoen, J. P. (Organiser), Langerak, R. (Organiser) & Rensink, A. (Organiser)
Activity: Participating in or organising an event › Organising a conference, workshop, ...
Katoen, J. P. (Speaker)
Activity: Talk or presentation › Oral presentation
Katoen, J. P. (Speaker)
Activity: Talk or presentation › Oral presentation
Katoen, J. P. (Speaker)
Activity: Talk or presentation › Oral presentation
Katoen, J. P. (Speaker)
Activity: Talk or presentation › Oral presentation