DOI,IST REx ID,Research Group,Title of publication
10.1145/3649824,17162,KrCh,Quantitative bounds on resource usage of probabilistic programs