From

Institution

Field

Type

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

Reset

Papers matching “process model” 983

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
Can We Trust Bayesian Uncertainty Quantification from Gaussian Process Priors with Squared Exponential Covariance Kernel?
2021 SIAM/ASA Journal on Uncertainty Quantification article Computer Science Gaussian Processes and Bayesian Inference Open access

Amine Hadji, Botond Szabó

18

citations
Model-based Reinforcement Learning: A Survey
2023 Foundations and Trends® in Machine Learning article Computer Science Reinforcement Learning in Robotics Open access

Thomas M. Moerland, Joost Broekens, Aske Plaat, Catholijn M. Jonker

530

citations
Model-based Reinforcement Learning: A Survey
2020 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Thomas M. Moerland, Joost Broekens, Aske Plaat, Catholijn M. Jonker

82

citations
Modeling non-deterministic quantum programs for model checking
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

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
Dynamic optimization on quantum hardware: Feasibility for a process industry use case
2024 Computers & Chemical Engineering article Computer Science Quantum Computing Algorithms and Architecture Open access

Dennis M. Nenno, Adrian Caspari

4

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
Practical and Rigorous Uncertainty Bounds for Gaussian Process Regression
2021 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Gaussian Processes and Bayesian Inference Open access cited by 1 patent

Christian Fiedler, Carsten W. Scherer, Sebastian Trimpe

48

citations
Practical and Rigorous Uncertainty Bounds for Gaussian Process Regression
2021 arXiv (Cornell University) preprint Computer Science Gaussian Processes and Bayesian Inference Open access

Christian Fiedler, Carsten W. Scherer, Sebastian Trimpe

9

citations
Efficient Probabilistic Model Checking for Relational Reachability
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

3

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
Model checking smart contracts for Ethereum
2020 Pervasive and Mobile Computing article Computer Science Blockchain Technology Applications and Security

Thomas Osterland, Thomas Rose

47

citations
HyperProb: A Model Checker for Probabilistic Hyperproperties
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

9

citations
From a Use Case Categorization Scheme Towards a Maturity Model for Engineering Distributed Ledgers
2020 Progress in IS book-chapter Computer Science Blockchain Technology Applications and Security

Thomas Osterland, Thomas Rose

9

citations
Model checking hyperproperties for Markov decision processes
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

5

citations
Semantic Analysis of Domain Model Evolution in Model-Driven Software Development
2025 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) conference-paper Computer Science Model-Driven Software Engineering Techniques

Constantin Buschhaus, Lukas Netz, Bernhard Rumpe⋆, Max Stachon, Sebastian Stüber

1

citations
Language model integration into acoustic model training
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Speech Recognition and Synthesis Open access

Wilfried Michel

0

citations
Artificial Intelligence as an Actor in Innovation Teams: An Assessment of the GPT-3 Language Model
2022 Academy of Management Proceedings conference-abstract Computer Science Artificial Intelligence Applications

Sebastian Gregor Bouschery, Vera Blažević, Deborah Lynn Roberts, Frank Thomas Piller

1

citations
The de novo FAIRification process of a registry for vascular anomalies
2021 Orphanet Journal of Rare Diseases article Computer Science Research Data Management Practices Open access

Karlijn H.J. Groenen, Annika Jacobsen, Martijn G. Kersloot, Bruna dos Santos Vieira, David van Enckevort, Rajaram Kaliyaperumal, +5 more

27

citations
The de novo FAIRification process of a registry for vascular anomalies
2020 medRxiv preprint Computer Science Research Data Management Practices Open access

Karlijn H.J. Groenen, Annika Jacobsen, Martijn G. Kersloot, Bruna dos Santos Vieira, David van Enckevort, Rajaram Kaliyaperumal, +5 more

8

citations