Expertises
Computer Science
- Timed Automaton
- Interactivity
- Hybrid Automaton
- Computer Science
- Linear Systems
- Synchronism
Biochemistry, Genetics and Molecular Biology
- Chondrocyte
- Cell Fate
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
Onderzoeksprofielen
Vakken collegejaar 2026/2027
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.
Vakken collegejaar 2025/2026
Adres
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3096
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3096
Postbus 217
7500 AE Enschede
Scan de QR-code of