Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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