Daniel Zackon
Orcid: 0009-0008-6153-2955
According to our database1,
Daniel Zackon
authored at least 2 papers
between 2024 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025
2024
Proceedings of the Coordination Models and Languages, 2024