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

Probabilistically checkable debate systems and approximation algorithms for PSPACE-hard functions., , , and . STOC, page 305-314. ACM, (1993)An Approximate L1-Difference Algorithm for Massive Data Streams., , , and . SIAM J. Comput., 32 (1): 131-151 (2002)A Formal Framework for Evaluating Heuristic Programs., , and . Ann. Math. Artif. Intell., 22 (3-4): 193-206 (1998)Computation in a distributed information market., , , and . EC, page 156-165. ACM, (2003)Panel Session - Future Directions., , , , and . Security Protocols Workshop, volume 1550 of Lecture Notes in Computer Science, page 227-239. Springer, (1998)On the Incommensurability of Laws and Technical Mechanisms: Or, What Cryptography Can't Do., and . Security Protocols Workshop, volume 11286 of Lecture Notes in Computer Science, page 266-279. Springer, (2018)Flexibility as an Instrument in Digital Rights Management., , , and . WEIS, (2005)Approximation and collusion in multicast cost sharing., , , , and . Games Econ. Behav., 47 (1): 36-71 (2004)Information accountability., , , , , and . Commun. ACM, 51 (6): 82-87 (2008)Avoiding The Man on the Wire: Improving Tor's Security with Trust-Aware Path Selection., , , , and . NDSS, The Internet Society, (2017)