Bhargav Nagaraja Bhatt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2025
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AFT | Trustless Bridges via Random Sampling Light Clients. | Bhargav Nagaraja Bhatt, Fatemeh Shirazi, Alistair Stewart |
| 2018 | ATVA | Optimal Proofs for Linear Temporal Logic on Lasso Words. | David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel |
| 2017 | TACAS | Almost Event-Rate Independent Monitoring of Metric Temporal Logic. | David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel |