Ohad Shacham
发表
Ofer Strichman,
Omer Bar-Ilan,
Oded Fuhrmann,
2008,
Haifa Verification Conference.
Idit Keidar,
Eshcar Hillel,
Ohad Shacham,
2018,
Proc. VLDB Endow..
Eran Yahav,
Alexander Aiken,
Shmuel Sagiv,
2014,
ISSTA 2014.
Eran Yahav,
Alexander Aiken,
Shmuel Sagiv,
2011,
OOPSLA '11.
Idit Keidar,
Eshcar Hillel,
Ivan Kelly,
2017,
FAST.
Idit Keidar,
Eshcar Hillel,
Ohad Shacham,
2017,
SoCC.
Ohad Shacham,
Emmanuel Zarpas,
Ohad Shacham,
2003,
Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions.
Assaf Schuster,
Shmuel Sagiv,
Ohad Shacham,
2005,
J. Parallel Distributed Comput..
Daniel Geist,
Yoad Lustig,
Ishai Rabinovitz,
2006,
Electron. Notes Theor. Comput. Sci..
Mark Silberstein,
Ohad Shacham,
Edward Bortnikov,
2019,
2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT).
Ohad Shacham,
Karen Yorav,
2007,
2007 44th ACM/IEEE Design Automation Conference.
Ohad Shacham,
Karen Yorav,
2006,
Electron. Notes Theor. Comput. Sci..
Assaf Schuster,
Shmuel Sagiv,
Ohad Shacham,
2007,
J. Parallel Distributed Comput..
Eran Yahav,
Ohad Shacham,
Martin T. Vechev,
2009,
PLDI '09.
Ofer Strichman,
Omer Bar-Ilan,
Oded Fuhrmann,
2010,
International Journal on Software Tools for Technology Transfer.
Marco Roveri,
Alessandro Cimatti,
Klaus Winkelmann,
2004
.
Ofer Strichman,
Omer Bar-Ilan,
Oded Fuhrmann,
2008
.