Not finding it? Sign in to also search OpenAlex live.
-
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Roman Andriushchenko, Arnd Hartmanns, Joshua Jeppson, Sebastian Junges, Tobias Meggendorfer, David Parker, +2 more
0citations -
Working across Scales: Shared Building-Blocks of a Sustainable Infrastructure Environment for Bio/Geodiversity Data2025 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access
Jutta Buschbom, James Macklin, Deborah Paul, Elizabeth R. Ellwood, Alina Freire‐Fierro, Wouter Addink, +6 more
0citations -
Design and Prototype of a Chatbot for Public Participation in Major Infrastructure Projects2026 Multimodal Technologies and Interaction article Computer Science AI in Service Interactions Open access
Jonathan Matthei, Johannes Maas, Maurice Wischum, Sven Mackenbach, Katharina Klemt‐Albert
0citations -
Reducing Qubit Requirements while Maintaining Numerical Precision for the Variational Quantum Eigensolver: A Basis-Set-Free Approach2021 The Journal of Physical Chemistry Letters article Computer Science Quantum Computing Algorithms and Architecture Open access cited by 4 patents
Jakob S. Kottmann, Philipp Schleich, Teresa Tamayo-Mendoza, Alán Aspuru‐Guzik
49citations -
Standardised lesion segmentation for imaging biomarker quantitation: a consensus recommendation from ESR and EORTC2022 Insights into Imaging article Computer Science Medical Image Segmentation Techniques Open access
Nandita M. deSouza, Aad van der Lugt, Christophe M. Deroose, Ángel Alberich‐Bayarri, Luc M. Bidaut, Laure S Fournier, +23 more
38citations -
The Quality Evaluation of Rare Disease Registries—An Assessment of the Essential Features of a Disease Registry2021 International Journal of Environmental Research and Public Health article Computer Science Research Data Management Practices Open access
Salma Ali, Jillian Bryce, Yllka Kodra, Domenica Taruscio, Luca Persani, S. Faisal Ahmed
23citations -
Augmented Reality-Assisted CT-Guided Puncture: A Phantom Study2022 CardioVascular and Interventional Radiology article Computer Science Augmented Reality Applications Open access
Vincent Van den Bosch, Hizirwan Shukri Salim, Njin-Zu Chen, Otto Stroosma, Philipp Bruners, Christiane Katharina Kuhl, +2 more
10citations -
Towards Service Deployment and Composition in Industry 4.02021 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Advanced Software Engineering Methodologies
Tarik Terzimehić, Kirill Dorofeev, Sebastian Bergemann, Alois Zoitl, Sebastian Voß
7citations -
Unity in Variety: Developing a collection description standard by consensus2020 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access
Matt Woodburn, Deborah L Paul, Wouter Addink, Steve Baskauf, Stanley Blum, Cat Chapman, +12 more
4citations