Sander R. Dahmen
Orcid: 0000-0002-0014-0789
According to our database1,
Sander R. Dahmen
authored at least 7 papers
between 2010 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
1
1
1
2
1
1
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
2023
Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
2022
J. Autom. Reason., 2022
2021
2019
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
2010
Proceedings of the Algorithmic Number Theory, 9th International Symposium, 2010