Author of the publication

A Formal Framework for Evaluating Heuristic Programs.

, , and . Ann. Math. Artif. Intell., 22 (3-4): 193-206 (1998)

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

Assessment of network module identification across complex diseases, , , , , , , , , and 168 other author(s). Nature Methods, 16 (9): 843--852 (2019)Complexity Results and Algorithms for <, <=, = -Constrained Scheduling., and . SODA, page 137-147. ACM/SIAM, (1991)Coloring with Defect., , and . SODA, page 548-557. ACM/SIAM, (1997)Compact routing with name independence., , , , and . SPAA, page 184-192. ACM, (2003)Compact roundtrip routing with topology-independent node names., , and . PODC, page 43-52. ACM, (2003)A Formal Framework for Evaluating Heuristic Programs., , and . ICALP, volume 1099 of Lecture Notes in Computer Science, page 634-645. Springer, (1996)Near-Linear Cost Sequential and Distribured Constructions of Sparse Neighborhood Covers, , , and . FOCS, page 638-647. IEEE Computer Society, (1993)A Distance-Based Method for Detecting Horizontal Gene Transfer in Whole Genomes., , , , , and . ISBRA, volume 4983 of Lecture Notes in Computer Science, page 26-37. Springer, (2008)Highlights Talks at ACM BCB 2018., and . BCB, page 564. ACM, (2018)Embodied Notes: A Cognitive Support Tool For Remote Scientific Collaboration in VR., , , and . CHI Extended Abstracts, page 279:1-279:6. ACM, (2022)