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

Soufflé: On Synthesis of Program Analyzers., , und . CAV (2), Volume 9780 von Lecture Notes in Computer Science, Seite 422-430. Springer, (2016)Secure Arcade: A Gamified Defense Against Cyber Attacks., , , , , und . CoRR, (2023)INSPIRE: The insieme parallel intermediate representation., , , , und . PACT, Seite 7-17. IEEE Computer Society, (2013)A Context-Aware Primitive for Nested Recursive Parallelism., , , , und . Euro-Par Workshops, Volume 10104 von Lecture Notes in Computer Science, Seite 149-161. Springer, (2016)A specialized B-tree for concurrent datalog evaluation., , , und . PPoPP, Seite 327-339. ACM, (2019)The AllScale API., , , und . eScience, Seite 488-497. IEEE, (2019)Optimal On The Fly Index Selection in Polynomial Time., , und . CoRR, (2017)Parallelizing a CAD Model Processing Tool from the Automotive Industry., , , , , , , und . Euro-Par Workshops (1), Volume 8805 von Lecture Notes in Computer Science, Seite 24-35. Springer, (2014)An efficient interpreter for Datalog by de-specializing relations., , , und . PLDI, Seite 681-695. ACM, (2021)Dynamic Real-Time Resource Provisioning for Massively Multiplayer Online Games., , , und . PaCT, Volume 5698 von Lecture Notes in Computer Science, Seite 98-111. Springer, (2009)