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

Efficient deterministic multithreading through schedule relaxation., , , , and . SOSP, page 337-351. ACM, (2011)Fifty-year Amundsen–Scott South Pole station surface climatology, , , and . Atmospheric Research, (November 2012)Comparing Alternative Approaches to Debriefing in a Tool to Support Peer-Led Simulation-Based Training., , , , , , and . ITS, volume 13284 of Lecture Notes in Computer Science, page 88-94. Springer, (2022)Using model-based simulation for augmenting Incident Command System for disaster response., , , , , , , and . WSC, page 3017-3027. IEEE, (2016)Practically Classifying Unmanned Aerial Vehicles Sound Using Convolutional Neural Networks., , , , , , , and . IRC, page 242-245. IEEE Computer Society, (2018)The Nature of Low-Density Star Formation, , , , , , , , , and 5 other author(s). (2019)cite arxiv:1903.05745Comment: Science white paper submitted to the Astro2020 Decadal Survey on Astronomy and Astrophysics.Graphical and iconic programming languages for distributed process control: an object oriented approach., , , , , and . VL, page 183-190. IEEE Computer Society, (1988)Attention Neural Networks for Pan-Tilt-Zoom Control with Active Hand-Off., and . RiTA, page 130-135. IEEE, (2019)A Multi-Agent System for Autonomous Adaptive Control of a Flapping-Wing Micro Air Vehicle., , , and . SSCI, page 1073-1080. IEEE, (2015)Tree Automata-Based Refinement with Application to Horn Clause Verification., and . VMCAI, volume 8931 of Lecture Notes in Computer Science, page 209-226. Springer, (2015)