Boudewijn R. H. M. Haverkort

IEEE Trans. Software Eng. · 2002–2008

A researcher in the Science corpus: 2 papers; trusts 2 researchers and is trusted by 1 researcher here, as inferred from the citation graph.

Whom Boudewijn R. H. M. Haverkort trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Alfred V. Aho
  2. A. Cimatti
  3. Ramesh R. Rao

Who trusts Boudewijn R. H. M. Haverkort overall

  1. Joost-Pieter Katoen
  2. Marta Z. Kwiatkowska

Papers from Boudewijn R. H. M. Haverkort's perspective

Ordered by how strongly the researchers Boudewijn R. H. M. Haverkort trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Model-checking continuous-time Markov chains (ACM Transactions on Computational Logic)
  2. NUSMV: a new symbolic model checker (International Journal on Software Tools for Technology Transfer (STTT))
  3. Bisimulation through Probabilistic Testing
  4. The Design and Analysis of Computer Algorithms
  5. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (International Conference on Computer Aided Verification)
  6. Energy efficient battery management (Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064))
  7. Nineteen Dubious Ways to Compute the Exponential of a Matrix, Twenty-Five Years Later
  8. An Introduction to Probability Theory and Its Applications
  9. Markov Decision Processes: Discrete Stochastic Dynamic Programming
  10. Über die analytischen Methoden in der Wahrscheinlichkeitsrechnung

Their papers