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

Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object. Inf. Comput., 119 (2): 176-201 (Juni 1995)Proof Nets And Explicit Substitutions., , und . Mathematical Structures in Computer Science, 13 (3): 409-450 (2003)Managing the Complexity of Large Free and Open Source Package-Based Software Distributions., , , , , , und . ASE, Seite 199-208. IEEE Computer Society, (2006)Automated synthesis and deployment of cloud applications., , , , , , und . ASE, Seite 211-222. ACM, (2014)Sources of Inter-package Conflicts in Debian, , , und . CoRR, (2011)On isomorphisms of intersection types., , , und . ACM Trans. Comput. Log., 11 (4): 25:1-25:24 (2010)Domain decomposition and skeleton programming with OCamlP3l., , , , und . Parallel Computing, 32 (7-8): 539-550 (2006)Supporting software evolution in component-based FOSS systems., , , , und . Sci. Comput. Program., 76 (12): 1144-1160 (2011)Learning from the future of component repositories., , , und . Sci. Comput. Program., (2014)Aeolus: A component model for the cloud., , , und . Inf. Comput., (2014)