From

Institution

Field

Type

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

Reset

Papers matching “probabilistic programming” 133

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Foundations of Probabilistic Programming
2020 Cambridge University Press eBooks book Computer Science Logic, programming, and type systems Open access

Fredrik Dahlqvist, Alexandra Silva, Dexter C. Kozen, Sam Staton, Daniel Huang, Greg Morrisett, +40 more

63

citations
Foundations of probabilistic programming
2021 RWTH Publications (RWTH Aachen) book Computer Science Logic, programming, and type systems Open access

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

0

citations
Sound and complete proof rules for almost-sure termination: from probabilistic control-flow graphs to program-level reasoning
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Jonas Seidel

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Daniel Basgöze, Kevin Batz, Sebastian Junges, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

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
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

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

0

citations
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg

1

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

1

citations
Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

Dominique Unruh, Benoît Valiron, Mingsheng Ying

0

citations
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

1

citations
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper)
2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

6

citations
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT
2024 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

1

citations
Verifying Belief-Based Programs via Symbolic Dynamic Programming
2023 Frontiers in artificial intelligence and applications book-chapter Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer

1

citations
Probabilistic programming meets automata theory: Exact inference using weighted automata
2026 Theoretical Computer Science article Computer Science semigroups and automata theory Open access

Dominik Geißler, Tobias Winkler

0

citations
Caesar: A Deductive Verifier for Probabilistic Programs
2026 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations
Exact Probabilistic Inference Using Generating Functions
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen, Joost-Pieter Katoen

1

citations
Weighted programming: a programming paradigm for specifying mathematical models
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler

18

citations
Caesar: A Deductive Verifier for Probabilistic Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations
Caesar: A Deductive Verifier for Probabilistic Programs
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning
2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

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

33

citations