Gourinath Banda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2005–2025
Best venue rank
National
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | COMSNETS | Advancing Software-Defined Vehicles: An End-to-End Framework with Digital Twin Based Attestation for OTA Updates. | Krish Agrawal, Rohan Jha, Nishkarsh Luthra, Pilla Venkata Sekhar, Hrishesh Sharma, Gourinath Banda |
| 2025 | COMSNETS | Demonstration of an Application Layer Omni-frequency IoT Protocol. | Nayancy Gupta, Lokesh Peddamalla, Veman Sai Prabhath Mendu, Gourinath Banda |
| 2025 | COMSNETS | RISE: Modular Blockchain-Integrated Enhancements for Reducing Food Waste and Boosting Retail Accountability. | Rishika Sharma, Gourinath Banda |
| 2010 | LPAR | Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation. | Gourinath Banda, John P. Gallagher |
| 2008 | LOPSTR | Analysis of Linear Hybrid Systems in CLP. | Gourinath Banda, John P. Gallagher |
| 2005 | ICLP | Techniques for Scaling Up Analyses Based on Pre-interpretations. | John P. Gallagher, Kim S. Henriksen, Gourinath Banda |