From

Institution

Field

Type

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

Reset

Papers matching “model checking algorithms” 21

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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

0

citations
First-Order Model-Checking in Random Graphs and Complex Networks
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
Predictive Performance of a Gentamicin Pharmacokinetic Model in Term Neonates with Perinatal Asphyxia Undergoing Controlled Therapeutic Hypothermia
2024 Therapeutic Drug Monitoring article Medicine Pharmaceutical studies and practices Open access

Marlotte A. A. van der Veer, Timo Robert de Haan, Linda G. W. Franken, Floris Groenendaal, Peter H. Dijk, Willem Pieter de Boode, +9 more

1

citations
Weisfeiler-Leman on Graphs of Small Twin-Width
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Irene Heinrich, Moritz Lichter, Klara Pakhomenko, Simon Raßmann

0

citations
Enhancing model-based development with formalized requirements: integrating temporal logic and SysML v2 for comprehensive state and transition modeling
2025 Forschung im Ingenieurwesen article Engineering Systems Engineering Methodologies and Applications Open access

Simon Dehn, Georg Jacobs, Gregor Höpfner

3

citations
Algorithms for Efficiently Computing Structural Anonymity in Complex Networks
2023 ACM Journal of Experimental Algorithmics article Computer Science Privacy-Preserving Technologies in Data Open access

R. Jong, Mark van der Loo, Frank W. Takes

2

citations
Partially ordered stochastic conformance checking
2024 Knowledge and Information Systems article Business, Management and Accounting Business Process Modeling and Analysis Open access

Sander J. J. Leemans, Tobias Brockhoff, Wil M. P. van der Aalst, Artem Polyvyanyy

5

citations
Control-flow anomaly detection by process mining-based feature extraction and dimensionality reduction
2025 Knowledge-Based Systems article Business, Management and Accounting Business Process Modeling and Analysis Open access

Marco Pegoraro, Wil M. P. van der Aalst, Nicola Mazzocca

14

citations
Synthesizing optimal bias in randomized self-stabilization
2021 Distributed Computing article Computer Science Distributed systems and fault tolerance Open access

Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki

3

citations
An Experimental Evaluation of Process Concept Drift Detection
2023 Proceedings of the VLDB Endowment article Business, Management and Accounting Business Process Modeling and Analysis

Jan Niklas Adams, Cameron Pitsch, Tobias Brockhoff, Wil M. P. van der Aalst

16

citations
DFT modeling approach for operational risk assessment of railway infrastructure
2022 International Journal on Software Tools for Technology Transfer article Decision Sciences Risk and Safety Analysis Open access

Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen

20

citations
Logics of dependence and independence: The local variants
2021 Journal of Logic and Computation article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Phil Pützstück

1

citations
Efficient Time and Space Representation of Uncertain Event Data
2020 Algorithms article Business, Management and Accounting Business Process Modeling and Analysis Open access

Marco Pegoraro, Merih Seran Uysal, Wil M. P. van der Aalst

0

citations
Multi-cost Bounded Tradeoff Analysis in MDP
2020 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

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

22

citations
A Systematic Analysis on the Impact of Contextual Information on Point-of-Interest Recommendation
2022 ACM Transactions on Information Systems article Computer Science Recommender Systems and Techniques Open access

Hossein A. Rahmani, Mohammad Aliannejadi, Mitra Baratchi, Fábio Crestani

37

citations
Nonparametric Estimation of Transition Intensities in Interval‐Censored Markov Multistate Models Without Loops
2025 Statistics in Medicine article Mathematics Probability and Statistical Research Open access

Daniel Gomon, Hein Putter

2

citations
Online capability-based resource allocation for on-site construction operations utilizing digital twin models
2021 Construction Robotics article Engineering BIM and Construction Integration Open access

Sören Münker, Peter R. Wildemann, Amon Göppert, Sigrid Brell‐Çokcan, Robert Heinrich Schmitt

15

citations
A Data Set of 255,000 Randomly Selected and Manually Classified Extracted Ion Chromatograms for Evaluation of Peak Detection Methods
2020 Metabolites article Biochemistry, Genetics and Molecular Biology Metabolomics and Mass Spectrometry Studies Open access

Carolin Elisabeth Huber, Liza‐Marie Beckers, Werner Brack, Martin Krayer Von Krauss, Tobias Schulze

28

citations
Machine Learning and Political Events: Application of a Semi-supervised Approach to Produce a Dataset on Presidential Cabinets
2025 Social Science Computer Review article Social Sciences Computational and Text Analysis Methods Open access

Bastián González‐Bustamante

1

citations
Panchromatic characterization of the Y0 brown dwarf WISEP J173835.52+273258.9 using JWST/MIRI
2025 Astronomy and Astrophysics article Physics and Astronomy Stellar, planetary, and galactic studies Open access

Malavika Vasist, Helena Kühnle, Olivier Absil, Thomas K. Henning

0

citations

21 results