Federico Olmedo
Orcid: 0000-0003-0217-6483Affiliations:
- University of Chile, Chile
- RWTH Aachen University, Germany (former)
- IMDEA Software Institute, Madrid, Spain (former)
According to our database1,
Federico Olmedo
authored at least 21 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
2
2
1
1
1
1
2
1
1
1
2
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024
2023
ACM Trans. Program. Lang. Syst., June, 2023
2022
Sci. Comput. Program., 2022
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
2020
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
2019
2018
J. ACM, 2018
2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the Programming Languages and Systems, 2016
2015
Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015
2014
2013
ACM Trans. Program. Lang. Syst., 2013
Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs.
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
2011
Proceedings of the Provable Security - 5th International Conference, 2011
2009
Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009