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

Addressing Problem Drift in UNHCR Fund Allocation., , and . CP, volume 280 of LIPIcs, page 37:1-37:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)From Multi-Agent Pathfinding to 3D Pipe Routing., , , , , and . SOCS, page 11-19. AAAI Press, (2020)A new statistical framework to assess structural alignment quality using information compression., , , , and . Bioinform., 30 (17): 512-518 (2014)SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques., , , , , and . Proc. ACM Program. Lang., 8 (PLDI): 1437-1462 (2024)Globalizing Constraint Models., , , and . CP, volume 8124 of Lecture Notes in Computer Science, page 432-447. Springer, (2013)Learning from Learning Solvers., , , and . CP, volume 9892 of Lecture Notes in Computer Science, page 455-472. Springer, (2016)Independence, Global analysis, and parallelism, in dinamically scheduled constraint logic programming.. Technical University of Madrid, Spain, (1994)A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs., , and . PASCO, page 63-73. World Scientific, (1994)Context-Sensitive Dynamic Partial Order Reduction., , , , and . CAV (1), volume 10426 of Lecture Notes in Computer Science, page 526-543. Springer, (2017)Optimal context-sensitive dynamic partial order reduction with observers., , , , and . ISSTA, page 352-362. ACM, (2019)