Not finding it? Sign in to also search OpenAlex live.
-
The Hypervolume Newton Method for Constrained Multi-Objective Optimization Problems2023 Mathematical and Computational Applications article Computer Science Advanced Multi-Objective Optimization Algorithms Open access
Hao Wang, Michael Emmerich, Andre H. Deutz, Víctor Adrián Sosa Hernández, Oliver Schütze
3citations -
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
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