Sava Krstić

Publications by Year

Research Areas

Formal Methods in Verification, Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Geometric and Algebraic Topology, Finite Group Theory Research

Most-Cited Works

• → Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems(2012)77 cited
• → Quantifier Instantiation Techniques for Finite Model Finding in SMT(2013)57 cited
• → Finite Model Finding in SMT(2013)52 cited
• → Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL(2007)50 cited
• → Equivariant outer space and automorphisms of free-by-finite groups(1993)47 cited
• → The non-finite presentability of IA ( F 3 ) and GL 2 (Z[ t, t −1 ])(1997)44 cited
• → Ground Interpolation for the Theory of Equality(2009)38 cited
• → Ground Interpolation for Combined Theories(2009)37 cited
• → Synchronous Elastic Networks(2006)36 cited
• → Invariants for finite instances and beyond(2013)35 cited