( en | de | ru )

 

Disambiguierung von "Shacham, Ohad"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reducing the size of resolution proofs in linear time.

, , , , und . Int. J. Softw. Tools Technol. Transf., 13 (3): 263-272 (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Assaf Shacham

Assaf Shacham

Ohad Kammar

Ohad Soudry

Huschang Ohadi

 

Weitere Publikationen von Autoren mit dem selben Namen

Scaling model checking of dataraces using dynamic information., , und . J. Parallel Distributed Comput., 67 (5): 536-550 (2007)Tuning the VSIDS Decision Heuristic for Bounded Model Checking., und . MTV, Seite 75-. IEEE Computer Society, (2003)Verifying atomicity via data independence., , , , , , und . ISSTA, Seite 26-36. ACM, (2014)Reducing the size of resolution proofs in linear time., , , , und . Int. J. Softw. Tools Technol. Transf., 13 (3): 263-272 (2011)Linear-Time Reductions of Resolution Proofs., , , , und . Haifa Verification Conference, Volume 5394 von Lecture Notes in Computer Science, Seite 114-128. Springer, (2008)Supporting SAT based BMC on Finite Path Models., , , , , und . BMC@CAV, Volume 144 von Electronic Notes in Theoretical Computer Science, Seite 67-77. Elsevier, (2005)Achieving Scalability in a k-NN Multi-GPU Network Service with Centaur., , , , und . PACT, Seite 245-257. IEEE, (2019)Fragola: low-latency transactions in distributed data stores., , , , , und . SoCC, Seite 642. ACM, (2017)Verifying atomicity of composed concurrent operations. Tel Aviv University, Israel, (2012)Tel Aviv University Library.Chameleon: adaptive selection of collections., , und . PLDI, Seite 408-418. ACM, (2009)