Welcome...

dr.ir. R. Langerak (Rom)

Associate Professor

Expertise

Semantics
Chondrocytes
Timed Automata
Hybrid Automata
Specification Languages
Algebra
Cartilage
Model

Publications

Recent Articles
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 (Vol. 10500, pp. 297-315). (Lecture Notes in Computer Science; Vol. 10500). Springer. DOI: https://doi.org/10.1007/978-3-319-68270-9
Langerak, R., Pol, J. V. D., 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 (Vol. 10460, pp. 96-111). (Lecture Notes in Computer Science). 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
Schivo, S., Scholma, J., Karperien, H. B. J., Langerak, R., van de Pol, J. C., & Post, J. N. (2014). ANIMO: a tool for modeling biological pathway dynamics. 54-55. Abstract from Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting, Genova, Italy, Malden, .DOI: 10.1002/term.1931

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