( en | de | ru )

 

Disambiguierung von "Gotsman, Alexey"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Multi-Shot Distributed Transaction Commit (Extended Version).

, und . CoRR, (2018)

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.

Olexiy Gotsman

Alexey Mikaberidze

Alexey Shaytan

Alexey Dashevsky

Alexey Novikov

 

Weitere Publikationen von Autoren mit dem selben Namen

Multi-Shot Distributed Transaction Commit., und . DISC, Volume 121 von LIPIcs, Seite 14:1-14:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Making Byzantine consensus live., , und . Distributed Comput., 35 (6): 503-532 (2022)Modular verification of preemptive OS kernels., und . ICFP, Seite 404-417. ACM, (2011)Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language., , und . ARSPA@ICALP, Volume 135 von Electronic Notes in Theoretical Computer Science, Seite 59-77. Elsevier, (2005)Linearizability with Ownership Transfer., und . Logical Methods in Computer Science, (2013)Analysing Snapshot Isolation., und . J. ACM, 65 (2): 11:1-11:41 (2018)Interprocedural Shape Analysis with Separated Heap Abstractions., , und . SAS, Volume 4134 von Lecture Notes in Computer Science, Seite 240-260. Springer, (2006)Local Reasoning for Storable Locks and Threads., , , , und . APLAS, Volume 4807 von Lecture Notes in Computer Science, Seite 19-37. Springer, (2007)Composite Replicated Data Types., und . ESOP, Volume 9032 von Lecture Notes in Computer Science, Seite 585-609. Springer, (2015)Privatization-Safe Transactional Memories., , und . DISC, Volume 146 von LIPIcs, Seite 24:1-24:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)