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

Direct Manipulation and Procedural Reasoning.. HCI (2), page 349-356. Elsevier, (1987)Detecting Reflections by Combining Semantic and Instance Segmentation., and . CoRR, (2019)Effectively Combining Software Verification Strategies: Understanding Different Assumptions., , and . ISSRE, page 321-330. IEEE Computer Society, (2006)Aristotle would have admired BioShock while Shakespeare would have played Dragon Age.. Future Play, page 207-210. ACM, (2010)Random testing of formal software models and induced coverage., , and . Random Testing, page 20-27. ACM, (2006)Detection of Critical Structures in Laparoscopic Cholecystectomy Using Label Relaxation and Self-supervision., , , and . MICCAI (4), volume 12904 of Lecture Notes in Computer Science, page 321-330. Springer, (2021)Improved Placental Parameter Estimation Using Data-Driven Bayesian Modelling., , , , , , , , , and 2 other author(s). MICCAI (3), volume 11766 of Lecture Notes in Computer Science, page 609-616. Springer, (2019)iRun: Interactive Rendering of Large Unstructured Grids., , , , , , and . EGPGV, page 93-100. Eurographics Association, (2007)The rising costs of training frontier AI models., , , , and . CoRR, (2024)What Makes Finite-State Models More (or Less) Testable?, , and . ASE, page 237-240. IEEE Computer Society, (2002)