Expertises
Computer Science
- Scheduling
Mathematics
- Classes
- Corner Point
- Cycles
- Finite Graph
- Modeling
- Optimality Criterion
- Wide Class
Organisaties
Nevenwerkzaakheden
- Ruhr Universität BochumMember Supervisory Board (Hochschulrat)
- University of TokyoMember Global Navigation Board
Publicaties
2024
Measured Causes: Adding Time and Probability to True Concurrency: Ten Papers with Pisa and Twente (2024)In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (pp. 297-308) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15262 LNCS). Springer. Brinksma, E., Langerak, R., Latella, D. & Massink, M.https://doi.org/10.1007/978-3-031-75778-5_14
Scan de QR-code of