Nima Rasekh
Orcid: 0000-0003-0766-2755
According to our database1,
Nima Rasekh
authored at least 4 papers
between 2018 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025
2024
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024
2023
2018
CoRR, 2018