Milos Novácek

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 Milos Novácek trusts overall

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

  1. Kenneth L. McMillan

Papers from Milos Novácek's perspective

Ordered by how strongly the researchers Milos Novácek 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. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  10. A Structure-Preserving Clause Form Translation

Their papers