From

Institution

Field

Type

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

Reset

Papers matching “model comparison” 224

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Comparison between static analysis and model checking in the design of automation systems
2026 Control Engineering Practice article Computer Science Formal Methods in Verification Open access

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

0

citations
EA and BYOD: Threat Model and Comparison to Paper-based Examinations
2020 International Conference on Computer Supported Education conference-paper Computer Science Information and Cyber Security Open access

Bastian Küppers, Thomas Eifert, Richard Zameitat, Ulrik Schroeder

3

citations
Comparison between static analysis and model checking in the design of automation systems
2026 Control Engineering Practice article Computer Science Formal Methods in Verification Open access

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

0

citations
MDE for Machine Learning-Enabled Software Systems: A Case Study and Comparison of MontiAnna & ML-Quadrat
2022 CentAUR (University of Reading) book-chapter Computer Science Model-Driven Software Engineering Techniques Open access

Jörg Christian Kirchhof, Evgeny Kusmenko, Jonas Ritz, Bernhard Rumpe⋆, Armin Moin, Atta Badii, +2 more

3

citations
Model Selection Strategies for Determining the Optimal Number of Overlapping Clusters in Additive Overlapping Partitional Clustering
2022 Journal of Classification article Computer Science Advanced Clustering Algorithms Research Open access

Julian Rossbroich, Jeffrey Durieux, Tom F. Wilderjans

15

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
What is the best algorithm for MDP model checking?
2025 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Tim Quatmann

2

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
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
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
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
A Comparison of Global Sensitivity Analysis Methods for Explainable AI With an Application in Genomic Prediction
2022 IEEE Access article Computer Science Explainable Artificial Intelligence (XAI) Open access

Bas van Stein, Elena Raponi, Zahra Sadeghi, Niek J. Bouman, Roeland C. H. J. van Ham, Thomas Bäck

61

citations
A Comparison of Global Sensitivity Analysis Methods for Explainable AI with an Application in Genomic Prediction
2022 preprint Computer Science Explainable Artificial Intelligence (XAI) Open access

Bas van Stein, Elena Raponi, Zahra Sadeghi, Niek J. Bouman, Roeland C. H. J. van Ham, Thomas Bäck

1

citations
A comparison of modeling approaches for static and dynamic prediction of central-line bloodstream infections using electronic health records (part 1): regression models
2025 Diagnostic and Prognostic Research article Computer Science Machine Learning in Healthcare Open access

Shan Gao, Elena Albu, Hein Putter, Pieter Stijnen, Frank E Rademakers, Veerle Cossey, +4 more

2

citations
Application of convex hull analysis for the evaluation of data heterogeneity between patient populations of different origin and implications of hospital bias in downstream machine-learning-based data processing: A comparison of 4 critical-care patient datasets
2022 Frontiers in Big Data article Computer Science Machine Learning in Healthcare Open access

Konstantin Sharafutdinov, Jayesh Sudhir Bhat, Sebastian Johannes Fritsch, Kateryna Nikulina, Moein E. Samadi, Richard Polzin, +4 more

12

citations
The Bigger Fish: A Comparison of Meta-Learning QSAR Models on Low-Resourced Aquatic Toxicity Regression Tasks
2023 Environmental Science & Technology article Computer Science Computational Drug Discovery Methods Open access

Thalea Schlender, Markus Viljanen, Jan N. van Rijn, Felix Mohr, Willie J.G.M. Peijnenburg, Holger H. Hoos, +2 more

43

citations
Deep learning segmentation model for quantification of infarct size in pigs with myocardial ischemia/reperfusion
2024 Basic Research in Cardiology article Computer Science Medical Image Segmentation Techniques Open access

Felix Braczko, Andreas Skyschally, Helmut Raphael Lieder, Jakob Nikolas Kather, Petra Kleinbongard, Gerd Heusch

2

citations
Comparison of Multi-Fidelity Modelling Methods for Bayesian Optimization
2025 Systems and Control Transactions conference-paper Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Stefan T�nnis, Luise F. Kaven, Eike Cramer

0

citations
A Comparison of Two Sigma Point Kalman Filters for Adaptive Cross-phase Cavity Pressure Control in Injection Molding
2022 IFAC-PapersOnLine article Computer Science Target Tracking and Data Fusion in Sensor Networks Open access

Marko Vukovic, Sebastian Stemmler, Dirk Abel, Katharina Hornberg, Christian Hopmann

2

citations
A comparison of regression models for static and dynamic prediction of a prognostic outcome during admission in electronic health care records
2024 Research Square preprint Computer Science Machine Learning in Healthcare Open access

Shan Gao, Elena Albu, Hein Putter, Pieter Stijnen, Frank E Rademakers, Veerle Cossey, +4 more

5

citations
The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES
2024 Technische Universität Berlin – Universitätsbibliothek article Computer Science Model-Driven Software Engineering Techniques Open access

Christian Fuß, Christof Mosler, Ulrike Ranger, Erhard Schultchen

13

citations