From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “tool comparison” 98

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis
2025 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Constraint Satisfaction and Optimization Open access

Furong Ye, Chuan Wen Luo, Shaowei Cai

0

citations
IOHanalyzer: Detailed Performance Analyses for Iterative Optimization Heuristics
2022 ACM Transactions on Evolutionary Learning and Optimization article Computer Science Metaheuristic Optimization Algorithms Research Open access

Hao Wang, Diederick Vermetten, Furong Ye, Carola Doerr, Thomas Bäck

61

citations
Identifying trending coefficients with an ensemble Kalman filter
2020 arXiv (Cornell University) preprint Computer Science Target Tracking and Data Fusion in Sensor Networks Open access

Max Schwenzer, Giuseppe Visconti, Muzaffer Ay, Thomas Bergs, Michaël Herty, Dirk Abel

2

citations
IOHanalyzer: Detailed Performance Analyses for Iterative Optimization Heuristics
2020 arXiv (Cornell University) preprint Computer Science Metaheuristic Optimization Algorithms Research Open access

Hao Wang, Diederick Vermetten, Furong Ye, Carola Doerr, Thomas Bäck

0

citations
A Practitioner’s Guide to MDP Model Checking Algorithms
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

35

citations
A Practitioner's Guide to MDP Model Checking Algorithms
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

2

citations
The revised practitioner’s guide to MDP model checking algorithms
2026 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

1

citations
Quantum machine learning beyond kernel methods
2023 Nature Communications article Computer Science Quantum Computing Algorithms and Architecture Open access cited by 2 patents

Sofiène Jerbi, Lukas J. Fiderer, Hendrik Poulsen Nautrup, Jonas M. Kübler, Hans J. Briegel, Vedran Dunjko

228

citations
Towards dynamic algorithm selection for numerical black-box optimization
2020 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access

Diederick Vermetten, Hao Wang, Thomas Bäck, Carola Doerr

18

citations
A methodology for comparing optimization algorithms for auto-tuning
2024 Future Generation Computer Systems article Computer Science Parallel Computing and Optimization Techniques Open access

Floris-Jan Willemsen, Richard Schoonhoven, Jiří Filipovič, Jacob O. Tørring, Rob V. van Nieuwpoort, Ben van Werkhoven

11

citations
Validation of a deep learning model for automatic segmentation of skeletal muscle and adipose tissue on L3 abdominal CT images
2023 medRxiv preprint Computer Science Medical Image Segmentation Techniques Open access

David P.J. van Dijk, Leroy Volmer, Ralph Brecheisen, Ross Dean Dolan, Adam S. Bryce, David Kuang-Fu Chang, +7 more

5

citations
Privacy-preserving multicenter differential protein abundance analysis with FedProt
2025 Nature Computational Science article Computer Science Privacy-Preserving Technologies in Data Open access

Yuliya P. Burankova, Miriam Abele, Mohammad Bakhtiari, Christine von Toerne, Teresa K. Barth, Lisa Schweizer, +25 more

4

citations
A Practitioner's Guide to MDP Model Checking Algorithms (Artefact)
2023 University of Twente Research Information dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

1

citations
A Practitioner's Guide to MDP Model Checking Algorithms (Artefact)
2023 Radboud Repository (Radboud University) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

0

citations
diff-fuse
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Software Engineering Research Open access

Mariia Steeghs-Turchina

0

citations
Benchmark Data for The Revised Practitioner's Guide to MDP Model Checking Algorithms
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

0

citations
What is the Best Algorithm for MDP Model Checking? Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
What is the Best Algorithm for MDP Model Checking? Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
MedMNIST v2: A Large-Scale Lightweight Benchmark for 2D and 3D Biomedical Image Classification
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Advanced Neural Network Applications Open access

Jiancheng Yang, Rui Shi, Donglai Wei, Zequan Liu, Lin Zhao, Hanspeter Pfister, +1 more

0

citations
POS0535 QUERY ALGORITHMS AND MACHINE LEARNING METHODS AS TOOLS TO IDENTIFY COMORBIDITIES IN LARGE-SCALE FREE-TEXT BASED FIELDS: A CASE-REPORT
2021 Annals of the Rheumatic Diseases conference-abstract Computer Science Machine Learning in Healthcare Open access

Dieter Roehrich, T. Maarseveen, Alfons A den Broeder, Călin D. Popa, Rachel Knevel

0

citations
Differential Performance Analysis Workflow for Algorithmic Changes
2021 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Isabel Thärigen, Joachim Protze, Fabian Orland, Marc-André Hermanns

3

citations
Towards a Hybrid MPI Correctness Benchmark Suite
2022 European MPI Users' Group Meeting (EuroMPI) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Tim Jammer, Alexander Hück, Jan-Patrick Lehr, Joachim Protze, Simon Schwitanski, Christian H Bischof

13

citations
Machine Learning as a Novel Method to Support Therapeutic Drug Management and Precision Dosing
2021 Clinical Pharmacology & Therapeutics article Computer Science Machine Learning in Healthcare Open access

Teun van Gelder, Alexander A. T. M. M. Vinks

25

citations
Navigating the complexities of docking tools with nicotinic receptors and acetylcholine binding proteins in the realm of neonicotinoids
2024 Ecotoxicology and Environmental Safety article Computer Science Computational Drug Discovery Methods Open access

Zakaria Bouchouireb, Damien Olivier‐Jimenez, Titouan Jaunet‐Lahary, Steeve Hervé Thany, Jean‐Yves Le Questel

14

citations
ARBALEST: Dynamic Detection of Data Mapping Issues in Heterogeneous OpenMP Applications
2021 Proceedings - IEEE International Parallel and Distributed Processing Symposium conference-paper Computer Science Parallel Computing and Optimization Techniques

Lechen Yu, Joachim Protze, Óscar Hernández, Vivek Sarkar

5

citations