Benjamin Lucien Kaminski

Citované v

	Všetky	Od 2020
Citácie	1461	1096
h-index	22	21
i10-index	30	27

380

190

285

201220132014201520162017201820192020202120222023202420256 5 3 17 32 51 79 152 143 157 165 202 369 55

Verejný prístup

všetky položky

20 článkov

0 článkov

dostupné

nedostupné

Na základe mandátov na financovanie

Spoluautori

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteOverená e-mailová adresa na: cs.rwth-aachen.de
Christoph MathejaProfessor of Theory of Correct Systems, University of OldenburgOverená e-mailová adresa na: uol.de
Kevin BatzPostDoc, University College LondonOverená e-mailová adresa na: rwth-aachen.de
Federico OlmedoUniversity of ChileOverená e-mailová adresa na: dcc.uchile.cl
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumOverená e-mailová adresa na: rub.de
Annabelle McIverMacquarie UniversityOverená e-mailová adresa na: mq.edu.au
Philipp SchröerRWTH Aachen UniversityOverená e-mailová adresa na: cs.rwth-aachen.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenOverená e-mailová adresa na: ru.nl
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityOverená e-mailová adresa na: zju.edu.cn
Lena VerschtPhD student at RWTH Aachen and Saarland UniversityOverená e-mailová adresa na: cs.uni-saarland.de
Tobias WinklerPhD Candidate, Software Modeling and Verification Group, RWTH Aachen UniversityOverená e-mailová adresa na: cs.rwth-aachen.de
Linpeng ZhangPhD Student, UCLOverená e-mailová adresa na: ucl.ac.uk
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityOverená e-mailová adresa na: informatik.rwth-aachen.de
Carroll MorganProfessor, University of New South WalesOverená e-mailová adresa na: unsw.edu.au
Justin HsuCornell UniversityOverená e-mailová adresa na: justinhsu.net
Gilles BartheMPI-SP and IMDEA Software InstituteOverená e-mailová adresa na: mpi-sp.org
Alejandro AguirrePostdoc, Aarhus UniversityOverená e-mailová adresa na: cs.au.dk
Arnd HartmannsUniversity of TwenteOverená e-mailová adresa na: utwente.nl
Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityOverená e-mailová adresa na: embedded.rwth-aachen.de
Klaus WehrleProfessor at RWTH Aachen UniversityOverená e-mailová adresa na: comsys.rwth-aachen.de

Sledovať

Benjamin Lucien Kaminski

Ďalšie menáBenjamin Kaminski

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

Overená e-mailová adresa na: cs.uni-saarland.de - Domovská stránka

quantitative verification program logic probabilistic programming


Názov Zoradiť podľa citácií Zoradiť podľa roka Zoradiť podľa názvu	Citované v Citované v	Rok
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	166	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	117*	2017
Reasoning about Recursive Probabilistic Programs F Olmedo, BL Kaminski, JP Katoen, C Matheja Logic in Computer Science (LICS), 672-681, 2016	110	2016
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	109*	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	107	2018
Advanced Weakest Precondition Calculi for Probabilistic Programs BL Kaminski Rheinisch-Westfälische Technische Hochschule Aachen, 2019	77	2019
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	71	2019
Optimistic Value Iteration A Hartmanns, BL Kaminski Computer Aided Verification (CAV), 488-511, 2020	67	2020
On the Hardness of Almost–sure Termination BL Kaminski, JP Katoen Mathematical Foundations of Computer Science (MFCS), 307-318, 2015	66	2015
On the Hardness of Analyzing Probabilistic Programs BL Kaminski, JP Katoen, C Matheja Acta Informatica 56 (3), 255-285, 2019	57	2019
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	50	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	36*	2018
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	36	2011
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	34	2016
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	33	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	30	2021
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	29	2015
A Weakest Pre-expectation Semantics for Mixed-sign Expectations BL Kaminski, JP Katoen Logic In Computer Science (LICS), 1-12, 2017	28	2017
A Calculus for Amortized Expected Runtimes K Batz, BL Kaminski, JP Katoen, C Matheja, L Verscht Proceedings of the ACM on Programming Languages 7 (POPL), 1957-1986, 2023	27	2023
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants K Batz, M Chen, S Junges, BL Kaminski, JP Katoen, C Matheja Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2023	26	2023

Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.

Články 1–20

Citácie za rok

Duplicitné citácie

Zlúčené citácie

Pridať spoluautorovSpoluautori

Sledovať

Citované v

Spoluautori