Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Benjamin Lucien Kaminski

A Deductive Verification Infrastructure for Probabilistic Programs

scientific article published on 16 October 2023

Generative Datalog with Continuous Distributions

scientific article published on 30 August 2022

Lower Bounds for Possibly Divergent Probabilistic Programs

scientific article published on 06 April 2023

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers

scientific article published on 08 October 2024

Quantitative strongest post: a calculus for reasoning about the flow of quantitative information

scientific article published in 2022

Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning

scientific article published on 04 January 2021

Weighted programming: a programming paradigm for specifying mathematical models

scientific article published in 2022

Paulina is supported by:

About Paulina

Help