Expertise
Social Sciences
# Cancer
# Treatment Decisions
Medicine & Life Sciences
# Castration
# Chondrocytes
# Computer Simulation
# Prostatic Neoplasms
Engineering & Materials Science
# Differential Equations
# Model Checking
Organisations
Publications
Recent
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. (2021).
An ECHO of cartilage: In silico prediction of combinatorial treatments to switch between transient and permanent cartilage phenotypes with ex vivo validation.
Frontiers in bioengineering and biotechnology,
9, [732917].
https://doi.org/10.3389/fbioe.2021.732917
van Delft, F., Muller, M.
, Langerak, R.
, Koffijberg, H.
, Retèl, V., van den Broek, D.
, & IJzerman, M. (2021).
Modeling Diagnostic Strategies to Manage Toxic Adverse Events following Cancer Immunotherapy.
Medical decision making,
41(6), 693-705.
https://doi.org/10.1177/0272989X211002756
Wetselaar, P., Lobbezoo, F., de Jong, P., Choudry, U., van Rooijen, J.
, & Langerak, R. (2020).
A methodology for evaluating tooth wear monitoring using timed automata modelling.
Journal of Oral Rehabilitation,
47(3), 353-360.
https://doi.org/10.1111/joor.12908
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. (2020).
ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease.
Cellular Signalling,
68, [109471].
https://doi.org/10.1016/j.cellsig.2019.109471
Katoen, J-P.
, Langerak, R.
, & Rensink, A. (2017).
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. (Lecture Notes in Computer Science; Vol. 10500). Springer.
https://doi.org/10.1007/978-3-319-68270-9
Schivo, S.
, & Langerak, R. (2017).
Discretization of Continuous Dynamical Systems Using UPPAAL. In J-P. Katoen, R. Langerak, & A. Rensink (Eds.),
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (pp. 297-315). (Lecture Notes in Computer Science; Vol. 10500). Springer.
https://doi.org/10.1007/978-3-319-68270-9_15
Langerak, R.
, van de Pol, J.
, Post, J. N.
, & Schivo, S. (2017).
Improving the Timed Automata Approach to Biological Pathway Dynamics. In L. Aceto, G. Bacci, G. Bacci, A. Ingólfsdóttir, A. Legay, & R. Mardare (Eds.),
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (pp. 96-111). (Lecture Notes in Computer Science; Vol. 10460). Springer.
https://doi.org/10.1007/978-3-319-63121-9_5
Degeling, K.
, Schivo, S., Mehra, N.
, Koffijberg, E.
, Langerak, R., de Bono, J.
, & IJzerman, M. J. (2017).
Comparison of Timed Automata with Discrete Event Simulation for Modeling of Biomarker-Based Treatment Decisions: An Illustration for Metastatic Castration-Resistant Prostate Cancer.
Value in health,
20(10), 1411-1419.
https://doi.org/10.1016/j.jval.2017.05.024
UT Research Information System
Courses Academic Year 2021/2022
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.
Courses Academic Year 2020/2021
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(building no. 11), room 3096
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3096
P.O. Box 217
7500 AE Enschede
The Netherlands
Working days
| Week | Monday | Tuesday | Wednesday | Thursday | Friday |
| Even | |||||
| Odd |