Research output per year
Research output per year
Personal profile
Fingerprint
Dive into the research topics where Rom Langerak is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 10 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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
Wetselaar-Glas, M. J. M., Voortman, N., van Mechelen, P.-H., Wetselaar, P. & Langerak, R., May 2025, In: Computers in biology and medicine. 189, 109910, 109910.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Measured Causes: Adding Time and Probability to True Concurrency: Ten Papers with Pisa and Twente
Brinksma, E., Langerak, R., Latella, D. & Massink, M., 18 Nov 2024, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Springer, p. 297-308 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15262 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open AccessFile -
An ECHO of cartilage: In silico prediction of combinatorial treatments to switch between transient and permanent cartilage phenotypes with ex vivo validation
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., 15 Nov 2021, In: Frontiers in bioengineering and biotechnology. 9, 21 p., 732917.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Link opens in a new tab Citations (Scopus)169 Downloads (Pure) -
Modeling Diagnostic Strategies to Manage Toxic Adverse Events following Cancer Immunotherapy
van Delft, F., Muller, M., Langerak, R., Koffijberg, H., Retèl, V., van den Broek, D. & IJzerman, M., Aug 2021, In: Medical decision making. 41, 6, p. 693-705 13 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile2 Link opens in a new tab Citations (Scopus)149 Downloads (Pure) -
A methodology for evaluating tooth wear monitoring using timed automata modelling
Wetselaar, P., Lobbezoo, F., de Jong, P., Choudry, U., van Rooijen, J. & Langerak, R., Mar 2020, In: Journal of Oral Rehabilitation. 47, 3, p. 353-360 8 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile9 Link opens in a new tab Citations (Scopus)162 Downloads (Pure)
-
Symposium on Model-Ed, Test-Ed, Trust-Ed in honour of Ed Brinksma on the occasion of his 60th birthday, 2017
Katoen, J. P. (Organiser), Langerak, R. (Organiser) & Rensink, A. (Organiser)
17 Oct 2017Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
Workshop on Formal Methods for Aerospace, FMA 2009
Langerak, R. (Member of programme committee)
2009Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
Stability Analysis for Hyrid Automata
Langerak, R. (Speaker)
20 Nov 2002Activity: Talk or presentation › Oral presentation
-
Model checking in industrial applications
Langerak, R. (Invited speaker)
26 May 1999Activity: Talk or presentation › Oral presentation
-
Deriving a graph rewriting system from a complete finite prefix of an unfolding
Langerak, R. (Keynote speaker)
23 Aug 1999Activity: Talk or presentation › Invited talk