The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Cesare Tinelli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Franz Baader, Cesare Tinelli
    A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:19-33 [Conf]
  2. Franz Baader, Silvio Ghilardi, Cesare Tinelli
    A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:183-197 [Conf]
  3. Peter Baumgartner, Cesare Tinelli
    The Model Evolution Calculus. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:350-364 [Conf]
  4. Peter Baumgartner, Cesare Tinelli
    The Model Evolution Calculus with Equality. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:392-408 [Conf]
  5. Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
    DPLL( T): Fast Decision Procedures. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:175-188 [Conf]
  6. Cesare Tinelli, Mehdi T. Harandi
    Constraint Logic Programming over Unions of Constraint Theories. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:436-450 [Conf]
  7. Franz Baader, Cesare Tinelli
    Combining Equational Theories Sharing Non-Collapse-Free Constructors. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:260-274 [Conf]
  8. Cesare Tinelli, Mehdi T. Harandi
    A New Correctness Proof of the {Nelson-Oppen} Combination Procedure. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:103-119 [Conf]
  9. Cesare Tinelli
    A DPLL-Based Calculus for Ground Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:308-319 [Conf]
  10. Cesare Tinelli, Calogero G. Zarba
    Combining Decision Procedures for Sorted Theories. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:641-653 [Conf]
  11. Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
    Lemma Learning in the Model Evolution Calculus. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:572-586 [Conf]
  12. Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
    Splitting on Demand in SAT Modulo Theories. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:512-526 [Conf]
  13. Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
    Abstract DPLL and Abstract DPLL Modulo Theories. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:36-50 [Conf]
  14. Franz Baader, Cesare Tinelli
    Combining Decision Procedures for Positive Theories Sharing Constructors. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:352-366 [Conf]
  15. Franz Baader, Cesare Tinelli
    Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. [Citation Graph (0, 0)][DBLP]
    RTA, 1999, pp:175-189 [Conf]
  16. Cesare Tinelli, Calogero G. Zarba
    Combining Non-Stably Infinite Theories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
  17. Franz Baader, Cesare Tinelli
    Deciding the Word Problem in the Union of Equational Theories. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:178, n:2, pp:346-390 [Journal]
  18. Franz Baader, Silvio Ghilardi, Cesare Tinelli
    A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:10, pp:1413-1452 [Journal]
  19. Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
    Implementing the Model Evolution Calculus. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:21-52 [Journal]
  20. Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
    Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T). [Citation Graph (0, 0)][DBLP]
    J. ACM, 2006, v:53, n:6, pp:937-977 [Journal]
  21. Cesare Tinelli
    Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:30, n:1, pp:1-31 [Journal]
  22. Cesare Tinelli, Calogero G. Zarba
    Combining Nonstably Infinite Theories. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:34, n:3, pp:209-238 [Journal]
  23. Cesare Tinelli, Mehdi T. Harandi
    Constraint Logic Programming over Unions of Constraint Theories. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1998, v:1998, n:6, pp:- [Journal]
  24. Cesare Tinelli, Christophe Ringeissen
    Unions of non-disjoint theories and combinations of satisfiability procedures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:291-353 [Journal]
  25. Cesare Tinelli, Teodor Rus
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:291, n:3, pp:219-221 [Journal]
  26. Yeting Ge, Clark Barrett, Cesare Tinelli
    Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:167-182 [Conf]
  27. Clark Barrett, Cesare Tinelli
    CVC3. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:298-302 [Conf]
  28. Cesare Tinelli
    An Abstract Framework for Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:10- [Conf]
  29. Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli
    Combined Satisfiability Modulo Parametric Theories. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:602-617 [Conf]
  30. Clark Barrett, Igor Shikanian, Cesare Tinelli
    An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:8, pp:23-37 [Journal]

  31. Trends and Challenges in Satisfiability Modulo Theories. [Citation Graph (, )][DBLP]


  32. Ground Interpolation for Combined Theories. [Citation Graph (, )][DBLP]


  33. Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques. [Citation Graph (, )][DBLP]


  34. (LIA) - Model Evolution with Linear Integer Arithmetic Constraints. [Citation Graph (, )][DBLP]


  35. Ground Interpolation for the Theory of Equality. [Citation Graph (, )][DBLP]


  36. Foundations of Satisfiability Modulo Theories. [Citation Graph (, )][DBLP]


  37. The model evolution calculus as a first-order DPLL method. [Citation Graph (, )][DBLP]


  38. Solving quantified verification conditions using satisfiability modulo theories. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002