From

Institution

Field

Type

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

Reset

Papers matching “benchmark instances” 119

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Benchmark Instances for Robust Combinatorial Optimization with Budgeted Uncertainty
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Business, Management and Accounting Product Development and Customization Open access

Timo Gersing, Christina Büsing, Arie M. C. A. Koster

0

citations
Benchmark instances and experimental results for the Colored Knapsack Problem (ColKP)
2026 arXiv (Cornell University) preprint Engineering Optimization and Packing Problems Open access

Fabio Ciccarelli, Alexander Helber, Erik Mühmer

0

citations
Benchmark instances and experimental results for the Colored Knapsack Problem (ColKP)
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Open access

Fabio Ciccarelli, Alexander Helber, Erik Mühmer

0

citations
Benchmark Instances for Robust Combinatorial Optimization with Budgeted Uncertainty
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Business, Management and Accounting Product Development and Customization Open access

Timo Gersing, Christina Büsing, Arie M. C. A. Koster

0

citations
Benchmark Instances for Robust Combinatorial Optimization with Budgeted Uncertainty
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Business, Management and Accounting Product Development and Customization Open access

Timo Gersing, Christina Büsing, Arie M. C. A. Koster

3

citations
Benchmark Instances for Robust Combinatorial Optimization with Budgeted Uncertainty
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Business, Management and Accounting Product Development and Customization Open access

Timo Gersing, Christina Büsing, Arie M. C. A. Koster

0

citations
Benchmark Instances for Robust Combinatorial Optimization with Budgeted Uncertainty
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Business, Management and Accounting Product Development and Customization Open access

Timo Gersing, Christina Büsing, Arie M. C. A. Koster

0

citations
Benchmark Instances for Robust Combinatorial Optimization with Budgeted Uncertainty
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Business, Management and Accounting Product Development and Customization Open access

Timo Gersing, Christina Büsing, Arie M. C. A. Koster

0

citations
Benchmark Instances for Robust Combinatorial Optimization with Budgeted Uncertainty
2022 Zenodo (CERN European Organization for Nuclear Research) dataset Business, Management and Accounting Product Development and Customization Open access

Timo Gersing, Christina Büsing, Arie M. C. A. Koster

0

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

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

0

citations
Generating diverse and discriminatory knapsack instances by searching for novelty in variable dimensions of feature-space
2023 Proceedings of the Genetic and Evolutionary Computation Conference conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access

Alejandro Marrero, Eduardo Segredo, Emma Hart, Jakob Bossek, Aneta Neumann

6

citations
OoDIS: Anomaly Instance Segmentation and Detection Benchmark
2025 conference-paper Computer Science Anomaly Detection Techniques and Applications

Rui Zhou, Miriam Ackermann, Alexander Hermans, Bastian Leibe, Matthias Rottmann

3

citations
OoDIS: Anomaly Instance Segmentation and Detection Benchmark
2024 arXiv (Cornell University) preprint Computer Science Anomaly Detection Techniques and Applications Open access

Rui Zhou, Miriam Ackermann, Alexander Hermans, Bastian Leibe, Matthias Rottmann

1

citations
Tracking One-in-a-Million: Large-Scale Benchmark for Microbial Single-Cell Tracking with Experiment-Aware Robustness Metrics
2025 Lecture notes in computer science conference-paper Biochemistry, Genetics and Molecular Biology Cell Image Analysis Techniques Open access

Johannes Seiffarth, Luisa Blöbaum, Richard Dominik Paul, Nils Friederich, Angelo Jovin Yamachui Sitcheu, Ralf Mikut, +3 more

3

citations
Tracking one-in-a-million: Large-scale benchmark for microbial single-cell tracking with experiment-aware robustness metrics
2024 arXiv (Cornell University) preprint Biochemistry, Genetics and Molecular Biology Cell Image Analysis Techniques Open access

Johannes Seiffarth, Luisa Blöbaum, Angelo Jovin Yamachui Sitcheu, Ralf Mikut, Hanno Scharr, Alexander Grünberger, +1 more

0

citations
A Large Neighborhood Search for the Vehicle Routing Problem with Multiple Time Windows
2022 Transportation Science article Engineering Vehicle Routing Optimization Methods

Hendrik Schaap, Maximilian Schiffer, Michael Schneider, Grit Walther

34

citations
MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library
2021 Mathematical Programming Computation article Decision Sciences Scheduling and Timetabling Solutions Open access

Ambros Gleixner, Gregor Hendel, Gerald Gamrath, Tobias Achterberg, Michael Bastubbe, Timo Berthold, +10 more

206

citations
A General Branch-and-Cut Framework for Rotating Workforce Scheduling
2022 INFORMS journal on computing article Decision Sciences Scheduling and Timetabling Solutions

Tristan Becker, Maximilian Schiffer, Grit Walther

5

citations
The colored knapsack problem: structural properties and exact algorithms
2026 IRIS Research product catalog (Sapienza University of Rome) other Engineering Optimization and Packing Problems Open access

Fabio Ciccarelli, Alexander Helber, Erik Mühmer

0

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
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
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
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
Decomposition Strategies for Vehicle Routing Heuristics
2023 INFORMS journal on computing article Engineering Vehicle Routing Optimization Methods

Alberto Santini, Michael Schneider, Thibaut Vidal, Daniele Vigo

37

citations
Markov Automata with Multiple Objectives: Supplemental Material
2020 Zenodo (CERN European Organization for Nuclear Research) supplementary-materials Computer Science semigroups and automata theory Open access

Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen

1

citations