( 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 Manzke

 

Other publications of authors with the same name

Performance and Dependability Evaluation: Successes, Failures and Challenges.. EPEW, volume 5261 of Lecture Notes in Computer Science, page 1. Springer, (2008)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)Specification techniques for Markov reward models., and . Discrete Event Dynamic Systems, 3 (2-3): 219-247 (1993)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)Sensitivity and Uncertainty Analysis in Performability Modeling., and . SRDS, page 93-102. IEEE Computer Society, (1992)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)Performability Modelling Tools, Evaluation Techniques and Applications.. University of Twente, Enschede, Netherlands, (1990)base-search.net (ftunivtweneemcs:oai:ewi.utwente.nl:7865).Approximate Analysis of Networks of PH|PH|1|K Queues: Theory & Tool Support.. MMB, volume 977 of Lecture Notes in Computer Science, page 239-253. Springer, (1995)