[{"author":[{"full_name":"  Žikelić, Đorđe","first_name":"Đorđe","last_name":"  Žikelić"}],"abstract":[{"text":"The artefact for the OOPSLA 2024 paper \"Quantitative Bounds on Resource Usage of Probabilistic Programs\".\r\n\r\n","lang":"eng"}],"oa_version":"None","OA_type":"green","article_processing_charge":"No","date_created":"2026-10-15T10:02:22Z","doi":"10.5281/zenodo.10457565","citation":{"ista":"  Ž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>.","ieee":"Đ.   Žikelić, “Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs.” Zenodo, 2024.","chicago":"  Ž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>.","ama":"  Ž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>","short":"Đ.   Žikelić, (2024).","mla":"  Ž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>.","apa":"  Ž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>"},"year":"2024","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"17162"}]},"department":[{"_id":"KrCh"}],"type":"research_data_reference","status":"public","month":"03","oa":1,"date_published":"2024-03-05T00:00:00Z","OA_place":"repository","day":"05","_id":"23140","date_updated":"2026-10-15T10:02:33Z","fulldoi":"https://doi.org/10.5281/zenodo.10457565","contributor":[{"first_name":"Tobias","contributor_type":"contact_person","last_name":"Meggendorfer"}],"publisher":"Zenodo","main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/zenodo.10457565"}],"ddc":["000"],"title":"Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs"}]