output
20202026
most citedPersonal Augmented Reality for Information Visualization on Large Interactive Displays

139 citations

26 papers

cs.RO2026

Point Cloud Segmentation for Autonomous Clip Positioning in Laparoscopic Cholecystectomy on a Phantom

Balázs Gyenes, Nikolai Franke, Paul Maria Scheikl +5

High-risk applications in robotics, such as robot-assisted surgery, present unique challenges. These systems must be both highly precise and interpretable in order to be deployed i…

eess.SY2025

KinesCeTI: A Modular and Size-Adaptable Force Feedback Glove with Interchangeable Actuation for the Index and Thumb

Pablo Alvarez Romeo, Mehmet Ercan Altinsoy

Force feedback gloves in haptic applications remain constrained by limited adaptability, simplified feedback, and fixed architectures that limit force feedback versatility. To addr…

cs.CV2025★ 4 cited

Comparative validation of surgical phase recognition, instrument keypoint estimation, and instrument instance segmentation in endoscopy: Results of the PhaKIR 2024 challenge

Tobias Rueckert, David Rauber, Raphaela Maerkl +58

Reliable recognition and localization of surgical instruments in endoscopic video recordings are foundational for a wide range of applications in computer- and robot-assisted minim…

cs.LO2024★ 9 cited

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)

Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer +2

Statistical model checking estimates probabilities and expectations of interest in probabilistic system models by using random simulations. Its results come with statistical guaran…

cs.IT2024★ 1 cited

Building Resilience in Wireless Communication Systems With a Secret-Key Budget

Karl-Ludwig Besser, Rafael F. Schaefer, H. Vincent Poor

Resilience and power consumption are two important performance metrics for many modern communication systems, and it is therefore important to define, analyze, and optimize them. I…

cs.CR2024

Information Inference Diagrams: Complementing Privacy and Security Analyses Beyond Data Flows

Sebastian Rehms, Stefan Köpsell, Verena Klös +1

This work introduces Information Inference Diagrams (I2Ds), a modeling framework aiming to complement existing approaches for privacy and security analysis of distributed systems.…