From

Institution

Field

Type

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

Reset

Papers matching “expectation values” 108

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Monitoring Open Science as Transformative Change: Towards a Systemic Framework
2024 preprint Computer Science Research Data Management Practices Open access

Ismael Ràfols, Jordi Molas‐Gallart, Ingeborg Meijer

1

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

1

citations
Artificial General Intelligence (AGI)
2025 Underline Science Inc. other Computer Science Psychiatry, Mental Health, Neuroscience Open access

Eric Horvitz

0

citations
Evaluation Metrics for Safe Reinforcement Learning
2026 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Lindsay Spoor, Aske Plaat, Thomas M. Moerland

0

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
Towards a Conceptual Model for the FAIR Digital Object Framework
2023 Frontiers in artificial intelligence and applications book-chapter Computer Science Research Data Management Practices Open access

Luiz Olavo Bonino da Silva Santos, Tiago Prince Sales, Claudenir Morais Fonseca, Giancarlo Guizzardi

13

citations
Reliability-Optimal Offloading for Mobile Edge-Computing in Low-Latency Industrial IoT Networks
2024 IEEE Transactions on Wireless Communications article Computer Science IoT and Edge/Fog Computing

Jie Wang, Yulin Hu, Yao Lin Zhu, Tong Wang, Anke Schmeink

13

citations
The fundamental rights risks of countering cognitive warfare with artificial intelligence
2025 Ethics and Information Technology article Computer Science Ethics and Social Impacts of AI Open access

Henning Lahmann, Bart H. M. Custers, Benjamyn I. Scott

12

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

11

citations
An Adaptive Re-evaluation Method for Evolution Strategy under Additive Noise
2025 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access

Catalin-Viorel Dinu, Yash J. Patel, Xavier Bonet-Monroig, Hao Wang

5

citations
Interaction design for open innovation platforms: A social exchange perspective
2025 Journal of Product Innovation Management article Computer Science Open Source Software Innovations Open access

Anja Leckel, Krithika Randhawa, Frank Thomas Piller

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

3

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
Assessing the Similarity of Real Matrices with Arbitrary Shape
2025 PRX Life article Computer Science Matrix Theory and Algorithms Open access

Jasper Albers, Anno Christopher Kurth, Robin Gutzen, Aitor Morales-Gregorio, Michael Denker, Sonja Grün, +2 more

2

citations
Experimental Data Sets for the study "Benchmarking a $(\mu+\lambda)$ Genetic Algorithm with Configurable Crossover Probability"
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

Furong Ye, Hao Wang, Carola Doerr, Thomas Bäck

1

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

1

citations
Assessing the Similarity of Real Matrices with Arbitrary Shape
2025 PRX Life article Computer Science Matrix Theory and Algorithms Open access

Jasper Albers, Anno Christopher Kurth, Robin Gutzen, Aitor Morales-Gregorio, Michael Denker, Sonja Grün, +2 more

0

citations
Experimental Data Sets for the study "Benchmarking a $(\mu+\lambda)$ Genetic Algorithm with Configurable Crossover Probability"
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Metaheuristic Optimization Algorithms Research Open access

Furong Ye, Hao Wang, Carola Doerr, Thomas Bäck

0

citations
Mixture distributions as exponential families
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Bayesian Methods and Mixture Models Open access

Zhe Su

0

citations
Identifizierung von Applikationen für paradigmenverändernde Technologien unter Betrachtung des Quantencomputing
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Quantum Computing Algorithms and Architecture Open access

Frederik Bennemann

0

citations
An Adaptive Re-evaluation Method for Evolution Strategy under Additive Noise
2024 arXiv (Cornell University) preprint Computer Science Metaheuristic Optimization Algorithms Research Open access

Catalin-Viorel Dinu, Yash J. Patel, Xavier Bonet-Monroig, Hao Wang

0

citations
Quantifier Elimination and Craig Interpolation, Quantitatively
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
TEQUILA: a platform for rapid development of quantum algorithms
2021 Quantum Science and Technology article Computer Science Quantum Computing Algorithms and Architecture Open access

68

citations
Deep learning based tumor–stroma ratio scoring in colon cancer correlates with microscopic assessment
2023 Journal of Pathology Informatics article Computer Science AI in cancer detection Open access

Marloes A. Smit, Francesco Ciompi, John‐Melle Bokhorst, Gabi W. van Pelt, Oscar G. F. Geessink, Hein Putter, +4 more

28

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

citations