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

Enrichment of text documents using information retrieval techniques in a distributed environment., , und . Expert Syst. Appl., 37 (12): 8348-8358 (2010)On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs., , , , , , und . AADEBUG, Volume 2 von Linköping Electronic Articles in Computer and Information Science, Seite 155-169. Linköping University Electronic Press, (1997)More Precise Yet Efficient Type Inference for Logic Programs., und . WLPE, Seite 63-76. (2002)Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses., , und . New Gener. Comput., 28 (2): 177-206 (2010)A study of set-sharing analysis via cliques., , und . CoRR, (2005)Efficient Top-Down Set-Sharing Analysis Using Cliques., , und . PADL, Volume 3819 von Lecture Notes in Computer Science, Seite 183-198. Springer, (2006)Global Analysis of Standard Prolog Programs., , , und . ESOP, Volume 1058 von Lecture Notes in Computer Science, Seite 108-124. Springer, (1996)A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification., , und . ICLP (Technical Communications), Volume 7 von LIPIcs, Seite 104-113. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Contextual Nets and Constraint Logic Programming., , , , und . ICLP Workshop on Concurrent Constraint Programming, (1993)An overview of Ciao and its design philosophy, , , , , , und . CoRR, (2011)https://cliplab.org/papers/hermenegildo10:ciao-design-tplp-tr.pdf.