Welcome...

dr.ir. R. Langerak (Rom)

Associate Professor

Expertise

Castration
Prostatic Neoplasms
Therapeutics
Chondrocytes
Model Checking
Motion Control
Circulating Neoplastic Cells
Semantics
Algebra
Distribution Functions
Dynamical Systems
Software
Network Protocols
Chemical Analysis
Geometric Approach
Birthday
Specification Languages
Differential Equations
Biomarkers
Linear Systems
Synchronization
Festschrift
Economics
Health
Formal Methods

Publications

Recent
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. DOI: 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. DOI: 10.1007/978-3-319-63121-9_5
Schivo, S., Scholma, J., Huang, X., Huang, X., Zhong, L., Zhong, L., ... Post, J. N. (2016). An ECHO in biology II: Insights in chondrocyte cell fate. S176-S177. Abstract from 2016 OARSI World Congress on Osteoarthrtis, Amsterdam, Netherlands.DOI: 10.1016/j.joca.2016.01.347
Degeling, K., Degeling, K., Koffijberg, H., Schivo, S., Langerak, R., & IJzerman, M. J. (2015). Comparison of Timed Automata with Discrete Event Simulation for Modeling Personalized Treatment Decisions: the Case of Metastatic Castration Resistant Prostate Cancer. In ISPOR 18th Annual European Congress Research Abstracts (pp. A343-A344). (Value in Health; Vol. 18, No. 7). International Society for Pharmacoeconomics and Outcomes Research (ISPOR). DOI: 10.1016/j.jval.2015.09.159
Schivo, S., Degeling, K., Degeling, K., Koffijberg, H., IJzerman, M. J., & Langerak, R. (2015). PRM113 - Timed Automata Modeling of The Personalized Treatment Decisions In Metastatic Castration Resistant Prostate Cancer. In ISPOR 18th Annual European Congress Research Abstracts (pp. A702-A703). (Value in Health; Vol. 18, No. 7). Amsterdam: International Society for Pharmacoeconomics and Outcomes Research (ISPOR). DOI: 10.1016/j.jval.2015.09.2630

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3098
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3098
P.O. Box 217
7500 AE Enschede
The Netherlands

Working days

Week Monday Tuesday Wednesday Thursday Friday
Even
Odd