Author
Benjamin Lucien Kaminski
Also Known As
Benjamin Kaminski, Benjamin L. Kaminski, Benjamin Lucien Kaminski, Kaminski, Benjamin, Kaminski, Benjamin Lucien
80
Publications
1.2K
Citations
19
H-Index
61
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 13 | 17 | 588 |
2 | Language Studies | 2 | 2 | 31 |
3 | Management | 2 | 2 | 75 |
4 | Health Sciences | 1 | 1 | 133 |
5 | Medicine | 1 | 1 | 133 |
Benjamin Lucien Kaminski
×
21
Publications
810
Citations
16
H-Index
| Year | Citations | |
|---|---|---|
2019 | 133 | |
2017 | 95 | |
2016 | 84 | |
2018 | 81 | |
2018 | 57 | |
2019 | 42 | |
2019 | 41 | |
2018 | 40 | |
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Proceedings of the ACM on Programming Languages Program CheckingEngineeringVerificationComputer-aided VerificationAutomated Proof | 2021 | 28 |
2017 | 27 |
Page 1
Page 1