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

Obsidian: Typestate and Assets for Safer Blockchain Programming., , , , , , , , und . ACM Trans. Program. Lang. Syst., 42 (3): 14:1-14:82 (2020)Psamathe: a DSL for safe blockchain assets.. SPLASH (Companion), Seite 16-18. ACM, (2020)Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata., , , und . CoRR, (2021)Obsidian: Typestate and Assets for Safer Blockchain Programming., , , , , , , , und . CoRR, (2019)Decidability for Sturmian words., , , , , und . CoRR, (2021)iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests., , , , und . ICST, Seite 312-322. IEEE, (2019)Psamathe: A DSL with Flows for Safe Blockchain Assets., , und . CoRR, (2020)A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language., , , , , und . PLATEAU@UIST, Volume 76 von OASIcs, Seite 2:1-2:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)iFixFlakies: a framework for automatically fixing order-dependent flaky tests., , , , und . ESEC/SIGSOFT FSE, Seite 545-555. ACM, (2019)Decidability for Sturmian Words., , , , , und . CSL, Volume 216 von LIPIcs, Seite 24:1-24:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)