The SCEAS System
Navigation Menu

Search the dblp DataBase


Clark Barrett: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nikhil Sethi, Clark Barrett
    cascade: C Assertion Checker and Deductive Engine. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:166-169 [Conf]
  2. 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]
  3. Sean McLaughlin, Clark Barrett, Yeting Ge
    Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:43-51 [Journal]
  4. Carl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark Aagaard, Clark Barrett, Don Syme
    An industrially effective environment for formal hardware verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2005, v:24, n:9, pp:1381-1405 [Journal]
  5. 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]
  6. Clark Barrett, Cesare Tinelli
    CVC3. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:298-302 [Conf]
  7. 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]

  8. Verifying Low-Level Implementations of High-Level Datatypes. [Citation Graph (, )][DBLP]

  9. Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002