Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Cesare Tinelli" ( http://dblp.L3S.de/Authors/Cesare_Tinelli )

  Author page on DBLP  Author page in RDF  Community of Cesare Tinelli in ASPL-2

Publication years (Num. hits)
1996-2004 (18) 2005-2007 (16) 2008-2011 (15) 2012 (3)
Publication types (Num. hits)
article(18) incollection(1) inproceedings(32) proceedings(1)
Venues (Conferences, Journals, ...)
CADE(6) LPAR(4) CAV(3) Electr. Notes Theor. Comput. S...(3) NASA Formal Methods(3) FroCoS(2) Inf. Comput.(2) J. Autom. Reasoning(2) JELIA(2) RTA(2) TACAS(2) Theor. Comput. Sci.(2) Ann. Math. Artif. Intell.(1) Artif. Intell.(1) CP(1) FMCAD(1) More (+10 of total 31)
Authors
Cesare Tinelli(52) Peter Baumgartner(9) Clark Barrett(7) Franz Baader(7) Alexander Fuchs(6) Albert Oliveras(4) Amit Goel(4) Robert Nieuwenhuis(4) Sava Krstic(4) Calogero G. Zarba(3) Jim Grundy(3) Mehdi T. Harandi(3) Silvio Ranise(3) Temesghen Kahsai(3) Yeting Ge(3) Clark W. Barrett(2) More (+10 of total 44)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 6 keywords
Results
Found 52 publication records. Showing 52 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli Ground interpolation for the theory of equality Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli SMT-Based Model Checking. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli, Mike Whalen Incremental Verification with Mode Variable Invariants in State Machines. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Temesghen Kahsai, Cesare Tinelli PKind: A parallel k-induction based model checker Search on Bibsonomy PDMC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner, Cesare Tinelli Model Evolution with Equality Modulo Built-in Theories. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.) Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli CVC4. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Temesghen Kahsai, Yeting Ge, Cesare Tinelli Instantiation-Based Invariant Discovery. Search on Bibsonomy NASA Formal Methods The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli Foundations of Satisfiability Modulo Theories. Search on Bibsonomy WoLLIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Clark Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk). Search on Bibsonomy Haifa Verification Conference The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli Computing finite models by reduction to function-free clause logic. Search on Bibsonomy J. Applied Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yeting Ge, Clark W. Barrett, Cesare Tinelli Solving quantified verification conditions using satisfiability modulo theories. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli Satisfiability Modulo Theories. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Amit Goel, Sava Krstic, Cesare Tinelli Ground Interpolation for Combined Theories. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli Ground Interpolation for the Theory of Equality. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner, Cesare Tinelli The model evolution calculus as a first-order DPLL method. Search on Bibsonomy Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1George Hagen, Cesare Tinelli Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner, Alexander Fuchs, Cesare Tinelli (LIA) - Model Evolution with Linear Integer Arithmetic Constraints. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Clark Barrett, Igor Shikanian, Cesare Tinelli An Abstract Decision Procedure for a Theory of Inductive Data Types. Search on Bibsonomy JSAT The full citation details ... 2007 DBLP  BibTeX  RDF
1Clark Barrett, Igor Shikanian, Cesare Tinelli An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli Trends and Challenges in Satisfiability Modulo Theories. Search on Bibsonomy VERIFY The full citation details ... 2007 DBLP  BibTeX  RDF
1Yeting Ge, Clark Barrett, Cesare Tinelli Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli Combined Satisfiability Modulo Parametric Theories. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli An Abstract Framework for Satisfiability Modulo Theories. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Clark Barrett, Cesare Tinelli CVC3. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner, Alexander Fuchs, Cesare Tinelli Implementing the Model Evolution Calculus. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Franz Baader, Silvio Ghilardi, Cesare Tinelli A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T). Search on Bibsonomy J. ACM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SAT solvers, Satisfiability Modulo Theories
1Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani Intelligent Systems and Formal Methods in Software Engineering. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories
1Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli Splitting on Demand in SAT Modulo Theories. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner, Alexander Fuchs, Cesare Tinelli Lemma Learning in the Model Evolution Calculus. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli, Calogero G. Zarba Combining Nonstably Infinite Theories. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF combination of decision procedures, Nelson-Oppen method
1Peter Baumgartner, Cesare Tinelli The Model Evolution Calculus with Equality. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Franz Baader, Silvio Ghilardi, Cesare Tinelli A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli Abstract DPLL and Abstract DPLL Modulo Theories. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli, Calogero G. Zarba Combining Decision Procedures for Sorted Theories. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli DPLL( T): Fast Decision Procedures. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli, Teodor Rus Preface. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli, Christophe Ringeissen Unions of non-disjoint theories and combinations of satisfiability procedures. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli, Calogero G. Zarba Combining Non-Stably Infinite Theories. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner, Cesare Tinelli The Model Evolution Calculus. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Franz Baader, Cesare Tinelli Deciding the Word Problem in the Union of Equational Theories. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli A DPLL-Based Calculus for Ground Satisfiability Modulo Theories. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Franz Baader, Cesare Tinelli Combining Decision Procedures for Positive Theories Sharing Constructors. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Franz Baader, Cesare Tinelli Combining Equational Theories Sharing Non-Collapse-Free Constructors. Search on Bibsonomy FroCos The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Franz Baader, Cesare Tinelli Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli, Mehdi T. Harandi Constraint Logic Programming over Unions of Constraint Theories. Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 1998 DBLP  BibTeX  RDF
1Franz Baader, Cesare Tinelli A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Cesare Tinelli, Mehdi T. Harandi A New Correctness Proof of the {Nelson-Oppen} Combination Procedure. Search on Bibsonomy Frontiers of Combining Systems (FroCos) The full citation details ... 1996 DBLP  BibTeX  RDF
1Cesare Tinelli, Mehdi T. Harandi Constraint Logic Programming over Unions of Constraint Theories. Search on Bibsonomy CP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #52 of 52 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.