Sava Krstic

2009
16	EE	Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli: Ground Interpolation for the Theory of Equality. TACAS 2009: 413-427
2008
15	EE	Sava Krstic, Albert Oliveras: Preface. Electr. Notes Theor. Comput. Sci. 198(2): 1-2 (2008)
2007
14	EE	Sava Krstic, Amit Goel: Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL. FroCos 2007: 1-27
13	EE	Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli: Combined Satisfiability Modulo Parametric Theories. TACAS 2007: 602-617
12	EE	Sava Krstic, Robert B. Jones, John O'Leary: Mothers of Pipelines. Electr. Notes Theor. Comput. Sci. 174(8): 7-22 (2007)
2006
11	EE	Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary: Synchronous Elastic Circuits. CSR 2006: 3-5
10	EE	Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary: Synchronous Elastic Networks. FMCAD 2006: 19-30
9	EE	Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin: Tool Building Requirements for an API to First-Order Solvers. Electr. Notes Theor. Comput. Sci. 144(2): 15-26 (2006)
8	EE	Sylvain Conchon, Sava Krstic: Strategies for combining decision procedures. Theor. Comput. Sci. 354(2): 187-210 (2006)
2005
7	EE	Sava Krstic, Sylvain Conchon: Canonization for disjoint unions of theories. Inf. Comput. 199(1-2): 87-106 (2005)
2004
6	EE	Sava Krstic, John Matthews: Semantics of the reFLect language. PPDP 2004: 32-42
2003
5	EE	Sava Krstic, Sylvain Conchon: Canonization for Disjoint Unions of Theories. CADE 2003: 197-211
4	EE	Sylvain Conchon, Sava Krstic: Strategies for Combining Decision Procedures. TACAS 2003: 537-552
3	EE	Sava Krstic, John Matthews: Inductive Invariants for Nested Recursion. TPHOLs 2003: 253-269
2002
2	EE	Sava Krstic, John Matthews: Verifying BDD Algorithms through Monadic Interpretation. VMCAI 2002: 182-195
2001
1	EE	Sava Krstic, John Launchbury, Dusko Pavlovic: Categories of Processes Enriched in Final Coalgebras. FoSSaCS 2001: 303-317

Coauthor Index

1	Sylvain Conchon	[4] [5] [7] [8]
2	Jordi Cortadella	[10] [11]
3	Alexander Fuchs	[16]
4	Amit Goel	[13] [14] [16]
5	Bill Grundmann	[11]
6	Jim Grundy	[9] [13] [16]
7	Robert B. Jones	[12]
8	Michael Kishinevsky	[10] [11]
9	John Launchbury	[1]
10	John Matthews	[2] [3] [6]
11	Sean McLaughlin	[9]
12	Thomas F. Melham	[9]
13	John O'Leary	[10] [11] [12]
14	Albert Oliveras	[15]
15	Dusko Pavlovic	[1]
16	Cesare Tinelli	[13] [16]

Colors in the list of coauthors