Benjamin Lucien Kaminski

Author

RWTH Aachen University ORCID

Also Known As

Benjamin Kaminski, Benjamin L. Kaminski, Benjamin Lucien Kaminski, Kaminski, Benjamin, Kaminski, Benjamin Lucien

Publications

1.2K

Citations

H-Index

Concepts

All Affiliations

RWTH Aachen University University College London Saarland University Macquarie University University of Chile

About

Benjamin Lucien Kaminski is an author at RWTH Aachen University specializing in formal methods, computer science, and engineering.

Top Concepts

#	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

Publications

810

Citations

H-Index

Page 1

	Year	Citations
Ionotropic Receptors Specify the Morphogenesis of Phasic Sensors Controlling Rapid Thermal Preference in Drosophila Gonzalo Budelli, Lina Ni, Cristina Berciu, Neuron BiologyPheromone BiochemistryMolecular PhysiologyDevelopmental BiologySignal Transduction	2019	133
A new proof rule for almost-sure termination Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Proceedings of the ACM on Programming Languages Source CodeEngineeringAutomated ReasoningProof ComplexityVerification	2017	95
Reasoning about Recursive Probabilistic Programs Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Programming Language TheoryEngineeringAutomated ReasoningProgram AnalysisProbabilistic System	2016	84
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Journal of the ACM Weakest PreconditionEngineeringComputational ComplexityProbabilistic ComputationTermination Time	2018	81
Conditioning in Probabilistic Programming Federico Olmedo, Friedrich Gretz, Nils Jansen, ACM Transactions on Programming Languages and Systems Mathematical ProgrammingEngineeringProbabilistic ComputationSoftware AnalysisOperational Semantics	2018	57
Aiming low is harder: induction for lower bounds in probabilistic program verification Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Proceedings of the ACM on Programming Languages Mathematical ProgrammingProgram CheckingEngineeringVerificationComputer-aided Verification	2019	42
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Proceedings of the ACM on Programming Languages	2019	41
On the hardness of analyzing probabilistic programs Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja Acta Informatica Mathematical ProgrammingEngineeringProbabilistic ProgramsAutomated ReasoningProbabilistic System	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
A New Proof Rule for Almost-Sure Termination Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, arXiv (Cornell University)	2017	27

Page 1