×

zbMATH — the first resource for mathematics

Langerak, Rom

Compute Distance To:
Author ID: langerak.rom Recent zbMATH articles by "Langerak, Rom"
Published as: Langerak, Rom; Langerak, R.
Documents Indexed: 13 Publications since 1992, including 1 Book

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 23 times in 23 Documents Cited by Year
Event structures for design and transformation in LOTOS. Zbl 0769.68083
Langerak, Rom
16
1992
First passage time analysis of stochastic process algebra using partial orders. Zbl 0978.68103
Ruys, Theo C.; Langerak, Rom; Katoen, Joost-Pieter; Latella, Diego; Massink, Mieke
3
2001
Reachability analysis of stochastic hybrid systems by optimal control. Zbl 1144.93369
Bujorianu, Manuela L.; Lygeros, John; Langerak, Rom
2
2008
Multi-core nested depth-first search. Zbl 1348.68142
Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton
1
2011
Stability and robustness of planar switching linear systems. Zbl 1270.93097
Polderman, J. W.; Langerak, R.
1
2012
Stability and robustness of planar switching linear systems. Zbl 1270.93097
Polderman, J. W.; Langerak, R.
1
2012
Multi-core nested depth-first search. Zbl 1348.68142
Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton
1
2011
Reachability analysis of stochastic hybrid systems by optimal control. Zbl 1144.93369
Bujorianu, Manuela L.; Lygeros, John; Langerak, Rom
2
2008
First passage time analysis of stochastic process algebra using partial orders. Zbl 0978.68103
Ruys, Theo C.; Langerak, Rom; Katoen, Joost-Pieter; Latella, Diego; Massink, Mieke
3
2001
Event structures for design and transformation in LOTOS. Zbl 0769.68083
Langerak, Rom
16
1992

Citations by Year