Sava Krstic

	2009
17		Amit Goel, Sava Krstic, Cesare Tinelli: Ground Interpolation for Combined Theories. CADE 2009: 183-198
16		Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli: Ground Interpolation for the Theory of Equality. TACAS 2009: 413-427
	2008
15		Sava Krstic, Albert Oliveras: Preface. Electr. Notes Theor. Comput. Sci. 198(2): 1-2 (2008)
	2007
14		Sava Krstic, Amit Goel: Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL. FroCos 2007: 1-27
13		Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli: Combined Satisfiability Modulo Parametric Theories. TACAS 2007: 602-617
12		Sava Krstic, Robert B. Jones, John O'Leary: Mothers of Pipelines. Electr. Notes Theor. Comput. Sci. 174(8): 7-22 (2007)
	2006
11		Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary: Synchronous Elastic Circuits. CSR 2006: 3-5
10		Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary: Synchronous Elastic Networks. FMCAD 2006: 19-30
9		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		Sylvain Conchon, Sava Krstic: Strategies for combining decision procedures. Theor. Comput. Sci. 354(2): 187-210 (2006)
	2005
7		Sava Krstic, Sylvain Conchon: Canonization for disjoint unions of theories. Inf. Comput. 199(1-2): 87-106 (2005)
	2004
6		Sava Krstic, John Matthews: Semantics of the reFLect language. PPDP 2004: 32-42
	2003
5		Sava Krstic, Sylvain Conchon: Canonization for Disjoint Unions of Theories. CADE 2003: 197-211
4		Sylvain Conchon, Sava Krstic: Strategies for Combining Decision Procedures. TACAS 2003: 537-552
3		Sava Krstic, John Matthews: Inductive Invariants for Nested Recursion. TPHOLs 2003: 253-269
	2002
2		Sava Krstic, John Matthews: Verifying BDD Algorithms through Monadic Interpretation. VMCAI 2002: 182-195
	2001
1		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] [17]
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] [17]

Colors in the list of coauthors