From post

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.

 

Другие публикации лиц с тем же именем

Route Planning and Map Inference with Global Positioning Traces., и . Computer Science in Perspective, том 2598 из Lecture Notes in Computer Science, стр. 128-151. Springer, (2003)Efficient Explicit-State Model Checking on General Purpose Graphics Processors., и . SPIN, том 6349 из Lecture Notes in Computer Science, стр. 106-123. Springer, (2010)Heap Construction - 50 Years Later., , и . Comput. J., 60 (5): 657-674 (2017)A case study of planning for smart factories - Model checking and Monte Carlo search for the rescue., и . Int. J. Softw. Tools Technol. Transf., 20 (5): 515-528 (2018)Taming Numbers and Durations in the Model Checking Integrated Planning System.. PuK, (2002)Two Constant-Factor-Optimal Realizations of Adaptive Heapsort., , и . IWOCA, том 7056 из Lecture Notes in Computer Science, стр. 195-208. Springer, (2011)A Catalogue of Algorithms for Building Weak Heaps., , и . IWOCA, том 7643 из Lecture Notes in Computer Science, стр. 249-262. Springer, (2012)Automated Creation of Pattern Database Search Heuristics.. MoChArt, том 4428 из Lecture Notes in Computer Science, стр. 35-50. Springer, (2006)Neue Wege in der Exploration.. GI Jahrestagung, стр. 65-77. Springer, (2000)Learning Event Time Series for the Automated Quality Control of Videos., и . KI, том 9904 из Lecture Notes in Computer Science, стр. 148-154. Springer, (2016)