Expertises
Computer Science
- Timed Automaton
- Models
- Biological Pathway
Medicine and Dentistry
- Therapeutic Procedure
- Chondrocyte
Biochemistry, Genetics and Molecular Biology
- Software
- Health
- Hybrid
Organisaties
Publicaties
2025
Estimating the costs and analysing the precision of several diagnostic and treatment approaches for obstructive sleep apnea patients in the Netherlands, using timed automata modelling (2025)Computers in biology and medicine, 189( 109910). Article 109910. Wetselaar-Glas, M. J. M., Voortman, N., van Mechelen, P.-H., Wetselaar, P. & Langerak, R.https://doi.org/10.1016/j.compbiomed.2025.109910
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
2021
An ECHO of cartilage: In silico prediction of combinatorial treatments to switch between transient and permanent cartilage phenotypes with ex vivo validation (2021)Frontiers in bioengineering and biotechnology, 9. Article 732917. Khurana, S., Schivo, S., Plass, J. R. M., Mersinis, N., Scholma, J., Kerkhofs, J., Zhong, L., van de Pol, J., Langerak, R., Geris, L., Karperien, M. & Post, J. N.https://doi.org/10.3389/fbioe.2021.732917Modeling Diagnostic Strategies to Manage Toxic Adverse Events following Cancer Immunotherapy (2021)Medical decision making, 41(6), 693-705. van Delft, F., Muller, M., Langerak, R., Koffijberg, H., Retèl, V., van den Broek, D. & IJzerman, M.https://doi.org/10.1177/0272989X211002756
Onderzoeksprofielen
Vakken collegejaar 2025/2026
Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
- 191211650 - Multi-Disciplinary Design Project
- 192135310 - Modeling & Analysis Concurrent Systems
- 192166200 - Capita Selecta I-Tech
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta ST
- 201500039 - Security Verification
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900234 - Internship I-Tech
- 202001182 - Algorithms, Datastructures & Complexity
- 202001183 - Algorithms, Datastr. & Complexity EmSys
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT / CS
- 202300070 - Final Project EMSYS
- 202400006 - M11 Design Project
- 202400591 - Cyber-Physical Systems Core
- 202500367 - Algorithms and Data Structures
Vakken collegejaar 2024/2025
- 191211650 - Multi-Disciplinary Design Project
- 192135310 - Modeling & Analysis Concurrent Systems
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta ST
- 201500039 - Security Verification
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900234 - Internship I-Tech
- 202001182 - Algorithms, Datastructures & Complexity
- 202001183 - Algorithms, Datastr. & Complexity EmSys
- 202001364 - Discrete Mathematics and Algebra AM-TN
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
- 202400006 - M11 Design Project
- 202400591 - Cyber-Physical Systems Core
Adres

Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3096
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3096
Postbus 217
7500 AE Enschede