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

Ambient Contracts: Verifying and Enforcing Ambient Object Compositions à la Carte, , , , und . Personal and Ubiquitous Computing, 15 (4): 341-351 (Januar 2011)An Empirical Study of the Influence of Static Type Systems on the Usability of Undocumented Software, , , , und . Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, Seite 683--702. (Oktober 2012)Dijkstra monads for all., , , , , , und . Proc. ACM Program. Lang., 3 (ICFP): 104:1-104:29 (2019)Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging., und . ECOOP, Volume 6813 von Lecture Notes in Computer Science, Seite 558-582. Springer, (2011)A Versatile Kernel for Distributed AOP., und . DAIS, Volume 4025 von Lecture Notes in Computer Science, Seite 316-331. Springer, (2006)Polymorphic Relaxed Noninterference., und . SecDev, Seite 101-113. IEEE, (2019)A trustworthy mechanized formalization of R., , und . DLS, Seite 13-24. ACM, (2018)Gradual refinement types., und . POPL, Seite 775-788. ACM, (2017)Taming aspects.. VariComp@AOSD, Seite 19. ACM, (2013)Summary of the third workshop on Domain-Specific Aspect Languages., , , , und . DSAL@AOSD, Seite 1:1-1:5. ACM, (2008)