| The smt-lib standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010 | 1000 | 2010 |
| Cubicle: A parallel SMT-based model checker for parameterized systems S Conchon, A Goel, S Krstić, A Mebsout, F Zaïdi International Conference on Computer Aided Verification, 718-724, 2012 | 98 | 2012 |
| Architecting solvers for SAT modulo theories: Nelson-Oppen with DPLL S Krstić, A Goel International Symposium on Frontiers of Combining Systems, 1-27, 2007 | 73 | 2007 |
| The Non-Finite Presentability Of Ia (f_3) And Gl_2 (z [t, t^-1]) S Krstic, J McCool | 70 | 1997 |
| Quantifier instantiation techniques for finite model finding in SMT A Reynolds, C Tinelli, A Goel, S Krstić, M Deters, C Barrett International Conference on Automated Deduction, 377-391, 2013 | 67 | 2013 |
| Finite model finding in SMT A Reynolds, C Tinelli, A Goel, S Krstić International Conference on Computer Aided Verification, 640-655, 2013 | 56 | 2013 |
| Equivariant outer space and automorphisms of free-by-finite groups S Krstić, K Vogtmann Commentarii Mathematici Helvetici 68 (1), 216-262, 1993 | 53 | 1993 |
| Synchronous elastic networks S Krstic, J Cortadella, M Kishinevsky, J O'Leary 2006 Formal Methods in Computer Aided Design, 19-30, 2006 | 50 | 2006 |
| Parameterized system verification with guard strengthening and parameter abstraction S Krstic Automated verification of infinite state systems, 2005 | 50 | 2005 |
| Ground interpolation for the theory of equality A Fuchs, A Goel, J Grundy, S Krstić, C Tinelli International Conference on Tools and Algorithms for the Construction and …, 2009 | 48 | 2009 |
| Invariants for finite instances and beyond S Conchon, A Goel, S Krstić, A Mebsout, F Zaïdi 2013 Formal Methods in Computer-Aided Design, 61-68, 2013 | 44 | 2013 |
| Canonization for disjoint unions of theories S Krstić, S Conchon International Conference on Automated Deduction, 197-211, 2003 | 38 | 2003 |
| Security of SoC firmware load protocols S Krstić, J Yang, DW Palmer, RB Osborne, E Talmor 2014 IEEE International Symposium on Hardware-Oriented Security and Trust …, 2014 | 36 | 2014 |
| Ground interpolation for combined theories A Goel, S Krstić, C Tinelli International Conference on Automated Deduction, 183-198, 2009 | 35 | 2009 |
| Actions of finite groups on graphs and related automorphisms of free groups S Krstić Journal of algebra 124 (1), 119-138, 1989 | 35 | 1989 |
| Combined satisfiability modulo parametric theories S Krstić, A Goel, J Grundy, C Tinelli International Conference on Tools and Algorithms for the Construction and …, 2007 | 32 | 2007 |
| Deciding array formulas with frugal axiom instantiation A Goel, S Krstić, A Fuchs Proceedings of the Joint Workshops of the 6th International Workshop on …, 2008 | 26 | 2008 |
| Categories of processes enriched in final coalgebras S Krstić, J Launchbury, D Pavlović International Conference on Foundations of Software Science and Computation …, 2001 | 25 | 2001 |
| Verifying BDD algorithms through monadic interpretation S Krstić, J Matthews International Workshop on Verification, Model Checking, and Abstract …, 2002 | 20 | 2002 |
| Normal forms for basis-conjugating automorphisms of a free group M Gutiérrez, S Krstic IJAC 8 (6), 631-670, 1998 | 20 | 1998 |
