Disha Puri
According to our database1,
Disha Puri
authored at least 3 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 25th International Symposium on Quality Electronic Design, 2024
2014
Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014