Alexandre David

Computational Theory and Mathematics · 2004–2015

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

Subfields

Whom Alexandre David trusts overall

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

  1. W. Hoeffding
  2. Gerard J. Holzmann
  3. John E. Hopcroft
  4. Kim Guldstrand Larsen
  5. Rajeev Alur

Who trusts Alexandre David overall

  1. Jiri Srba
  2. Albert Benveniste

Papers from Alexandre David's perspective

Ordered by how strongly the researchers Alexandre David 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. Introduction to Automata Theory, Languages and Computation
  3. Systems and Software Verification, Model-Checking Techniques and Tools
  4. Probability inequalities for sum of bounded random variables
  5. Approximate Probabilistic Model Checking (International Conference on Verification, Model Checking and Abstract Interpretation)
  6. Optimal Paths in Weighted Timed Automata (International Conference on Hybrid Systems: Computation and Control)
  7. The SPIN Model Checker
  8. Model Checking
  9. A Tutorial on Uppaal (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
  10. THE USE OF CONFIDENCE OR FIDUCIAL LIMITS ILLUSTRATED IN THE CASE OF THE BINOMIAL

Their papers