( en | de | ru )

 

Disambiguation of "Haverkort, Boudewijn R."

Author of the publication

copydeleteadd this publication to your clipboard
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes.

, , , and . Theor. Comput. Sci., 345 (1): 2-26 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Maurits Haverkort

Boudewijn Moonen

Boudewijn Venema

Frans Boudewijn Gerritse

R Riordan

 

Other publications of authors with the same name

Sensitivity and Uncertainty Analysis in Performability Modeling., and . SRDS, page 93-102. IEEE Computer Society, (1992)Performability Modelling Tools, Evaluation Techniques and Applications.. University of Twente, Enschede, Netherlands, (1990)base-search.net (ftunivtweneemcs:oai:ewi.utwente.nl:7865).Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives., , , and . Computer Performance Evaluation, volume 794 of Lecture Notes in Computer Science, page 1-24. Springer, (1994)Performance and Dependability Evaluation: Successes, Failures and Challenges.. EPEW, volume 5261 of Lecture Notes in Computer Science, page 1. Springer, (2008)Specification techniques for Markov reward models., and . Discrete Event Dynamic Systems, 3 (2-3): 219-247 (1993)Analysis of a sewage treatment facility using hybrid Petri nets., , and . VALUETOOLS, page 165-174. ICST/ACM, (2013)Stochastic Petri Net Models for the Analysis of Trade-Offs in Data Centres with Power Management., and . E2DC, volume 8945 of Lecture Notes in Computer Science, page 52-67. Springer, (2014)An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres., and . EPEW, volume 9272 of Lecture Notes in Computer Science, page 258-272. Springer, (2015)Automating the Mean-Field Method for Large Dynamic Gossip Networks., , , , and . QEST, page 241-250. IEEE Computer Society, (2010)Which battery model to use?, and . IET Softw., 3 (6): 445-457 (2009)