Techniques for Scaling Up Analyses Based on Pre-interpretations. - John P. Gallagher; Kim S. Henriksen; Gourinath Banda (ICLP, 2005)

Experiments with a Convex Polyhedral Analysis Tool for Logic Programs - Kim S. Henriksen; Gourinath Banda; John P. Gallagher (CoRR, 2007)

Analysis of Linear Hybrid Systems in CLP. - Gourinath Banda; John P. Gallagher (LOPSTR, 2008)

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation. - Gourinath Banda; John P. Gallagher (LPAR (Dakar), 2010)

An IoT Protocol and Framework for OEMs to Make IoT-Enabled Devices forward Compatible. - Gourinath Banda; Krishna Chaitanya; Harsh Mohan (SITIS, 2015)

One IoT: an IoT protocol and framework for OEMs to make IoT-enabled devices forward compatible. - Gourinath Banda; Chaitanya Krishna Bommakanti; Harsh Mohan (J. Reliab. Intell. Environ., 2016)

Autonomous Intersection Management: A Heuristic Approach. - Aaditya Prakash Chouhan; Gourinath Banda (IEEE Access, 2018)

HarSaRK-RS: Hard Safe Real-Time Kernel in Rust. - Kanishkar Jothibasu; Gourinath Banda (Intelligent Environments (Workshops), 2020)

A Cooperative Algorithm for Lane Sorting of Autonomous Vehicles. - Aaditya Prakash Chouhan; Gourinath Banda; Kanishkar Jothibasu (IEEE Access, 2020)

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. - Aaditya Prakash Chouhan; Gourinath Banda (Sensors, 2020)

Email Validation & Arbitration Framework and Platform based on Blockchain for Legal Matters. - B. Rushya Sree Reddy; Atche Sravya; Gourinath Banda (ANTS, 2021)

A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing. - Atul Thakur; Raju Halder; Gourinath Banda; Rajarshi Ray 001; Ansuman Bhattacharya; Satyendra R. Nishad (AIR, 2021)

Development of a Lizard-Inspired Wall-Climbing Robot Using Pressure Sensitive Adhesion. - Satyendra R. Nishad; Raju Halder; Gourinath Banda; Atul Thakur (IEEE Access, 2022)

A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots. - Rajeshwar Yadav; Raju Halder; Atul Thakur; Gourinath Banda (AIR, 2023)

PAVeDS: A Synthetic Dataset for Developing Autonomous Personal Aerial Vehicles. - Deepak Prasad; S. Thanikai Adhithiyan; Kondru Thanmai; Gourinath Banda (IEEE Access, 2023)

Masked Autoencoders for Spatial-Temporal Relationship in Video-Based Group Activity Recognition. - Rajeshwar Yadav; Raju Halder; Gourinath Banda (IEEE Access, 2024)

A novel IoT-device management platform for on-the-fly generation of user interface via manifest-file addressing heterogeneity. - Nayancy Gupta; Gourinath Banda; Chaitanya Krishna Bommakanti; Venkata Srinivas Kothapalli (PeerJ Comput. Sci., 2024)

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 (COMSNETS, 2025)

Demonstration of an Application Layer Omni-frequency IoT Protocol. - Nayancy Gupta; Lokesh Peddamalla; Veman Sai Prabhath Mendu; Gourinath Banda (COMSNETS, 2025)

RISE: Modular Blockchain-Integrated Enhancements for Reducing Food Waste and Boosting Retail Accountability. - Rishika Sharma; Gourinath Banda (COMSNETS, 2025)

A Hard Real-Time Kernel for CPIoT Systems With Safety Features in Rust. - Nayancy Gupta; Gourinath Banda; Neminath Hubballi; K. V. Srinivas 001 (IEEE Access, 2025)