Expertise
Computer Science
- Timed Automaton
- Models
- Biological Pathway
Medicine and Dentistry
- Therapeutic Procedure
- Chondrocyte
Biochemistry, Genetics and Molecular Biology
- Software
- Health
- Hybrid
Organisations
Publications
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 (E-pub ahead of print/First online). 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
2020
ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease (2020)Cellular Signalling, 68. Article 109471. Schivo, S., Khurana, S., Govindaraj, K., Scholma, J., Kerkhofs, J., Zhong, L., Huang, X., Pol, J. v. d., Langerak, R., Wijnen, A. J. v., Geris, L., Karperien, M. & Post, J. N.https://doi.org/10.1016/j.cellsig.2019.109471
Research profiles
Courses academic year 2024/2025
Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
- 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 Core
- 202400591 - Cyber-Physical Systems Core
Courses academic year 2023/2024
- 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 Software Technology
- 201500039 - Security Verification
- 201600017 - Final Project Preparation
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900200 - Final Project EMSYS
- 201900234 - Internship I-Tech
- 202001049 - M11 Design Project Core
- 202001182 - Algorithms, Datastructures & Complexity
- 202001183 - Algorithms, Datastr. & Complexity EmSys
- 202001360 - Algorithmic Discrete Mathematics
- 202001364 - Discrete Mathematics and Algebra AM-TN
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
- 202300111 - Cyber-Physical Systems Core
- 202300130 - Capita Selecta Applied Mathematics
Address

University of Twente
Zilverling (building no. 11), room 3096
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3096
P.O. Box 217
7500 AE Enschede
Netherlands