No photo of Rom Langerak

Rom Langerak

dr.ir.

1990 …2017
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 13 Similar Profiles
Castration Medicine & Life Sciences
Chondrocytes Medicine & Life Sciences
Prostatic Neoplasms Medicine & Life Sciences
Model checking Engineering & Materials Science
Motion control Engineering & Materials Science
Circulating Neoplastic Cells Medicine & Life Sciences
Specification languages Engineering & Materials Science
Software Medicine & Life Sciences

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1990 2017

1 Citations
Castration
Circulating Neoplastic Cells
Prostatic Neoplasms
Software
Biomarkers

Discretization of Continuous Dynamical Systems Using UPPAAL

Schivo, S. & Langerak, R. 27 Sep 2017 ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Springer, p. 297-315 19 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Dynamical systems
Differential equations
Model checking

Improving the Timed Automata Approach to Biological Pathway Dynamics

Langerak, R., van de Pol, J., Post, J. N. & Schivo, S. 19 Aug 2017 Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 96-111 16 p. (Lecture Notes in Computer Science; vol. 10460)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Computer science
Model checking
Biological systems
User interfaces
Genes

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Katoen, J-P., Langerak, R. & Rensink, A. 2017 Springer. 390 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: Book/ReportBook editing

Open Access
File
Birthday
Formal Methods
Festschrift
Mathematics
Language Modeling

An ECHO in biology II: Insights in chondrocyte cell fate

Schivo, S., Scholma, J., Huang, X., Huang, X., Zhong, L., Zhong, L., van de Pol, J. C., Karperien, H. B. J., Langerak, R. & Post, J. N. Apr 2016 p. S176-S177 1 p.

Research output: Contribution to conferenceAbstract

File
Chondrocytes
Computer Simulation
Joints
Cartilage Diseases
Ligands

Activities 1994 2009

  • 2 Oral presentation
  • 1 Organising a conference, workshop, ...

Workshop on Formal Methods for Aerospace, FMA 2009

Langerak, R. (Member of programme committee)
2009

Activity: Organising a conference, workshop, ...

Causal ambiguity and partial orders in event structures

Langerak, R. (Keynote speaker)
2 Jul 1997

Activity: Oral presentation