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

Optimal Provision-After-Wait in Healthcare., , and . CoRR, (2013)Communicating Hierarchical State Machines., , and . ICALP, volume 1644 of Lecture Notes in Computer Science, page 169-178. Springer, (1999)Hedging Bets in Markov Decision Processes., , , and . CSL, volume 62 of LIPIcs, page 29:1-29:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Randomized pursuit-evasion with limited visibility., , and . SODA, page 1060-1069. SIAM, (2004)Spot-Checkers, , , , and . J. Comput. Syst. Sci., 60 (3): 717-751 (2000)The Generation of Random Permutations on the Fly., and . Inf. Process. Lett., 28 (4): 207-212 (1988)A Formal Framework for Evaluating Heuristic Programs., , and . Ann. Math. Artif. Intell., 22 (3-4): 193-206 (1998)Reconstructing strings from random traces., , , and . SODA, page 910-918. SIAM, (2004)An Approximate L1-Difference Algorithm for Massive Data Streams., , , and . SIAM J. Comput., 32 (1): 131-151 (2002)Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages., , , and . POPL, page 409-420. ACM Press, (1994)