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

Reading for pleasure and progress in vocabulary and mathematics, und . British Educational Research Journal, 41 (6): 971--991 (2015)Multi-Modal Detection Fusion on a Mobile UGV for Wide-Area, Long-Range Surveillance., , , , , und . WACV, Seite 1905-1913. IEEE, (2019)Self-Representation in Girard's System U., und . POPL, Seite 471-484. ACM, (2015)Typed self-evaluation via intensional type functions., und . POPL, Seite 415-428. ACM, (2017)Breaking through the normalization barrier: a self-interpreter for f-omega., und . POPL, Seite 5-17. ACM, (2016)Campion: debugging router configuration differences., , , , , , , und . SIGCOMM, Seite 748-761. ACM, (2021)Computer Assisted Composition in Continuous Time., , , , , , , , , und 2 andere Autor(en). CoRR, (2019)Jones-optimal partial evaluation by specialization-safe normalization., und . Proc. ACM Program. Lang., 2 (POPL): 14:1-14:28 (2018)Unsupervised Image Classification by Ideological Affiliation from User-Content Interaction Patterns., , , , , , , , und . CoRR, (2023)Lessons from the evolution of the Batfish configuration analysis tool., , , , , und . SIGCOMM, Seite 122-135. ACM, (2023)