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