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

Real-Time Avoidance of Ionising Radiation Using Layered Costmaps for Mobile Robots., , , , , and . Frontiers Robotics AI, (2022)Formally Verified Self-adaptation of an Incubator Digital Twin., , and . ISoLA (4), volume 13704 of Lecture Notes in Computer Science, page 89-109. Springer, (2022)Autonomous void detection and characterisation in point clouds and triangular meshes., , , and . Int. J. Comput. Vis. Robotics, 9 (4): 368-386 (2019)Simulating Ionising Radiation in Gazebo for Robotic Nuclear Inspection Challenges., , , , and . Robotics, 10 (3): 86 (2021)Lego®-like Bricks to Go from the Real to the Virtual World., , , and . HCI (44), volume 1498 of Communications in Computer and Information Science, page 91-98. Springer, (2021)Algorithmic Approach to Planar Void Detection and Validation in Point Clouds., and . TAROS, volume 10454 of Lecture Notes in Computer Science, page 526-539. Springer, (2017)On Cantor's First Uncountability Proof, Pick's Theorem, and the Irrationality of the Golden Ratio., and . The American Mathematical Monthly, 117 (7): 633-637 (2010)State terrorism in Latin America : Chile, Argentina, and international human rights. Rowman & Littlefield, Lanham, (2007)Property-Directed Verified Monitoring of Signal Temporal Logic., and . RV, volume 12399 of Lecture Notes in Computer Science, page 339-358. Springer, (2020)What's at Stake in the American Empire Debate, and . American Political Science Review, 101 (2): 253--271 (May 2007)