The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ohad Shacham: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.007secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002