Gourinath Banda

Orcid: 0000-0003-1447-4330

According to our database1, Gourinath Banda authored at least 15 papers between 2005 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
PAVeDS: A Synthetic Dataset for Developing Autonomous Personal Aerial Vehicles.
IEEE Access, 2023

A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots.
Proceedings of the 2023 6th International Conference on Advances in Robotics, 2023

2022
Development of a Lizard-Inspired Wall-Climbing Robot Using Pressure Sensitive Adhesion.
IEEE Access, 2022

2021
A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing.
Proceedings of the AIR 2021: Advances in Robotics - 5th International Conference of The Robotics Society, Kanpur, India, 30 June 2021, 2021

Email Validation & Arbitration Framework and Platform based on Blockchain for Legal Matters.
Proceedings of the IEEE International Conference on Advanced Networks and Telecommunications Systems, 2021

2020
Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking.
Sensors, 2020

A Cooperative Algorithm for Lane Sorting of Autonomous Vehicles.
IEEE Access, 2020

HarSaRK-RS: Hard Safe Real-Time Kernel in Rust.
Proceedings of the Intelligent Environments 2020, 2020

2018
Autonomous Intersection Management: A Heuristic Approach.
IEEE Access, 2018

2016
One IoT: an IoT protocol and framework for OEMs to make IoT-enabled devices forward compatible.
J. Reliab. Intell. Environ., 2016

2015
An IoT Protocol and Framework for OEMs to Make IoT-Enabled Devices forward Compatible.
Proceedings of the 11th International Conference on Signal-Image Technology & Internet-Based Systems, 2015

2010
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2008
Analysis of Linear Hybrid Systems in CLP.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

2007
Experiments with a Convex Polyhedral Analysis Tool for Logic Programs
CoRR, 2007

2005
Techniques for Scaling Up Analyses Based on Pre-interpretations.
Proceedings of the Logic Programming, 21st International Conference, 2005


  Loading...