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

To the Gates of HAL: A HAL Tutorial., , , und . FLOPS, Volume 2441 von Lecture Notes in Computer Science, Seite 47-66. Springer, (2002)A Novel Approach For Detecting Symmetries in CSP Models., , , und . CPAIOR, Volume 5015 von Lecture Notes in Computer Science, Seite 158-172. Springer, (2008)The Modelling Language Zinc., , , und . CP, Volume 4204 von Lecture Notes in Computer Science, Seite 700-705. Springer, (2006)Trailing Analysis for HAL., , und . ICLP, Volume 2401 von Lecture Notes in Computer Science, Seite 38-53. Springer, (2002)Improving PARMA Trailing, , , und . CoRR, (2005)Optimizing compilation of constraint handling rules in HAL, , , und . CoRR, (2004)Pops: a Computational Tool for Modeling and Predicting Protease Specificity., , , , und . J. Bioinform. Comput. Biol., 3 (3): 551-586 (2005)Optimizing compilation of constraint handling rules in HAL., , , und . Theory Pract. Log. Program., 5 (4-5): 503-531 (2005)Compiling Ask Constraints., , und . ICLP, Volume 3132 von Lecture Notes in Computer Science, Seite 105-119. Springer, (2004)Contextual Nets and Constraint Logic Programming., , , , und . ICLP Workshop on Concurrent Constraint Programming, (1993)