( en | de | ru )

 

Disambiguierung von "Sagiv, Mooly"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Cartesian Partial-Order Reduction.

, , , und . SPIN, Volume 4595 von Lecture Notes in Computer Science, Seite 95-112. Springer, (2007)

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.

Keine Personen gefunden für den Autorennamen Sagiv, Mooly
Eine Person hinzufügen mit dem Namen Sagiv, Mooly
 

Weitere Publikationen von Autoren mit dem selben Namen

Phoenix: A Formally Verified Regenerating Vault., , , , , und . CoRR, (2021)Checking Cleanness in Linked Lists, , und . Static Analysis Symposium, Seite 115--134. (2000)Introduction to special ESOP'05 issue.. ACM Trans. Program. Lang. Syst., 29 (5): 23 (2007)Eventually Consistent Transactions., , , und . ESOP, Volume 7211 von Lecture Notes in Computer Science, Seite 67-86. Springer, (2012)Constructing Specialized Shape Analyses for Uniform Change., , , und . VMCAI, Volume 4349 von Lecture Notes in Computer Science, Seite 215-233. Springer, (2007)Automatic Scalable Atomicity via Semantic Locking., , , und . ACM Trans. Parallel Comput., 3 (4): 21:1-21:29 (2017)Understanding the behavior of database operations under program control., , , und . OOPSLA, Seite 983-996. ACM, (2012)A simple inductive synthesis methodology and its applications., , , und . OOPSLA, Seite 36-46. ACM, (2010)Effectively-Propositional Reasoning about Reachability in Linked Data Structures., , , , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 756-772. Springer, (2013)Concurrent data representation synthesis., , , , und . PLDI, Seite 417-428. ACM, (2012)