Danny Bøgsted Poulsen

International Journal on Software Tools for Technology Transfer (STTT) · 2015

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

Whom Danny Bøgsted Poulsen trusts

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

  1. W. Hoeffding (in Probabilistic & Bayesian Methods)

Papers from Danny Bøgsted Poulsen's perspective

Ordered by how strongly the researchers Danny Bøgsted Poulsen trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Minimum-Cost Reachability for Priced Timed Automata (International Conference on Hybrid Systems: Computation and Control)
  2. Probability inequalities for sum of bounded random variables
  3. Approximate Probabilistic Model Checking (International Conference on Verification, Model Checking and Abstract Interpretation)
  4. THE USE OF CONFIDENCE OR FIDUCIAL LIMITS ILLUSTRATED IN THE CASE OF THE BINOMIAL
  5. Model Checking
  6. A Tutorial on Uppaal (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
  7. Sequential Tests of Statistical Hypotheses.
  8. Systems and Software Verification, Model-Checking Techniques and Tools
  9. Introduction to Automata Theory, Languages and Computation
  10. The Dynamic Source Routing Protocol for Mobile Ad Hoc Networks

Their papers