4 papers
A Bunched Logic for Conditional Independence
Jialu Bao, Simon Docherty, Justin Hsu +1
Independence and conditional independence are fundamental concepts for reasoning about groups of random variables in probabilistic programs. Verification methods for independence a…
On some new moments of Gamma type
Tetyana Kadankova, Thomas Simon, Min Wang
We investigate certain positive random variables having moments of Gamma type. Some necessary and some sufficient conditions are given for their existence. In particular, we observ…
Busy period, time of the first loss of a customer and the number of customers in
Tetyana Kadankova, Victor Kadankov, Noel Veraverbeke
A two-sided exit problem is solved for a difference of a compound Poisson process and a compound renewal process. More precisely, the Laplace transforms of the joint distribution o…
Exit problems for oscillating compound Poisson process
Tetyana Kadankova
In this article we determine the Laplace transforms of the main boundary functionals of the oscillating compound Poisson process. These are the first passage time of the level, the…