Search the dblp DataBase

Publications of Author

1. Ohad Shacham, Emmanuel Zarpas
   Tuning the VSIDS Decision Heuristic for Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
   MTV, 2003, pp:75-0 [Conf]
   
2. Ohad Shacham, Mooly Sagiv, Assaf Schuster
   Scaling model checking of dataraces using dynamic information. [Citation Graph (0, 0)][DBLP]
   PPOPP, 2005, pp:107-118 [Conf]
   
3. Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
   Supporting SAT based BMC on Finite Path Models. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:67-77 [Journal]
   
4. Ohad Shacham, Karen Yorav
   Adaptive Application of SAT Solving Techniques. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:35-50 [Journal]
   
5. Ohad Shacham, Karen Yorav
   On-The-Fly Resolve Trace Minimization. [Citation Graph (0, 0)][DBLP]
   DAC, 2007, pp:594-599 [Conf]
   
6. Ohad Shacham, Mooly Sagiv, Assaf Schuster
   Scaling model checking of dataraces using dynamic information. [Citation Graph (0, 0)][DBLP]
   J. Parallel Distrib. Comput., 2007, v:67, n:5, pp:536-550 [Journal]
   
7. 
   Linear-Time Reductions of Resolution Proofs. [Citation Graph (, )][DBLP]
   
   
8. 
   Chameleon: adaptive selection of collections. [Citation Graph (, )][DBLP]