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

Bringing practical lock-free synchronization to 64-bit applications., , , und . PODC, Seite 31-39. ACM, (2004)A Simple Optimistic Skiplist Algorithm., , , und . SIROCCO, Volume 4474 von Lecture Notes in Computer Science, Seite 124-138. Springer, (2007)Towards a Verified Model of the Algorand Consensus Protocol in Coq., , , , , , und . FM Workshops (1), Volume 12232 von Lecture Notes in Computer Science, Seite 362-367. Springer, (2019)Modular multiple dispatch with multiple inheritance., , , , und . SAC, Seite 1117-1121. ACM, (2007)Integrating coercion with subtyping and multiple dispatch., , , und . SAC, Seite 166-170. ACM, (2008)Verifying timing properties of concurrent algorithms., , , und . FORTE, Volume 6 von IFIP Conference Proceedings, Seite 259-273. Chapman & Hall, (1994)Investigating the Performance of Hardware Transactions on a Multi-Socket Machine., , , und . SPAA, Seite 121-132. ACM, (2016)Brief Announcement: Extending Transactional Memory with Atomic Deferral., , und . SPAA, Seite 371-373. ACM, (2017)Scalable reader-writer locks., , und . SPAA, Seite 101-110. ACM, (2009)SNZI: scalable NonZero indicators., , , und . PODC, Seite 13-22. ACM, (2007)