Publications

Stats

Picture of Federico Olmedo

Publications of Federico Olmedo

(if a year does not appear in the list, it is because there are no records for that particular year)

Year 2025

1. Slicing of Probabilistic Programs: A Review of Existing Approaches.
Journal: ACM Computing Surveys. Volume: 58. Issue: 3. Pages: 74:1-74:40. Date: August 2025.
Authors: Federico Olmedo
View reference page