William Klieber

Computational Theory and Mathematics · 2011

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom William Klieber trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Kenneth L. McMillan
  2. Edmund M. Clarke

Papers from William Klieber's perspective

Ordered by how strongly the researchers William Klieber trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Interpolation and SAT-Based Model Checking (International Conference on Computer Aided Verification)
  2. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  3. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (25 Years of Model Checking)
  4. Applying SAT Methods in Unbounded Symbolic Model Checking (International Conference on Computer Aided Verification)
  5. Counterexample-guided abstraction refinement for symbolic model checking (JACM)
  6. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  7. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  8. Lazy abstraction
  9. A Structure-Preserving Clause Form Translation
  10. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)

Their papers