From

Institution

Field

Type

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

Reset

Papers matching “model dependence” 10

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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
A High-Resolution Individual 3D Adult Head and Torso Model for HRTF Simulation and Validation: 3D Data
2020 RWTH Publications (RWTH Aachen) dataset Computer Science Speech and Audio Processing Open access

Hark Braren, Janina Fels

7

citations
Research data for dissertation 'Real-time Tomographic Reconstruction'
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Parallel Computing and Optimization Techniques Open access

Jan‐Willem Buurlage

0

citations
Research data for dissertation 'Real-time Tomographic Reconstruction'
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Parallel Computing and Optimization Techniques Open access

Jan‐Willem Buurlage

0

citations
MA-BBOB - Reproducibility and Additional Data
2024 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

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

0

citations
MA-BBOB - Reproducibility and Additional Data
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

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

0

citations
dCRAB-Optimized NMR Control Pulses for Theoretical Performance Benchmarking within JuMPO
2026 Jülich DATA dataset Computer Science Quantum Computing Algorithms and Architecture Open access

Federico Bianchi

0

citations

10 results