Not finding it? Sign in to also search OpenAlex live.
-
Continual learning in medical image analysis: A comprehensive review of recent advancements and future prospects2025 Medical Image Analysis review Computer Science Domain Adaptation and Few-Shot Learning Open access
Joohi Chauhan, Afshin Bozorgpour, Boqiang Huang, Reza Azad, Dorit Merhof
26citations -
Weighted programming: a programming paradigm for specifying mathematical models2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
18citations -
Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements2023 IEEE International Requirements Engineering Conference (RE) conference-paper Computer Science Formal Methods in Verification
Vincent Bertram, Hendrik Kausch, Evgeny Kusmenko, Haron Nqiri, Bernhard Rumpe⋆, Constantin Venhoff
18citations -
Two-stage automated diagnosis framework for urogenital schistosomiasis in microscopy images from low-resource settings2023 Journal of medical imaging article Computer Science Digital Imaging for Blood Diseases Open access
Prosper Oyibo, Brice Meulah, Michel Bengtson, Lisette van Lieshout, Wellington Aghoghovwia Oyibo, Jan Carel Diehl, +2 more
12citations -
Auto-REP: An Automated Regression Pipeline Approach for High-efficiency Earthquake Prediction Using LANL Data2022 International Conference on Computer and Automation Engineering conference-paper Computer Science Seismology and Earthquake Studies Open access
Fan Yang, Marios Kefalas, Anna V. Kononova, Yanan Qiao, Thomas Bäck
11citations -
Measurement-free, scalable, and fault-tolerant universal quantum computing2025 Science Advances article Computer Science Quantum Computing Algorithms and Architecture Open access cited by 1 patent
Friederike Butt, David F. Locher, Katharina Brechtelsbauer, Hans Peter Büchler, Markus Michael Müller
9citations -
Fixed Point Certificates for Reachability and Expected Rewards in MDPs2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken
8citations