Ritam Ganguly
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2020–2025
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ITiCSE | Socio-Demographic and Academic Factors in Extension Policy Usage: A Mixed-Method Study in Computing Education. | Ritam Ganguly, Jeya Amantha Kumar, Caitlin K. Kirby |
| 2022 | ICDCS | Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. | Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy |
| 2021 | SRDS | Runtime Verification for Blockchains. | Ritam Ganguly |
| 2020 | OPODIS | Distributed Runtime Verification Under Partial Synchrony. | Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour |