Computer Science Departement, RTG UnRAVeL
Address
Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
Publications related to UnRAVeL
| Source | Author(s) |
|---|---|
| [Contribution to a conference proceedings, Journal Article] Weighted programming : a programming paradigm for specifying mathematical models In: Proceedings of the ACM on programming languages : (PACMPL), 66, 2022 [DOI: 10.1145/3527310] | Batz, Kevin (Corresponding author) Gallus, Adrian (Corresponding author) Kaminski, Benjamin Lucien (Corresponding author) Katoen, Joost-Pieter (Corresponding author) Winkler, Tobias (Corresponding author) |
| [Journal Article] Probabilistic Data with Continuous Distributions In: ACM SIGMOD record, 50 (1), 69-76, 2021 [DOI: 10.1145/3471485.3471502] | Grohe, Martin (Corresponding author) Kaminski, Benjamin Lucien Katoen, Joost-Pieter Lindner, Peter |
| [Contribution to a book, Contribution to a conference proceedings] Generating Functions for Probabilistic Programs In: Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings / edited by Maribel Fernández, 231-248, 2021 | Klinkenberg, Lutz (Corresponding author) Batz, Kevin Kaminski, Benjamin Lucien Katoen, Joost-Pieter Moerman, Joshua et al. |
| [Report] UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020 | Katoen, Joost-Pieter Ritzert, Martin Wilke, Richard Marlon Dannert, Katrin M. Lindner, Peter et al. |
| [Contribution to a book, Contribution to a conference proceedings] Generative Datalog with Continuous Distributions In: PODS'20 : Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, June 14 -19, 2020, Portland, OR USA / General Chair: Dan Suciu (University of Washington, USA); Program Chair: Yufei Tao; Proceedings Chair: Zhewei Wei, 347-360, 2020 [DOI: 10.1145/3375395.3387659] | Grohe, Martin (Corresponding author) Kaminski, Benjamin Lucien (Corresponding author) Katoen, Joost-Pieter (Corresponding author) Lindner, Peter (Corresponding author) |
| [Conference Presentation, Journal Article] Aiming low is harder: induction for lower bounds in probabilistic program verification In: Proceedings of the ACM on programming languages, 4 (POPL), 1-28, 2020 [DOI: 10.1145/3371105] | Hark, Marcel Tobias (Corresponding author) Kaminski, Benjamin Lucien Giesl, Jürgen Katoen, Joost-Pieter |
| [Dissertation / PhD Thesis] Advanced weakest precondition calculi for probabilistic programs, 2019 [DOI: 10.18154/RWTH-2019-01829] | Kaminski, Benjamin Lucien |
| [Contribution to a conference proceedings, Journal Article] Quantitative separation logic: a logic for reasoning about probabilistic pointer programs In: Proceedings of the ACM on programming languages, 3 (POPL), 34, 2019 [DOI: 10.1145/3290347] | Batz, Kevin (Corresponding author) Kaminski, Benjamin Lucien (Corresponding author) Katoen, Joost-Pieter (Corresponding author) Matheja, Christoph (Corresponding author) Noll, Thomas (Corresponding author) |
| [Journal Article] On the hardness of analyzing probabilistic programs In: Acta informatica, 56 (3), 255-285, 2018 [DOI: 10.1007/s00236-018-0321-1] | Kaminski, Benjamin Lucien (Corresponding author) Katoen, Joost-Pieter (Corresponding author) Matheja, Christoph (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] Rule-Based Conditioning of Probabilistic Data In: Scalable Uncertainty Management : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / edited by Davide Ciucci, Gabriella Pasi, Barbara Vantaggi, 290-305, 2018 [DOI: 10.1007/978-3-030-00461-3_20] | van Keulen, Maurice (Corresponding author) Kaminski, Benjamin Lucien Matheja, Christoph Katoen, Joost-Pieter |
| [Journal Article] Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms In: Journal of the ACM : JACM, 65 (5), 30:1-30:68, 2018 [DOI: 10.1145/3208102] | Kaminski, Benjamin Lucien (Corresponding author) Katoen, Joost-Pieter (Corresponding author) Matheja, Christoph (Corresponding author) Olmedo, Federico (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] How long, O Bayesian network, will I sample thee? : A program analysis perspective on expected sampling times In: Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed, 186-213, 2018 [DOI: 10.1007/978-3-319-89884-1_7] | Batz, Kevin (Corresponding author) Kaminski, Benjamin Lucien (Corresponding author) Katoen, Joost-Pieter (Corresponding author) Matheja, Christoph (Corresponding author) |
| [Contribution to a conference proceedings, Journal Article] A new proof rule for almost-sure termination In: Proceedings of the ACM on Programming Languages, 2, 33:1-33:28, 2018 [DOI: 10.1145/3158121] | McIver, Annabelle (Corresponding author) Morgan, Carroll (Corresponding author) Kaminski, Benjamin Lucien (Corresponding author) Katoen, Joost-Pieter (Corresponding author) |
| [Journal Article] Conditioning in Probabilistic Programming In: ACM transactions on programming languages and systems : ACM TOPLAS, 40 (1), 4, 2017 [DOI: 10.1145/3156018] | Olmedo, Federico (Corresponding author) Gretz, Friedrich (Corresponding author) Jansen, Nils (Corresponding author) Kaminski, Benjamin Lucien (Corresponding author) Katoen, Joost-Pieter (Corresponding author) et al. |
Similar Topics
- Dissertation: Advanced Weakest Precondition Calculi for Probabilistic Programs
- Dissertation: Advanced Weakest Precondition Calculi for Probabilistic Programs
- Talk: Proving Almost-Sure Termination with Non-Ranking Super Martingales
- Bi-Weekly Talk: Quantitative Separation Logic
- Accepted Paper "Generative Datalog with Continuous Distributions" by PODS 2020