Diptarko Roy
Orcid: 0009-0003-4306-2076
According to our database1,
Diptarko Roy
authored at least 5 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
3
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024
2023
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems.
CoRR, 2023
Proceedings of the 34th International Conference on Concurrency Theory, 2023
2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021