Andrey Rybalchenko

Computational Theory and Mathematics · 2004–2006

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

Subfields

Whom Andrey Rybalchenko trusts overall

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

  1. Andreas Podelski
  2. Sagar Chaki
  3. Bruno Blanchet
  4. Thomas Ball

Who trusts Andrey Rybalchenko overall

  1. Sumit Gulwani
  2. Siddharth Srivastava
  3. Byron Cook
  4. Ranjit Jhala
  5. Andreas Podelski
  6. Neil Immerman
  7. Krishna K. Mehra

Papers from Andrey Rybalchenko's perspective

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

  1. Lazy abstraction
  2. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  3. A static analyzer for large safety-critical software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  5. On Computable Numbers, with an Application to the Entscheidungsproblem.
  6. Transition invariants (Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.)
  7. The size-change principle for program termination (ACM-SIGACT Symposium on Principles of Programming Languages)
  8. The SLAM project: debugging system software via static analysis
  9. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers