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

Durable Algorithms for Writable LL/SC and CAS with Dynamic Joining., , und . DISC, Volume 281 von LIPIcs, Seite 25:1-25:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)The Multiplayer Colonel Blotto Game., , und . EC, Seite 47-48. ACM, (2020)A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms., , , und . CoRR, (2023)The multiplayer Colonel Blotto game., , und . Games Econ. Behav., (2021)Learning from Weakly Dependent Data under Dobrushin's Condition., , , und . COLT, Volume 99 von Proceedings of Machine Learning Research, Seite 914-928. PMLR, (2019)Nash Equilibria of The Multiplayer Colonel Blotto Game on Arbitrary Measure Spaces.. CoRR, (2021)Efficient Constructions for Almost-Everywhere Secure Computation., , und . EUROCRYPT (2), Volume 12106 von Lecture Notes in Computer Science, Seite 159-183. Springer, (2020)Fast Arrays: Atomic Arrays with Constant Time Initialization., und . DISC, Volume 209 von LIPIcs, Seite 25:1-25:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Constant RMR System-wide Failure Resilient Durable Locks with Dynamic Joining., , und . SPAA, Seite 227-237. ACM, (2023)A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability., , , und . Proc. ACM Program. Lang., 8 (POPL): 2456-2484 (Januar 2024)