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

The Orc Programming Language., , , und . FMOODS/FORTE, Volume 5522 von Lecture Notes in Computer Science, Seite 1-25. Springer, (2009)Tactical Synthesis of Efficient Global Search Algorithms., , und . NASA Formal Methods, Volume NASA/CP-2009-215407 von NASA Conference Proceedings, Seite 171-175. (2009)Verifying Equivalence of Database-Driven Applications., , , und . CoRR, (2017)Evaluating Support for Features in Advanced Modularization Technologies., , und . ECOOP, Volume 3586 von Lecture Notes in Computer Science, Seite 169-194. Springer, (2005)Peak Objects.. ECOOP, Volume 4067 von Lecture Notes in Computer Science, Seite 180-185. Springer, (2006)Feature-Oriented Programming with Object Algebras., , , und . ECOOP, Volume 7920 von Lecture Notes in Computer Science, Seite 27-51. Springer, (2013)Implementing Reflective Access Control in SQL., , , und . DBSec, Volume 5645 von Lecture Notes in Computer Science, Seite 17-32. Springer, (2009)A timed semantics of Orc., , , und . Theor. Comput. Sci., 402 (2-3): 234-248 (2008)Verifying equivalence of database-driven applications., , , und . Proc. ACM Program. Lang., 2 (POPL): 56:1-56:29 (2018)A Denotational Semantics of Inheritance and its Correctness., und . OOPSLA, Seite 433-443. ACM, (1989)SIGPLAN Notices 24(10).