From

Institution

Field

Type

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

Reset

Papers matching “expected value bounds” 29

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Lower Bounds for Possibly Divergent Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

Shenghua Feng, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan

14

citations
Expected dispersion of uniformly distributed points
2020 Journal of Complexity article Mathematics Mathematical Approximation and Integration Open access

Aicke Hinrichs, David Krieg, Robert J. Kunsch, Daniel Rudolf

13

citations
Deductive reasoning about concurrent probabilistic programs
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, Reasoning, and Knowledge Open access

Ira Fesefeldt

0

citations
Quantifier Elimination and Craig Interpolation: The Quantitative Way
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

33

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

10

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 arXiv (Cornell University) preprint Computer Science Bayesian Modeling and Causal Inference Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

1

citations
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
2025 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler

2

citations
A Calculus for Amortized Expected Runtimes
2023 Proceedings of the ACM on Programming Languages article Computer Science Parallel Computing and Optimization Techniques Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht

22

citations
Kernel conditional tests from learning-theoretic bounds
2025 conference-paper Computer Science Gaussian Processes and Bayesian Inference Open access

Pierre-François Massiani, Christian Fiedler, Lukas Haverbeck, Friedrich Solowjow, Sebastian Trimpe

0

citations
Euclid preparation. XCIII. Expected constraints on initial conditions
2026 Springer Link (Chiba Institute of Technology) article Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access

Fabio Finelli, Y. Akrami, A.A. Andrews, M. Ballardini, Santiago Casas, D. Karagiannis, +94 more

0

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2024 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

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

11

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2023 arXiv (Cornell University) preprint Computer Science Bayesian Modeling and Causal Inference Open access

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

1

citations
A Deductive Verification Infrastructure for Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

22

citations
Prophet Inequalities over Time
2023 conference-paper Computer Science Optimization and Search Problems Open access

Andreas Abels, Elias Pitschmann, Daniel Schmand

1

citations
Quantifier Elimination and Craig Interpolation, Quantitatively
2025 arXiv (Cornell University) preprint Computer Science Neural Networks and Applications Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Online Simple Knapsack with Reservation Costs
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Optimization and Search Problems Open access

Hans-Joachim Böckenhauer, Elisabet Burjons, Juraj Hromkovic̆, Henri Lotze, Peter Rossmanith

4

citations
Optimal strategies for shadow tomography with limited resources
2026 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Zhen-Peng Xu, Qi Ye, Jie Wang, Gereon Koßmann, Andreas Winter, René Schwonnek

0

citations
kai-li-1994/garment-sorting-rule-analysis: v2.0.0 – Frozen analysis and robustness release
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Kai Li

0

citations
kai-li-1994/garment-sorting-rule-analysis: v2.0.0 – Frozen analysis and robustness release
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Kai Li

0

citations
Commentary: Accelerating spiking neural network simulations with PymoNNto and PymoNNtorch
2024 Frontiers in Neuroinformatics editorial Neuroscience Neural dynamics and brain function Open access

Hans Ekkehard Pleßer

2

citations
Euclid preparation
2026 Astronomy and Astrophysics article Physics and Astronomy Cosmology and Gravitation Theories Open access

Fabio Finelli, Y. Akrami, A.A. Andrews, M. Ballardini, Santiago Casas, D. Karagiannis, +94 more

1

citations
Hunting WIMPs with LISA: correlating dark matter and gravitational wave signals
2024 Journal of Cosmology and Astroparticle Physics article Physics and Astronomy Cosmology and Gravitation Theories Open access

Torsten Bringmann, Tomás E. Gonzalo, Felix Kahlhoefer, Jonas Matuszak, Carlo Tasillo

21

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
Myelofibrosis management in routine clinical practice with a focus on patients with cytopenias: recommendations from a global consensus group
2024 Leukemia article Medicine Myeloproliferative Neoplasms: Diagnosis and Treatment Open access

Steffen Koschmieder, Prithviraj Bose, Martin H. Ellis, Vikas K Gupta, Jean‐Jacques Kiladjian, John O Mascarenhas, +3 more

5

citations