Philipp G. Haselwarter
Orcid: 0000-0003-0198-7751
According to our database1,
Philipp G. Haselwarter
authored at least 15 papers
between 2016 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
0
1
2
3
4
5
6
7
1
4
3
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Proc. ACM Program. Lang., 2025
2024
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs - Coq Artifact.
Dataset, June, 2024
Proc. ACM Program. Lang., January, 2024
Proc. ACM Program. Lang., 2024
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs.
Proc. ACM Program. Lang., 2024
2023
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic - Coq Artifact.
Dataset, October, 2023
ACM Trans. Program. Lang. Syst., September, 2023
IACR Cryptol. ePrint Arch., 2023
2021
IACR Cryptol. ePrint Arch., 2021
2020
Proceedings of the Mathematical Software - ICMS 2020, 2020
2016
Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016