Paul Gastin

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 Paul Gastin trusts overall

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

  1. Kousha Etessami
  2. Gerard J. Holzmann

Who trusts Paul Gastin overall

  1. Marius Kloetzer
  2. Andreas Klaus Bauer
  3. Michael R. Clarkson
  4. Calin A. Belta
  5. Martin Leucker
  6. Patrick Heymans
  7. Florent Kirchner
  8. Bernd Finkbeiner
  9. Christian Schallhart

Papers from Paul Gastin's perspective

Ordered by how strongly the researchers Paul Gastin 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