Denis Oddoux

International Conference on Computer Aided Verification · 2001

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

Whom Denis Oddoux trusts overall

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

  1. Kousha Etessami
  2. Gerard J. Holzmann

Who trusts Denis Oddoux overall

  1. Marius Kloetzer
  2. Andreas Klaus Bauer
  3. Michael R. Clarkson
  4. Calin A. Belta

Papers from Denis Oddoux's perspective

Ordered by how strongly the researchers Denis Oddoux trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Optimizing Büchi Automata (International Conference on Concurrency Theory)
  2. Efficient Büchi Automata from LTL Formulae (International Conference on Computer Aided Verification)
  3. Minimization of Boolean Functions
  4. The unified modeling language reference manual
  5. The complexity of computing a Nash equilibrium
  6. Dynamic logic (SIGA)
  7. Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations (JACM)
  8. Non-Cooperative Games
  9. Relating Probabilistic Grammars and Automata
  10. An axiomatic basis for computer programming

Their papers