Not finding it? Sign in to also search OpenAlex live.
-
A Deductive Verification Infrastructure for Probabilistic Programs2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
22citations -
An Automatic Framework to Create Patient-specific Eye Models From 3D Magnetic Resonance Images for Treatment Selection in Patients With Uveal Melanoma2021 Advances in Radiation Oncology article Computer Science Medical Image Segmentation Techniques Open access
Mohamed Kilany Hassan, Emmanuelle Fleury, Denis P. Shamonin, Lorna Grech Fonk, Marina Marinkovic, Myriam G. Jaarsma‐Coes, +4 more
12citations -
Fault-Tolerant Parity Readout on a Shuttling-Based Trapped-Ion Quantum Computer2022 Physical Review X article Computer Science Quantum Computing Algorithms and Architecture Open access cited by 3 patents
Janine Hilder, D. R. M. Pijn, O. Onishchenko, Alexander Stahl, Bjoern Lekitsch, A. Blanco, +3 more
66citations -
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