Benjamin Lucien Kaminski

Ionotropic Receptors Specify the Morphogenesis of Phasic Sensors Controlling Rapid Thermal Preference in Drosophila

Gonzalo Budelli, Lina Ni, Cristina Berciu et al. · Neuron · 2019 · 133 citations

Biology, Pheromone Biochemistry, Molecular Physiology +12

A new proof rule for almost-sure termination

Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski et al. · Proceedings of the ACM on Programming Languages · 2017 · 95 citations · Full text

Source Code, Engineering, Automated Reasoning +15

Reasoning about Recursive Probabilistic Programs

Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen et al. · 2016 · 84 citations

Programming Language Theory, Engineering, Automated Reasoning +14

Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja et al. · Journal of the ACM · 2018 · 81 citations · Full text

Weakest Precondition, Engineering, Computational Complexity +16

Conditioning in Probabilistic Programming

Federico Olmedo, Friedrich Gretz, Nils Jansen et al. · ACM Transactions on Programming Languages and Systems · 2018 · 57 citations · Full text

Mathematical Programming, Engineering, Probabilistic Computation +17