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

Creating, generating and comparing random network models with Network Randomizer., , , , und . F1000Research, (2016)Static Privacy Analysis by Flow Reconstruction of Tainted Data., , und . Int. J. Softw. Eng. Knowl. Eng., 31 (7): 973-1016 (2021)Preface.. Bytecode@ETAPS, Volume 141 von Electronic Notes in Theoretical Computer Science, Seite 1. Elsevier, (2005)Preface., und . Bytecode@ETAPS, Volume 190 von Electronic Notes in Theoretical Computer Science, Seite 1. Elsevier, (2007)Inference of field initialization., und . ICSE, Seite 231-240. ACM, (2011)Information Flow Analysis for Detecting Non-Determinism in Blockchain., , , , , , und . ECOOP, Volume 263 von LIPIcs, Seite 23:1-23:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine., , , und . BCCA, Seite 187-194. IEEE, (2021)Abstract Compilation for Sharing Analysis., und . FLOPS, Volume 2024 von Lecture Notes in Computer Science, Seite 311-325. Springer, (2001)Abstract Interpretation of Prolog Programs., und . AMAST, Volume 1548 von Lecture Notes in Computer Science, Seite 455-470. Springer, (1998)The Nullness Analyser of julia.. LPAR (Dakar), Volume 6355 von Lecture Notes in Computer Science, Seite 405-424. Springer, (2010)