Paolo Zuliani

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 Paolo Zuliani trusts overall

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

  1. Kenneth L. McMillan

Papers from Paolo Zuliani's perspective

Ordered by how strongly the researchers Paolo Zuliani 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. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  7. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  8. Lazy abstraction
  9. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  10. A Structure-Preserving Clause Form Translation

Their papers