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.

  • 3 Similar Profiles
Chondrocytes Medicine & Life Sciences
Timed automata Mathematics
Cartilage Medicine & Life Sciences
Modeling Mathematics
Pathway Mathematics
Model checking Engineering & Materials Science
Software Medicine & Life Sciences
Synchronization Engineering & Materials Science

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

Research Output 1990 2017

Software
Biological Markers
Economics
Health
Circulating Neoplastic Cells

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: Scientific - peer-reviewChapter

Dynamical systems
Differential equations
Model checking

Improving the Timed Automata Approach to Biological Pathway Dynamics

Langerak, R., Pol, J. V. D., 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: Scientific - peer-reviewConference contribution

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: ScientificBook editing

Formal methods
Terminology
Computer science
Dynamical systems
Semantics

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: Other research outputAbstract

Chondrocytes
Computer Simulation
Ligands
Proteins
Inhibition (Psychology)

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