thesis Đorđe Žikelić author KrCh department The artefact for the OOPSLA 2024 paper "Quantitative Bounds on Resource Usage of Probabilistic Programs". Zenodo2024 10.5281/zenodo.10457565 https://research-explorer.ista.ac.at/record/17162   Žikelić Đ. Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs. 2024. doi:<a href="https://doi.org/10.5281/zenodo.10457565">10.5281/zenodo.10457565</a> Đ.   Žikelić, (2024).   Žikelić Đ. 2024. Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs, Zenodo, <a href="https://doi.org/10.5281/zenodo.10457565">10.5281/zenodo.10457565</a>.   Žikelić, Đorđe. “Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs.” Zenodo, 2024. <a href="https://doi.org/10.5281/zenodo.10457565">https://doi.org/10.5281/zenodo.10457565</a>. Đ.   Žikelić, “Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs.” Zenodo, 2024.   Žikelić, Đ. (2024). Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs. Zenodo. <a href="https://doi.org/10.5281/zenodo.10457565">https://doi.org/10.5281/zenodo.10457565</a>   Žikelić, Đorđe. <i>Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs</i>. Zenodo, 2024, doi:<a href="https://doi.org/10.5281/zenodo.10457565">10.5281/zenodo.10457565</a>. 231402026-10-15T10:02:22Z2026-10-15T10:02:33Z