Benjamin Lucien Kaminski

Cited by

	All	Since 2018
Citations	919	797
h-index	16	16
i10-index	20	20

180

135

2012201320142015201620172018201920202021202220236 5 3 18 30 52 70 151 137 158 162 116

Public access

View all

18 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Christoph MathejaAssistant Professor, Technical University of Denmark (DTU)Verified email at dtu.dk
Federico OlmedoUniversity of ChileVerified email at dcc.uchile.cl
Kevin BatzPhD Student, RWTH Aachen UniversityVerified email at rwth-aachen.de
Nils JansenAssociate Professor, Radboud University NijmegenVerified email at science.ru.nl
Annabelle McIverMacquarie UniversityVerified email at mq.edu.au
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
Carroll MorganProfessor, University of New South Wales and DATA61Verified email at unsw.edu.au
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityVerified email at zju.edu.cn
Philipp SchröerRWTH Aachen UniversityVerified email at rwth-aachen.de
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
Justin HsuCornell UniversityVerified email at justinhsu.net
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityVerified email at embedded.rwth-aachen.de
Klaus WehrleProfessor at RWTH Aachen UniversityVerified email at comsys.rwth-aachen.de
Carsten Weiseimbus AGVerified email at imbus.de
Dr. Raimondas SasnauskasIndependent Researcher (prev. University of Luxembourg, University of Utah, RWTH Aachen UniversityVerified email at sasnauskas.eu
Martin GroheProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
Peter LindnerEPFLVerified email at epfl.ch
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl

Benjamin Lucien Kaminski

Professor of Computer Science at Saarland University and Lecturer at University College London

Verified email at cs.uni-saarland.de - Homepage

formal methods quantitative verification program verification program logic probabilistic programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs BL Kaminski, JP Katoen, C Matheja, F Olmedo European Symposium on Programming (ESOP) 9632, 364-389, 2016	134	2016
Reasoning about Recursive Probabilistic Programs F Olmedo, BL Kaminski, JP Katoen, C Matheja Logic in Computer Science (LICS), 672-681, 2016	92	2016
A New Proof Rule for Almost-Sure Termination A McIver, C Morgan, BL Kaminski, JP Katoen Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017	79*	2017
Conditioning in Probabilistic Programming F Olmedo, F Gretz, N Jansen, BL Kaminski, JP Katoen, A McIver ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (1), 1-50, 2018	74*	2018
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms BL Kaminski, JP Katoen, C Matheja, F Olmedo Journal of the ACM (J.ACM) 65 (5), 1-68, 2018	63	2018
On the Hardness of Almost–sure Termination BL Kaminski, JP Katoen Mathematical Foundations of Computer Science (MFCS), 307-318, 2015	57	2015
Quantitative Separation Logic: A Logic for Reasoning about Probabilistic Pointer Programs K Batz, BL Kaminski, JP Katoen, C Matheja, T Noll Proceedings of the ACM on Programming Languages 3 (POPL), 34, 2019	52*	2019
Optimistic Value Iteration A Hartmanns, BL Kaminski Computer Aided Verification (CAV), 488-511, 2020	38	2020
On the Hardness of Analyzing Probabilistic Programs BL Kaminski, JP Katoen, C Matheja Acta Informatica 56 (3), 255-285, 2019	38	2019
Advanced Weakest Precondition Calculi for Probabilistic Programs BL Kaminski Rheinisch-Westfälische Technische Hochschule Aachen, 2019	37	2019
Scalable Symbolic Execution of Distributed Systems R Sasnauskas, OS Dustmann, BL Kaminski, K Wehrle, C Weise, ... International Conference on Distributed Computing Systems (ICDCS), 333-342, 2011	34	2011
Aiming low is harder: Induction for Lower Bounds in Probabilistic Program Verification M Hark, BL Kaminski, J Giesl, JP Katoen Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2020	33*	2020
How long, O Bayesian network, will I sample thee? K Batz, BL Kaminski, JP Katoen, C Matheja European Symposium on Programming (ESOP), 186-213, 2018	27*	2018
Bounded Model Checking for Probabilistic Programs N Jansen, C Dehnert, BL Kaminski, JP Katoen, L Westhofen Automated Technology for Verification and Analysis (ATVA) 9938, 68, 2016	23	2016
A Weakest Pre-expectation Semantics for Mixed-sign Expectations BL Kaminski, JP Katoen Logic In Computer Science (LICS), 1-12, 2017	21	2017
Understanding Probabilistic Programs JP Katoen, F Gretz, N Jansen, BL Kaminski, F Olmedo Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the …, 2015	21	2015
Relatively Complete Verification of Probabilistic Programs: An Expressive Language for Expectation-based Reasoning K Batz, BL Kaminski, JP Katoen, C Matheja Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021	16*	2021
A Pre-expectation Calculus for Probabilistic Sensitivity A Aguirre, G Barthe, J Hsu, BL Kaminski, JP Katoen, C Matheja Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021	15	2021
Latticed k-Induction with an Application to Probabilistic Programs K Batz, M Chen, BL Kaminski, JP Katoen, C Matheja, P Schröer International Conference on Computer Aided Verification (CAV), 524-549, 2021	12	2021
Generative Datalog with Continuous Distributions M Grohe, BL Kaminski, JP Katoen, P Lindner Principles of Database Systems (PODS), 347-360, 2020	11	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors