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

How to Train Your Dragon: Tamed Warping Network for Semantic Video Segmentation., , , , , und . CoRR, (2020)Point Defects and Localized Excitons in 2D WSe2, , , , , , , , , und 1 andere Autor(en). ACS Nano, 13 (5): 6050-6059 (2019)PMID: 31074961.Programmable Verifiers in Imperative Programming.. UTP, Volume 6445 von Lecture Notes in Computer Science, Seite 172-187. Springer, (2010)Cross-Platform Parallel Programming in Parray: A Case Study., , und . NPC, Volume 8707 von Lecture Notes in Computer Science, Seite 579-582. Springer, (2014)The transplantation technology of communication intensive applications on heterogeneous clusters., , und . Trans. Emerg. Telecommun. Technol., (2020)Formal methods for global synchrony.. University of Oxford, UK, (2001)British Library, EThOS.IDNet: Information Decomposition Network for Fast Panoptic Segmentation., , , und . IEEE Trans. Image Process., (2024)Abstraction of Object Graphs in Program Verification., und . MPC, Volume 6120 von Lecture Notes in Computer Science, Seite 80-99. Springer, (2010)Unifying Probability with Nondeterminism., und . FM, Volume 5850 von Lecture Notes in Computer Science, Seite 467-482. Springer, (2009)Samsara parallel: a non-BSP parallel-in-time model., , , , und . PPoPP, Seite 49:1-49:2. ACM, (2016)