Alexandre Riazanov

AI Communications · 2002

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 Alexandre Riazanov trusts overall

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

  1. Robert Nieuwenhuis

Who trusts Alexandre Riazanov overall

  1. Ian Horrocks
  2. Johan Bos
  3. Scott Sanner
  4. Peter F. Patel-Schneider
  5. Johannes Bjerva
  6. Katja Markert
  7. Craig Boutilier
  8. Sean Bechhofer
  9. Rob van der Goot

Papers from Alexandre Riazanov's perspective

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

  1. Paramodulation-Based Theorem Proving (Handbook of Automated Reasoning)
  2. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
  3. DPLL( T): Fast Decision Procedures (International Conference on Computer Aided Verification)
  4. A machine program for theorem-proving (CACM)
  5. Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  10. The SLAM project: debugging system software via static analysis

Their papers