Benjamin Lucien Kaminski

1.2k total citations
24 papers, 347 citations indexed

About

Benjamin Lucien Kaminski is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Benjamin Lucien Kaminski has authored 24 papers receiving a total of 347 indexed citations (citations by other indexed papers that have themselves been cited), including 19 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 4 papers in Software. Recurrent topics in Benjamin Lucien Kaminski's work include Logic, programming, and type systems (15 papers), Formal Methods in Verification (14 papers) and Logic, Reasoning, and Knowledge (12 papers). Benjamin Lucien Kaminski is often cited by papers focused on Logic, programming, and type systems (15 papers), Formal Methods in Verification (14 papers) and Logic, Reasoning, and Knowledge (12 papers). Benjamin Lucien Kaminski collaborates with scholars based in Germany, United Kingdom and Australia. Benjamin Lucien Kaminski's co-authors include Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo, Annabelle McIver, Carroll Morgan, Zachary A. Knecht, Cristina Berciu, Gonzalo Budelli, Lena van Giesen and Mason Klein and has published in prestigious journals such as Neuron, SHILAP Revista de lepidopterología and Journal of the ACM.

In The Last Decade

Benjamin Lucien Kaminski

23 papers receiving 345 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Benjamin Lucien Kaminski Germany 11 241 198 77 63 35 24 347
Bruno Zanuttini France 10 107 0.4× 78 0.4× 11 0.1× 63 1.0× 72 2.1× 27 303
Michael G. Main United States 11 313 1.3× 272 1.4× 48 0.6× 9 0.1× 39 1.1× 33 515
Dominique Cansell France 7 70 0.3× 77 0.4× 34 0.4× 4 0.1× 45 1.3× 26 173
Max Dauchet France 14 317 1.3× 257 1.3× 10 0.1× 8 0.1× 21 0.6× 33 473
Ricardo Rocha Portugal 8 144 0.6× 31 0.2× 27 0.4× 3 0.0× 72 2.1× 47 315
Jaroslav Král Czechia 6 70 0.3× 34 0.2× 4 0.1× 99 1.6× 37 1.1× 35 272
André Stauffer Switzerland 16 438 1.8× 313 1.6× 7 0.1× 54 0.9× 70 2.0× 57 814
Sheng Liang China 6 285 1.2× 122 0.6× 71 0.9× 1 0.0× 63 1.8× 17 375
Tom Arbuckle Ireland 9 84 0.3× 29 0.1× 12 0.2× 2 0.0× 40 1.1× 18 253
Luca Tesei Italy 10 48 0.2× 136 0.7× 30 0.4× 3 0.0× 25 0.7× 43 280

Countries citing papers authored by Benjamin Lucien Kaminski

Since Specialization
Citations

This map shows the geographic impact of Benjamin Lucien Kaminski's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Benjamin Lucien Kaminski with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Benjamin Lucien Kaminski more than expected).

Fields of papers citing papers by Benjamin Lucien Kaminski

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Benjamin Lucien Kaminski. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Benjamin Lucien Kaminski. The network helps show where Benjamin Lucien Kaminski may publish in the future.

Co-authorship network of co-authors of Benjamin Lucien Kaminski

This figure shows the co-authorship network connecting the top 25 collaborators of Benjamin Lucien Kaminski. A scholar is included among the top collaborators of Benjamin Lucien Kaminski based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Benjamin Lucien Kaminski. Benjamin Lucien Kaminski is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Kaminski, Benjamin Lucien. (2025). Replicable theory. International Journal on Software Tools for Technology Transfer. 27(4). 411–414.
2.
Kaminski, Benjamin Lucien, et al.. (2024). Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers. Proceedings of the ACM on Programming Languages. 8(OOPSLA2). 817–845. 3 indexed citations
3.
Kaminski, Benjamin Lucien, et al.. (2023). A Deductive Verification Infrastructure for Probabilistic Programs. Proceedings of the ACM on Programming Languages. 7(OOPSLA2). 2052–2082. 3 indexed citations
4.
Chen, Mingshuai, et al.. (2023). Lower Bounds for Possibly Divergent Probabilistic Programs. Proceedings of the ACM on Programming Languages. 7(OOPSLA1). 696–726. 4 indexed citations
5.
Kaminski, Benjamin Lucien, et al.. (2023). A Calculus for Amortized Expected Runtimes. Proceedings of the ACM on Programming Languages. 7(POPL). 1957–1986. 9 indexed citations
6.
Kaminski, Benjamin Lucien, et al.. (2022). Quantitative strongest post: a calculus for reasoning about the flow of quantitative information. Proceedings of the ACM on Programming Languages. 6(OOPSLA1). 1–29. 9 indexed citations
7.
Kaminski, Benjamin Lucien, et al.. (2022). Weighted programming: a programming paradigm for specifying mathematical models. Proceedings of the ACM on Programming Languages. 6(OOPSLA1). 1–30. 10 indexed citations
8.
Grohe, Martin, Benjamin Lucien Kaminski, Joost-Pieter Katoen, & Peter Lindner. (2022). Generative Datalog with Continuous Distributions. Journal of the ACM. 69(6). 1–52. 2 indexed citations
9.
Thibodeau, Ryan, et al.. (2021). Mucoepidermoid carcinoma of the thymus incidentally diagnosed following two-years of non-productive cough. SHILAP Revista de lepidopterología. 16(8). 2158–2163. 1 indexed citations
10.
Grohe, Martin, Benjamin Lucien Kaminski, Joost-Pieter Katoen, & Peter Lindner. (2020). Generative Datalog with Continuous Distributions. 20. 347–360. 2 indexed citations
11.
Budelli, Gonzalo, Lina Ni, Cristina Berciu, et al.. (2019). Ionotropic Receptors Specify the Morphogenesis of Phasic Sensors Controlling Rapid Thermal Preference in Drosophila. Neuron. 101(4). 738–747.e3. 72 indexed citations
12.
Kaminski, Benjamin Lucien, et al.. (2019). Quantitative separation logic: a logic for reasoning about probabilistic pointer programs. Proceedings of the ACM on Programming Languages. 3(POPL). 1–29. 24 indexed citations
13.
Kaminski, Benjamin Lucien, Joost-Pieter Katoen, & Christoph Matheja. (2018). On the hardness of analyzing probabilistic programs. Acta Informatica. 56(3). 255–285. 16 indexed citations
14.
Kaminski, Benjamin Lucien, Joost-Pieter Katoen, Christoph Matheja, & Federico Olmedo. (2018). Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms. Journal of the ACM. 65(5). 1–68. 29 indexed citations
15.
Kaminski, Benjamin Lucien & Joost-Pieter Katoen. (2017). A weakest pre-expectation semantics for mixed-sign expectations. arXiv (Cornell University). 1–12. 6 indexed citations
16.
McIver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, & Joost-Pieter Katoen. (2017). A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. 2(POPL). 1–28. 37 indexed citations
17.
McIver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, & Joost-Pieter Katoen. (2017). A New Proof Rule for Almost-Sure Termination. arXiv (Cornell University). 13 indexed citations
18.
Olmedo, Federico, Benjamin Lucien Kaminski, Joost-Pieter Katoen, & Christoph Matheja. (2016). Reasoning about Recursive Probabilistic Programs. 672–681. 38 indexed citations
19.
Jansen, Nils, et al.. (2015). Conditioning in Probabilistic Programming. Electronic Notes in Theoretical Computer Science. 319. 199–216. 4 indexed citations
20.
Sasnauskas, Raimondas, et al.. (2011). Scalable Symbolic Execution of Distributed Systems. 333–342. 17 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Bruno Zanuttini Breakdown of academic impact, for papers by Michael G. Main Breakdown of academic impact, for papers by Dominique Cansell Breakdown of academic impact, for papers by Max Dauchet Breakdown of academic impact, for papers by Ricardo Rocha Breakdown of academic impact, for papers by Jaroslav Král Breakdown of academic impact, for papers by André Stauffer Breakdown of academic impact, for papers by Sheng Liang Breakdown of academic impact, for papers by Tom Arbuckle Breakdown of academic impact, for papers by Luca Tesei
Rankless by CCL
2026