No photo of Rom Langerak

Rom Langerak

dr.ir.

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

Research Output 1990 2017

Filter
Article
2017
1 Citations
Castration
Circulating Neoplastic Cells
Prostatic Neoplasms
Software
Biomarkers
2016
6 Citations

Modelling with ANIMO: between fuzzy logic and differential equations

Schivo, S., Scholma, J., van der Vet, P. E., Karperien, H. B. J., Post, J. N., van de Pol, J. C. & Langerak, R. 27 Jul 2016 In : BMC systems biology. 10, p. 56 15 p.

Research output: Contribution to journalArticle

Open Access
File
2014
7 Citations

Modelling biological pathway dynamics with Timed Automata

Schivo, S., Scholma, J., Wanders, B., Urquidi Camacho, R. A., van der Vet, P. E., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N. May 2014 In : IEEE journal of biomedical and health informatics. 18, 3, p. 832-839 7 p.

Research output: Contribution to journalArticle

2012
2 Citations

Stability and robustness of planar switching linear systems

Polderman, J. W. & Langerak, R. Sep 2012 In : Systems and control letters. 61, 9, p. 904-910 7 p.

Research output: Contribution to journalArticle

2010
5 Citations

Re-verification of a Lip Synchronization Protocol using Robust Reachability

Kordy, P. T., Bujorianu, L. M. (ed.), Langerak, R., Fischer, M. (ed.) & Polderman, J. W. 2010 In : Electronic proceedings in theoretical computer science. 20, p. 49-62 14 p.

Research output: Contribution to journalArticle

File
2007
5 Citations

Estimations of solutions convergence of hybrid systems consisting of linear equations with delay

Martynyuk, A. A. (ed.), Khusainov, D., Langerak, R. & Kuzmych, O. 2007 In : Nonlinear dynamics and systems theory. 7, LNCS4549/2, p. 169-186 18 p.

Research output: Contribution to journalArticle

2001

First passage time analysis of stochastic process algebra using partial orders

Ruys, T. C., Langerak, R., Katoen, J. P., Latella, D. & Massink, M. 2001 In : Lecture notes in artificial intelligence. 2031, p. - 16 p.

Research output: Contribution to journalArticle

1998

A consistent causality-based view on a fined process algebra including urgent interaction

Katoen, J. P., Latella, D., Langerak, R., Brinksma, H. & Bolognesi, T. 1998 In : Formal methods in system design. 12, 2, p. 189-216 28 p.

Research output: Contribution to journalArticle

14 Citations

A consistent causality-based view on a timed process algebra including urgent interactions

Katoen, J. P., Latella, D., Langerak, R., Brinksma, H. & Bolognesi, T. 1998 In : Formal methods in system design. 12, 2, p. 189-216 28 p.

Research output: Contribution to journalArticle

12 Citations

Partial-order models for quantitative extensions of LOTOS

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D. 1998 In : Computer networks and ISDN systems. 30, 9/10, p. 925-950 26 p., 10.1016/S0169-7552(97)00134-7

Research output: Contribution to journalArticle

1997
1995

A stochastic causality-based process algebra

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D. 1995 In : Computer journal. 38, 7, p. 552-565 14 p., 10.1093/comjnl/38.7.552

Research output: Contribution to journalArticle

Open Access
File
Algebra
Distribution functions
Semantics

A Stochastic Causality-based Process Algebra

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D. 1995 In : Memoranda informatica. 34, p. - 14 p.

Research output: Contribution to journalArticle

1994

Performance analysis and true concurrency semantics

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D. 1994 In : Memoranda informatica. 39, p. - 28 p.

Research output: Contribution to journalArticle

1993

A Language of Finite Probabilistic Processes and its Interleaving Semantics

Langerak, R. & Latella, D. 1993 In : Memoranda informatica. 24, p. - 12 p.

Research output: Contribution to journalArticle

Modelling Systems by Probabilitstic Process Algebra: An Event Structures Approach

Katoen, J. P., Langerak, R. & Latella, D. 1993 In : Memoranda informatica. 29, p. - 22 p.

Research output: Contribution to journalArticle

1991

Bundle event structures: a non-interleaving semantics for LOTOS

Langerak, R. 1991 In : Memoranda informatica. 1, 60, p. - 22 p.

Research output: Contribution to journalArticle

1990

Decompostion of functionality: a correctness-preserving LOTOS transformation

Langerak, R. 1990 In : Memoranda informatica. 90, 27, p. - 14 p.

Research output: Contribution to journalArticle

35 Citations

View Updates in Relational Databases with an Independent Scheme

Langerak, R. 1990 In : ACM transactions on database systems. 0, 15, p. 40-66 17 p.

Research output: Contribution to journalArticle