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
8 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 journalArticleAcademicpeer-review

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 journalArticleAcademicpeer-review

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 journalArticleAcademicpeer-review

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 journalArticleAcademicpeer-review

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 journalArticleAcademicpeer-review

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 journalArticleAcademicpeer-review

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 journalArticleAcademicpeer-review

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 journalArticleAcademicpeer-review

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 journalArticleAcademicpeer-review

1997

Partial Order Models for Quantitative Extensions of LOTOS (to appear)

Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1997, In : Computer networks and ISDN systems. p. - 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

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 journalArticleAcademicpeer-review

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 journalArticleAcademic

Functionality Decomposition by Compositional Correctness Preserving Transformation

Brinksma, H. & Langerak, R., 1995, In : South African computer journal. 13, p. 2-13

Research output: Contribution to journalArticleAcademicpeer-review

Functionality Decomposition by Compositional Correctness Preserving Transformation

Brinksma, H. & Langerak, R., 1995, In : South African computer journal. 13, p. 2-13 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
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 journalArticleProfessional

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 journalArticleProfessional

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 journalArticleProfessional

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 journalArticleProfessional

1990

Decompostion of functionality: a correctness-preserving LOTOS transformation

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

Research output: Contribution to journalArticleProfessional

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 journalArticleAcademicpeer-review