Andrey Rybalchenko

Identifiers

• name variant Andrey Rybalchenko 0.60 · backfill

Papers (8)

1. CTL+FO Verification as Constraint Solving cs.LO · 2014 · author #3
2. (Quantified) Horn Constraint Solving for Program Verification and Synthesis cs.LO · 2014 · author #1
3. Higher-order Program Verification as Satisfiability Modulo Theories with Algebraic Data-types cs.LO · 2013 · author #3
4. An Epistemic Perspective on Consistency of Concurrent Computations cs.LO · 2013 · author #2
5. Generalised Interpolation by Solving Recursion-Free Horn Clauses cs.LO · 2013 · author #3
6. Separation Logic Modulo Theories cs.LO · 2013 · author #2
7. Applying Prolog to Develop Distributed Systems cs.PL · 2010 · author #3
8. HMC: Verifying Functional Programs Using Abstract Interpreters cs.PL · 2010 · author #3

Mentions

• 1406.3988 #3 · backfill · confidence 0.70 Andrey Rybalchenko
• 1405.7739 #1 · backfill · confidence 0.70 Andrey Rybalchenko
• 1306.5264 #3 · backfill · confidence 0.70 Andrey Rybalchenko
• 1305.2295 #2 · backfill · confidence 0.70 Andrey Rybalchenko
• 1303.7378 #3 · backfill · confidence 0.70 Andrey Rybalchenko
• 1303.2489 #2 · backfill · confidence 0.70 Andrey Rybalchenko
• 1007.3835 #3 · backfill · confidence 0.70 Andrey Rybalchenko
• 1004.2884 #3 · backfill · confidence 0.70 Andrey Rybalchenko

Frequent Coauthors

• Ashutosh Gupta 1 shared papers
• Atul Singh 1 shared papers
• Corneliu Popeea 1 shared papers
• Juan A. Navarro 1 shared papers
• Juan Antonio Navarro-P\'erez 1 shared papers
• Ken McMillan 1 shared papers
• Klaus v. Gleissenthall 1 shared papers
• Marc Brockschmidt 1 shared papers
• Nikolaj Bjorner 1 shared papers
• Nuno P. Lopes 1 shared papers
• Ranjit Jhala 1 shared papers
• Rupak Majumdar 1 shared papers
• Tewodros A. Beyene 1 shared papers