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

A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers., , , , und . PADL, Volume 4902 von Lecture Notes in Computer Science, Seite 133-149. Springer, (2008)Boomerang: resourceful lenses for string data., , , , und . POPL, Seite 407-419. ACM, (2008)An Algebraic Approach to View Maintenance for XQuery., , , und . PLAN-X, (2008)Exploiting Schemas in Data Synchronization., , , , und . DBPL, Volume 3774 von Lecture Notes in Computer Science, Seite 42-57. Springer, (2005)Quotient lenses., , und . ICFP, Seite 383-396. ACM, (2008)Combinators for bi-directional tree transformations: a linguistic approach to the view update problem., , , , und . POPL, Seite 233-246. ACM, (2005)A Theory of Featherweight Java in Isabelle/HOL., und . Arch. Formal Proofs, (2006)Formal proof development.LOOJ: Weaving LOOM into Java., und . ECOOP, Volume 3086 von Lecture Notes in Computer Science, Seite 389-413. Springer, (2004)A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice., , und . PLAN-X, Seite 80-90. (2007)Updatable Security Views., , und . CSF, Seite 60-74. IEEE Computer Society, (2009)