Not finding it? Sign in to also search OpenAlex live.
-
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, +5 more
4citations -
Robot Cooking—Transferring Observations into a Planning Language: An Automated Approach in the Field of Cooking2023 Eng—Advances in Engineering article Computer Science Human Pose and Action Recognition Open access
Florian Menz, Ruben Grunau, Nils Mandischer, Mathias Hüsing, Burkhard J. Corves
4citations -
Applying the FAIR Data Principles to the Registry of Vascular Anomalies (VASCA)2020 Studies in health technology and informatics book-chapter Computer Science Research Data Management Practices Open access
Bruna dos Santos Vieira, Karlijn H.J. Groenen, Peter A.C. ’t Hoen, Annika Jacobsen, Marco Roos, Rajaram Kaliyaperumal, +2 more
4citations -
Unique Identification of 50,000+ Virtual Reality Users from Head & Hand Motion Data2023 arXiv (Cornell University) preprint Computer Science User Authentication and Security Systems Open access
Vivek C Nair, Wenbo Guo, Justus Mattern, Rui Wang, James F. O’Brien, Louis B. Rosenberg, +1 more
4citations -
Chaos-based Pseudo Random Number Generators via quasi-synchronized Chua’s circuits: a symmetric encryption perspective2025 Analog Integrated Circuits and Signal Processing article Computer Science Chaos-based Image/Signal Encryption Open access
Aidin Momtaz, Ehsan Qoreishi, Sarah Amini, Hossein Khayami, Kasra Amini, Sanaz Haddadian
3citations -
On the applicability of hybrid systems safety verification tools from the automotive perspective2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
3citations -
From slides to AI-ready maps: Standardized multi-layer tissue maps as metadata for artificial intelligence in digital pathology2026 Artificial Intelligence in Medicine article Computer Science AI in cancer detection Open access
Gernot Fiala, Markus Plass, Robert Harb, Peter Regitnig, Kristijan Skok, Wael Al Zoughbi, +11 more
3citations -
Application of Augmented Reality in Robot-Assisted Mitral Valve Repair Surgery: A Feasibility Study2025 Innovations Technology and Techniques in Cardiothoracic and Vascular Surgery article Computer Science Augmented Reality Applications Open access
Jette J. Peek, Klaus Hildebrandt, Xucong Zhang, Rohit K. Kharbanda, Maurice A. P. Oudeman, Robert J.M. Klautz, +2 more
3citations -
Long Term Interoperability of Distributed Research Data Infrastructures2023 Proceedings of the Conference on Research Data Infrastructure conference-paper Computer Science Research Data Management Practices Open access
Marius Politze, Yusra Shakeel, Siream Hunke, Philipp Ost, Rossella Aversa, Benedikt Heinrichs, +1 more
3citations