Sava Krstic Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli: Ground interpolation for the theory of equality. Logical Methods in Computer Science 8(1) (2012)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi: Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. CAV 2012: 718-724
2009
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amit Goel, Sava Krstic, Cesare Tinelli: Ground Interpolation for Combined Theories. CADE 2009: 183-198
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli: Ground Interpolation for the Theory of Equality. TACAS 2009: 413-427
2008
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sava Krstic, Albert Oliveras: Preface. Electr. Notes Theor. Comput. Sci. 198(2): 1-2 (2008)
2007
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sava Krstic, Robert B. Jones, John O'Leary: Mothers of Pipelines. Electr. Notes Theor. Comput. Sci. 174(8): 7-22 (2007)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sava Krstic, Amit Goel: Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL. FroCoS 2007: 1-27
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli: Combined Satisfiability Modulo Parametric Theories. TACAS 2007: 602-617
2006
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sylvain Conchon, Sava Krstic: Strategies for combining decision procedures. Theor. Comput. Sci. 354(2): 187-210 (2006)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary: Synchronous Elastic Circuits. CSR 2006: 3-5
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary: Synchronous Elastic Networks. FMCAD 2006: 19-30
2005
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sava Krstic, Sylvain Conchon: Canonization for disjoint unions of theories. Inf. Comput. 199(1-2): 87-106 (2005)
2004
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sava Krstic, John Matthews: Semantics of the reFLect language. PPDP 2004: 32-42
2003
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sava Krstic, Sylvain Conchon: Canonization for Disjoint Unions of Theories. CADE 2003: 197-211
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sylvain Conchon, Sava Krstic: Strategies for Combining Decision Procedures. TACAS 2003: 537-552
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sava Krstic, John Matthews: Inductive Invariants for Nested Recursion. TPHOLs 2003: 253-269
2002
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sava Krstic, John Matthews: Verifying BDD Algorithms through Monadic Interpretation. VMCAI 2002: 182-195
2001
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sava Krstic, John Launchbury, Dusko Pavlovic: Categories of Processes Enriched in Final Coalgebras. FoSSaCS 2001: 303-317
1998
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mauricio Gutierrez, Sava Krstic: Normal Forms for Basis-Conjugating Automorphisms of a Free Group. IJAC 8(6): 631-670 (1998)

Coauthor Index

1Sylvain Conchon
[c13] [j3] [j2] [c5] [c4]
2Jordi Cortadella
[c8] [c7]
3Alexander Fuchs
[j7] [c11]
4Amit Goel
[j7] [c13] [c12] [c11] [c10] [c9]
5Bill Grundmann
[c8]
6Jim Grundy
[j7] [c11] [c9] [j4]
7Mauricio Gutierrez
[j1]
8Robert B. Jones
[j5]
9Michael Kishinevsky
[c8] [c7]
10John Launchbury
[c1]
11John Matthews
[c6] [c3] [c2]
12Sean McLaughlin
[j4]
13Alain Mebsout
[c13]
14Thomas F. Melham (Tom Melham)
[j4]
15John O'Leary
[j5] [c8] [c7]
16Albert Oliveras
[j6]
17Dusko Pavlovic
[c1]
18Cesare Tinelli
[j7] [c12] [c11] [c9]
19Fatiha Zaïdi
[c13]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 13:02:39 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page