From

Institution

Field

Type

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

Reset

Papers matching “process model” 37

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
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Radboud Repository (Radboud University) dataset Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

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
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact)
2026 University of Twente Research Information dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

0

citations
Eijkelboom_et_al_CNN_model_weights_labels_train_log
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Advanced Neural Network Applications Open access

Isaak Eijkelboom

0

citations
Eijkelboom_et_al_CNN_model_weights_labels_train_log
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Advanced Neural Network Applications Open access

Isaak Eijkelboom

0

citations
Dataset for Paper "An Event Model for Trace-Based Performance Analysis of MPI Partitioned Point-to-Point Communication"
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Parallel Computing and Optimization Techniques Open access

Isabel Thärigen, Marc-André Hermanns, Markus Geimer

0

citations
Dataset for Paper "An Event Model for Trace-Based Performance Analysis of MPI Partitioned Point-to-Point Communication"
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Parallel Computing and Optimization Techniques Open access

Isabel Thärigen, Marc-André Hermanns, Markus Geimer

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
Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

1

citations
Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

0

citations
Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

0

citations
Verification of Multi-Objective Markov Models: Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
Verification of Multi-Objective Markov Models: Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact
2020 University of Twente Research Information dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

1

citations
Simulation of an Agile Automotive Assembly Lane
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Petri Nets in System Modeling Open access

Tobias Brockhoff, Anahita Farhang Ghahfarokhi, Mahsa Pourbafrani, Merih Seran Uysal, István Koren, Wil M. P. van der Aalst

0

citations
Simulation of an Agile Automotive Assembly Lane
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Petri Nets in System Modeling Open access

Tobias Brockhoff, Anahita Farhang Ghahfarokhi, Mahsa Pourbafrani, Merih Seran Uysal, István Koren, Wil M. P. van der Aalst

0

citations
Data and code supporting: From Phenotypic Screening to Target and Compound Prioritization for Autosomal Dominant Polycystic Kidney Disease
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Computational Drug Discovery Methods Open access

David Alencar Araripe, Margarita Iljin, Hester Bange, Leo Price, Rongfang Liu, Daan van der Es, +3 more

0

citations
Data and code supporting: From Phenotypic Screening to Target and Compound Prioritization for Autosomal Dominant Polycystic Kidney Disease
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Computational Drug Discovery Methods Open access

David Alencar Araripe, Margarita Iljin, Hester Bange, Leo Price, Rongfang Liu, Daan van der Es, +3 more

0

citations