S. Krstic

Most-cited papers

Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper
Sylvain Conchon, A. Goel, S. Krstic, Alain Mebsout +1 more
2012International Conference on Computer Aided Verification107 citations Open access
Semantic Scholar
Quantifier Instantiation Techniques for Finite Model Finding in SMT
Andrew Reynolds, Cesare Tinelli, A. Goel, S. Krstic +2 more
2013CADE89 citations
Semantic Scholar
Finite Model Finding in SMT
Andrew Reynolds, Cesare Tinelli, A. Goel, S. Krstic
2013International Conference on Computer Aided Verification74 citations Open access
Semantic Scholar
The non-finite presentability of IA(F3) and GL2(Z[t, t−1])
S. Krstic, J. McCool
199771 citations
Semantic Scholar
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL
S. Krstic, A. Goel
2007International Symposium on Frontiers of Combining Systems61 citations
Semantic Scholar
Equivariant outer space and automorphisms of free-by-finite groups
S. Krstic, K. Vogtmann
199352 citations Open access
Semantic Scholar
Ground Interpolation for the Theory of Equality
Alexander Fuchs, A. Goel, J. Grundy, S. Krstic +1 more
2009International Conference on Tools and Algorithms for Construction and Analysis of Systems47 citations Open access
Semantic Scholar
Parametrized System Verification with Guard Strengthening and Parameter Abstraction
S. Krstic
200545 citations
Semantic Scholar
Invariants for finite instances and beyond
Sylvain Conchon, A. Goel, S. Krstic, Alain Mebsout +1 more
2013Formal Methods in Computer-Aided Design41 citations Open access
Semantic Scholar
Synchronous Elastic Networks
S. Krstic, J. Cortadella, M. Kishinevsky, J. O'Leary
2006Formal Methods in Computer-Aided Design40 citations Open access
Semantic Scholar
Security of SoC firmware load protocols
S. Krstic, Jin Yang, David W. Palmer, Randy B. Osborne +1 more
2014IEEE International Symposium on Hardware Oriented Security and Trust39 citations
Semantic Scholar
Ground Interpolation for Combined Theories
A. Goel, S. Krstic, Cesare Tinelli
2009CADE38 citations
Semantic Scholar
Combined Satisfiability Modulo Parametric Theories
S. Krstic, A. Goel, J. Grundy, Cesare Tinelli
2007International Conference on Tools and Algorithms for Construction and Analysis of Systems38 citations Open access
Semantic Scholar
Actions of finite groups on graphs and related automorphisms of free groups
S. Krstic
198934 citations Open access
Semantic Scholar
Canonization for disjoint unions of theories
S. Krstic, Sylvain Conchon
2005Information and Computation32 citations Open access
Semantic Scholar
Deciding array formulas with frugal axiom instantiation
A. Goel, S. Krstic, Alexander Fuchs
2008SMT '08/BPR '0830 citations
Semantic Scholar
Strategies for combining decision procedures
Sylvain Conchon, S. Krstic
2003Theoretical Computer Science29 citations Open access
Semantic Scholar
AN EQUIVARIANT WHITEHEAD ALGORITHM AND CONJUGACY FOR ROOTS OF DEHN TWIST AUTOMORPHISMS
S. Krstic, M. Lustig, K. Vogtmann
2001Proceedings of the Edinburgh Mathematical Society24 citations Open access
Semantic Scholar
Categories of Processes Enriched in Final Coalgebras
S. Krstic, J. Launchbury, Dusko Pavlovic
2001Foundations of Software Science and Computation Structure23 citations Open access
Semantic Scholar
Verifying BDD Algorithms through Monadic Interpretation
S. Krstic, John Matthews
2002International Conference on Verification, Model Checking and Abstract Interpretation21 citations
Semantic Scholar
SMT-Based System Verification with DVF
A. Goel, S. Krstic, Rebekah Leslie, M. Tuttle
2012SMT@IJCAR19 citations Open access
Semantic Scholar
Normal Forms for Basis-Conjugating Automorphisms of a Free Group
M. Gutierrez, S. Krstic
1998International journal of algebra and computation18 citations
Semantic Scholar
Finitely Generated Virtually Free Groups have Finitely Presented Automorphism Group
S. Krstic
199217 citations
Semantic Scholar
Presenting GLn(k〈T〉)
S. Krstic, J. McCool
199914 citations Open access
Semantic Scholar
Inductive Invariants for Nested Recursion
S. Krstic, John Matthews
2003International Conference on Theorem Proving in Higher Order Logics11 citations
Semantic Scholar
Crossing matrices and Thurston's normal form for braids
J. Burillo, M. Gutierrez, S. Krstic, Z. Nitecki
200210 citations Open access
Semantic Scholar
Free quotients of
S. Krstic, J. McCool
19978 citations
Semantic Scholar
Tool Building Requirements for an API to First-Order Solvers
J. Grundy, T. Melham, S. Krstic, Sean McLaughlin
2005PDPAR@CAV7 citations Open access
Semantic Scholar
A Correctness Proof of a Speculative, Superscalar, Out-of-Order, Renaming Microarchitecture
S. Krstic, B. Cook, J. Launchbury, John Matthews
19987 citations
Semantic Scholar
Free Quotients of Sl 2 (r[x])
Quotients OF SL2Rx, S. Krstic, R. Solomon, J. McCool
19977 citations
Semantic Scholar
Systems of equations over locallyp-indicable groups
S. Krstic
19857 citations
Semantic Scholar
Zip Fusion with Hyperfunctions
J. Launchbury, S. Krstic, T. Sauerwein
20006 citations
Semantic Scholar
Finite Presentability of Φn(G), GLn(ZG) and their Elementary Subgroups and Steinberg Groups
Geoffrey Kiralis, S. Krstic, J. McCool
19965 citations
Semantic Scholar
Semantics of the reFLect language
S. Krstic, John Matthews
2004ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming4 citations
Semantic Scholar
On the Rank of Fixed Point Sets of Automorphisms of Free Groups
W. Imrich, S. Krstic, E. Turner
19904 citations
Semantic Scholar
Mothers of Pipelines
S. Krstic, Robert B. Jones, J. O'Leary
2007PDPAR/PaUL@FLoC3 citations Open access
Semantic Scholar
FAR-Cubicle — A new reachability algorithm for Cubicle
Sylvain Conchon, A. Goel, S. Krstic, R. Majumdar +1 more
2017Formal Methods in Computer-Aided Design2 citations Open access
Semantic Scholar
Inductive Fixpoints in Higher Order Logic
S. Krstic
20042 citations
Semantic Scholar
A uniqueness decomposition theorem for actions of finite groups on free groups
S. Krstic
19892 citations Open access
Semantic Scholar
On graphs representing automorphisms of free groups
S. Krstic
19892 citations Open access
Semantic Scholar
Fixed subgroups of automorphisms of free by finite groups: An extension of Cooper's proof
S. Krstic
19872 citations
Semantic Scholar
Coroutining Folds with Hyperfunctions
J. Launchbury, S. Krstic, T. Sauerwein
2013Festschrift for Dave Schmidt1 citations Open access
Semantic Scholar
Synchronous Elastic Circuits
M. Kishinevsky, J. Cortadella, B. Grundmann, S. Krstic +1 more
2006Computer Science Symposium in Russia1 citations
Semantic Scholar
Semantics of the reFLe t Language
S. Krstic, John Matthews
20041 citations
Semantic Scholar
The Non‐Finite Presentability of the Automorphism Group of the Free Z‐Group of Rank Two
S. Krstic, J. McCool
19971 citations
Semantic Scholar
On Quasigroup Varieties Closed Under Isotopy
S. Krstic
19861 citations
Semantic Scholar
On a theorem of Hanna Neumann
S. Krstic
2022Publicationes mathematicae (Debrecen)0 citations
Semantic Scholar
SMT@CAV: Preface
S. Krstic, Albert Oliveras
2007SMT@CAV0 citations Open access
Semantic Scholar
Networks of Elastic Circuits
S. Krstic, J. Cortadella, M. Kishinevsky
20050 citations
Semantic Scholar
Reduction and Confluence for the reFLect Language ?
S. Krstic, John Matthews
20030 citations
Semantic Scholar