Topics › Physical Sciences › Computer Science › Artificial Intelligence
Logic, programming, and type systems Sign in to save
220
Aachen papers (primary topic)
383
Further papers (secondary topic)
682
Citations
96
Aachen authors
Papers per year
20
21
22
23
24
25
26
Papers 220
Open in paper search →-
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
Most active Aachen authors
-
Jürgen Giesl 4,354 citations overall57 papers
-
Joost-Pieter Katoen 20,330 citations overall52 papers
-
Nils Lommen 45 citations overall22 papers
-
Jan-Christoph Kassing 28 citations overall19 papers
-
Florian Frohn 567 citations overall17 papers
-
Hans-Dieter A. Hiep – citations overall15 papers
-
Philipp Schröer 61 citations overall14 papers
-
Darion Haase 19 citations overall13 papers
-
Kevin Batz 271 citations overall12 papers
-
Éléanore Meyer 12 citations overall12 papers
-
Frank S. de Boer – citations overall12 papers
-
Marcel Hark 140 citations overall9 papers
-
Tobias Winkler 172 citations overall8 papers
-
Dominique Unruh 2,925 citations overall7 papers
-
Henning Basold – citations overall7 papers