A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “probabilistic programming” 6

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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 Formal Methods in Verification Open access

Jonas Seidel

0

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
Integrating KoAT’s push-button probabilistic cost analysis into Caesar
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Mats Eblenkamp

0

citations
Methoden für die automatische Komplexitäts- und Terminierungsanalyse von (probabilistischen) Programmen und ihre Vollständigkeit
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Marcel Hark

1

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

Sebastian Junges

27

citations
EduCrypt: an educational tool for learning game-based cryptographic proofs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Jonas Broeckmann

0

citations

6 results