Proceedings of the ACM on Programming Languages Sign in to save
Aachen papers per year
21
22
23
24
25
Papers 17
-
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning2021 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
33citations -
A pre-expectation calculus for probabilistic sensitivity2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
24citations -
A Deductive Verification Infrastructure for Probabilistic Programs2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
22citations -
Weighted programming: a programming paradigm for specifying mathematical models2022 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
18citations -
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2citations
17 results
Most active Aachen authors
-
Joost-Pieter Katoen 20,330 citations overall10 papers
-
Kevin Batz 271 citations overall6 papers
-
Tobias Kappé 260 citations overall3 papers
-
Tobias Winkler 172 citations overall3 papers
-
Lena Verscht 26 citations overall3 papers
-
Christof Löding 2,764 citations overall2 papers
-
Christoph Matheja 941 citations overall1 paper
-
Philipp Schröer 61 citations overall1 paper
-
Lutz Klinkenberg 40 citations overall1 paper
-
Adrian Gallus 21 citations overall1 paper
-
Darion Haase 19 citations overall1 paper
-
Tom Jannik Biskup 12 citations overall1 paper
-
Emma Ahrens 9 citations overall1 paper