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

Static VS Dynamic Reversibility in CCS., und . RC, Volume 9720 von Lecture Notes in Computer Science, Seite 36-51. Springer, (2016)Relative expressiveness of calculi for reversible concurrency.. Bull. EATCS, (2019)Towards Parametric Causal Semantics in pi-calculus., und . ICTCS/CILC, Volume 1949 von CEUR Workshop Proceedings, Seite 121-125. CEUR-WS.org, (2017)Experimenting with Emerging RISC-V Systems for Decentralised Machine Learning., , , , , , , , , und 3 andere Autor(en). CF, Seite 73-83. ACM, (2023)Towards a Formal Account for Software Transactional Memory., , , und . RC, Volume 12227 von Lecture Notes in Computer Science, Seite 255-263. Springer, (2020)Experimenting with Emerging ARM and RISC-V Systems for Decentralised Machine Learning., , , , , , , , , und 3 andere Autor(en). CoRR, (2023)Enabling Replications and Contexts in Reversible Concurrent Calculus., und . CoRR, (2021)Explicit Identifiers and Contexts in Reversible Concurrent Calculus., und . RC, Volume 12805 von Lecture Notes in Computer Science, Seite 144-162. Springer, (2021)A parametric framework for reversible π-calculi., , , und . Inf. Comput., (2020)Towards formal model for location aware workflows., und . COMPSAC, Seite 1864-1869. IEEE, (2023)