Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Chord, , , , und . Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications - SIGCOMM '01, Seite 149--160. San Diego, California, United States, (2001)VerSum: Verifiable Computations over Large Public Logs., , und . ACM Conference on Computer and Communications Security, Seite 1304-1316. ACM, (2014)Storage Alternatives for Mobile Computers., , , , , und . OSDI, Seite 25-37. USENIX Association, (1994)The Logical Disk: A New Approach to Improving File Systems., , und . SOSP, Seite 15-28. ACM, (1993)Operating System Review 27(5).Optimistic Active Messages: Structuring Systems for High-Performance Communication., , , , und . ACM SIGOPS European Workshop, Seite 23-28. ACM, (1994)Server operating systems., , , und . ACM SIGOPS European Workshop, Seite 141-148. ACM, (1996)A Comparison of Two Distributed Systems: Amoeba and Sprite., , , und . Computing Systems, 4 (4): 353-384 (1991)Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning., , , , und . OSDI, Seite 447-463. USENIX Association, (2022)Verifying vMVCC, a high-performance transaction library using multi-version concurrency control., , , , , und . OSDI, Seite 871-886. USENIX Association, (2023)Object Distribution in Orca using Compile-Time and Run-Time Techniques., und . OOPSLA, Seite 162-177. ACM, (1993)SIGPLAN Notices 28(10) / OOPSLA'93, Addendum to the Proceedings: OOPS Messenger 5(2) April 1994.