Not finding it? Sign in to also search OpenAlex live.
-
BIAS: A Toolbox for Benchmarking Structural Bias in the Continuous Domain2022 IEEE Transactions on Evolutionary Computation article Computer Science Metaheuristic Optimization Algorithms Research Open access
Diederick Vermetten, Bas van Stein, Fabio Caraffini, Leandro Lei Minku, Anna V. Kononova
34citations -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Trusted Configuration in Cloud FPGAs2021 IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) conference-paper Computer Science Security and Verification in Computing cited by 1 patent
Shaza Zeitouni, Jo Vliegen, Tommaso Frassetto, Dirk Koch, Ahmad‐Reza Sadeghi, Nele Mentens
30citations -
Superpixel segmentations for thin sections: Evaluation of methods to enable the generation of machine learning training data sets2022 Computers & Geosciences article Computer Science Advanced Neural Network Applications Open access
Jiaxin Yu, Florian Wellmann, Simon Virgo, Marven von Domarus, Mingze Jiang, Joyce Schmatz, +1 more
30citations -
Logic Locking at the Frontiers of Machine Learning: A Survey on Developments and Opportunities2021 IFIP/IEEE International Conference on Very Large Scale Integration conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access
Dominik Šišejković, Lennart M. Reimann, Elmira Moussavi, Farhad Merchant, Rainer Leupers
29citations -
A Review of the Scientific Rigor, Reproducibility, and Transparency Studies Conducted by the ABRF Research Groups2020 Journal of Biomolecular Techniques JBT article Computer Science Research Data Management Practices Open access
Sheenah M. Mische, Nancy C. Fisher, Susan M. Meyn, Katia Sol‐Church, Rebecca L. Hegstad‐Davies, Frances Weis‐Garcia, +12 more
28citations -
The Importance of Being Constrained: Dealing with Infeasible Solutions in Differential Evolution and Beyond2023 Evolutionary Computation article Computer Science Metaheuristic Optimization Algorithms Research Open access
Anna V. Kononova, Diederick Vermetten, Fabio Caraffini, Mădălina Mitran, Daniela Zaharie
27citations -
The de novo FAIRification process of a registry for vascular anomalies2021 Orphanet Journal of Rare Diseases article Computer Science Research Data Management Practices Open access
Karlijn H.J. Groenen, Annika Jacobsen, Martijn G. Kersloot, Bruna dos Santos Vieira, David van Enckevort, Rajaram Kaliyaperumal, +5 more
27citations -
TUCAN: A molecular identifier and descriptor applicable to the whole periodic table from hydrogen to oganesson2022 Journal of Cheminformatics article Computer Science Computational Drug Discovery Methods Open access
Jan C. Brammer, Gerd Blanke, Claudia Kellner, Alexander Hoffmann, Sonja Herres‐Pawlis, Ulrich Schatzschneider
27citations