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

Retractions in Comparing Prolog Semantics (Extended Abstract)., and . MFCS, volume 452 of Lecture Notes in Computer Science, page 180-186. Springer, (1990)Trends in Game Tree Search., and . SOFSEM, volume 1175 of Lecture Notes in Computer Science, page 255-274. Springer, (1996)On the Existence of Cook Semantics.. SIAM J. Comput., 13 (1): 1-13 (1984)Kahn's Fixed-Point Characterization for Linear Dynamic Networks., and . SOFSEM, volume 1338 of Lecture Notes in Computer Science, page 513-522. Springer, (1997)Distributed simulation in industry - a survey: part 1 - the COTS vendors., , and . WSC, page 1053-1060. IEEE Computer Society, (2006)Towards an abstract parallel branch and bound machine., , and . Solving Combinatorial Optimization Problems in Parallel, volume 1054 of Lecture Notes in Computer Science, page 145-170. Springer, (1996)Another View on the SSS* Algorithm., and . SIGAL International Symposium on Algorithms, volume 450 of Lecture Notes in Computer Science, page 211-220. Springer, (1990)Formalizing a Design Technique for Distributed Programs., , and . PDSE, page 150-161. IEEE Computer Society, (1997)Distributed simulation in industry - a survey: part 2 - experts on distributed simulation., , and . WSC, page 1061-1068. IEEE Computer Society, (2006)Best-First Fixed-Depth Minimax Algorithms., , , and . J. Int. Comput. Games Assoc., 19 (4): 247 (1996)