Research Output 1990 2017

Filter
Article
2017
Circulating Neoplastic Cells
Software
Biological Markers
Economics
Health
2016
5 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: Scientific - peer-reviewArticle

Fuzzy Logic
Fuzzy logic
Circadian Clocks
Cells
Drosophila melanogaster
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: Scientific - peer-reviewArticle

Biological Models
Semantics
Signal Transduction
Network components
Signal transduction
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: Scientific - peer-reviewArticle

Linear systems
2010

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

Jitter
Synchronization
Real time systems
Clocks
Testing
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: Scientific - peer-reviewArticle

Hybrid systems
Difference equations
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: Scientific - peer-reviewArticle

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

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

Semantics
Algebra
Specification languages
11 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: Scientific - peer-reviewArticle

Semantics
Specification languages
Trajectories
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

Research output: Scientific - peer-reviewArticle

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

Algebra
Distribution functions
Semantics

A Stochastic Causality-based Process Algebra

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

Research output: ScientificArticle

Specifications
algorithm
Specification languages
action
process
1994

Performance analysis and true concurrency semantics

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

Research output: ProfessionalArticle

1993

A Language of Finite Probabilistic Processes and its Interleaving Semantics

Langerak, R. & Latella, D. 1993 24, p. - 12 p.

Research output: ProfessionalArticle

Modelling Systems by Probabilitstic Process Algebra: An Event Structures Approach

Katoen, J. P., Langerak, R. & Latella, D. 1993 29, p. - 22 p.

Research output: ProfessionalArticle

1991

Bundle event structures: a non-interleaving semantics for LOTOS

Langerak, R. 1991 1, 60, p. - 22 p.

Research output: ProfessionalArticle

1990

Decompostion of functionality: a correctness-preserving LOTOS transformation

Langerak, R. 1990 90, 27, p. - 14 p.

Research output: ProfessionalArticle

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