Publications |
Journals and Conference |
1 AIR 2023 (conference) |
Rajeshwar Yadav, Raju Halder, Atul Thakur, Gourinath Banda: A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots. AIR 2023: 70:1-70:6 Access Link |
2 IEEE Access 2023 (Journal) |
Deepak Prasad, S. Thanikai Adhithiyan, Kondru Thanmai, Gourinath Banda: PAVeDS: A Synthetic Dataset for Developing Autonomous Personal Aerial Vehicles. IEEE Access 11: 101556-101566 (2023) Access Link |
3 JoI 2023:1 (Journal) |
Bhagawan, Lokesh, Rahul, Gourinath Banda Decentralized Review System for Transparent and Accountable Governance Journal of Innovation, 22 Ed., Industrial Internet Consortium, April 2023 Issue, Object Management Group, USA. Access Link |
4 JoI 2023:2 (Journal) |
Bhoomil, Neel, Niyati, Gourinath Banda BlockBill: The Blockchain-Powered PaperlessBilling Solution Journal of Innovation, 22 Ed., Industrial Internet Consortium, April 2023 Issue, Object Management Group, USA. Access Link |
5 IEEE Access 2022 (Journal) |
Satyendra R. Nishad, Raju Halder, Gourinath Banda, Atul Thakur Development of a Lizard-Inspired Wall-Climbing Robot Using Pressure Sensitive Adhesion. IEEE Access 10: 72535-72544 (June 2022) |
6 ICSCIS 2022 (conference) |
K. I. Vishnunaryan, Gourinath Banda HarSaRK_multi_rs: A Hard Real-time Kernel for Multi-core Microcontrollers in Rust Language International Conference on Smart Computing and Informatics SCI 2021, Proceedings Springer, 2022 Access Link |
7 AIR 2021 (conference) |
Satyendra, Gourinath Banda, Raju H., Atul T., Rajarshi R., Angshuman A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion2 Mechanism for Wall Climbing Advances in Robotics, 5th International Conference of The Robotics Society, June 2021 Access Link |
8 ANTS 2021 (conference) |
B. Rushya Sree Reddy, Atche Sravya, Gourinath Banda Email Validation & Arbitration Framework and Platform based on Blockchain for Legal Matters. ANTS 2021: 137-142 Access Link |
9 IEEE Access 2020 (Journal) |
AP Chouhan, Gourinath Banda, K Jothibasu A Cooperative Algorithm for Lane Sorting of Autonomous Vehicles IEEE Access 8, 88759-88768 (2020) Access Link |
10 ICSCSP 2020 (Conference) |
Souvik, Nikhil and Gourinath Banda Developing an Object and Event Detection and Recognition Module for Autonomous Vehicles Using Simulators (to appear in Springer AICS) (Accepted in June 2020) Access Link |
11 WORIE 2020 (Conference) |
Kanishkar Jothibasu and Gourinath Banda HarSaRK-RS: Hard Safe Real-Time Kernel in Rust Programming Language. In Proceedings, Workshop in Reliable Intelligent Envrionments 2020. Pages 62 - 71, Ambient Intelligence and Smart Environments Ebook, Volume 28: Intelligent Environments 2020, IOP Press (2020) Access Link |
12 Sensors 2020 (Journal) |
Aaditya Prakash Chouhan, Gourinath Banda Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking Sensors Journal, Volume20, Issue16. (2020) Access Link |
13 IEEE Access 2018 (Journal) |
Aditya Prakash Chauhan and Gourinath Banda Autonomous Intersection Management:A Heuristic Approach
IEEE Multidisciplinary Open Access Journal, Vol. 6, p53287-53295 (2018) Access Link |
14 IJITST'17 (Journal) |
Gourinath Banda, Krishna Chaitanya, Harsh Mohan, Manish Singh and Abhay Chandra A Forward Compatible IoT Protocol and Framework Addressing Concerns due to Internet-outage
International Journal of Internet Technology and Secured Transactions, Special Issue on "Advanced Methodologies and Challenges in Multimedia Data and Services in the Internet of Things", Vol. 7, Issue 3, p.193-217 (2017) Access Link |
15 JRIE'16 (Journal) |
Gourinath Banda, Krishna Chaitanya and Harsh Mohan One Iot: An Iot Protocol and Framework for OEMs to make Iot-enabled devices forward compatible
|
|
in Journal of Reliable Intelligent Environments, Aug 2016, ISSN: 2199-4668 Access Link |
16 SITIS'15 (Conference) |
Gourinath Banda, Krishna Chaitanya and Harsh Mohan An IoT Protocol and Framework for OEMs to Make IoT-Enabled Devices forward Compatible
Proceedings of the 11th International IEEE Conference on Signal-Image Technology Internet-Based Systems (SITIS) 2015, Bangkok, Thailand, November 23-27, 2015. (IEEE Explore ISBN: 978-1-4673-9721-6). |
17 LPAR'10 (Conference) |
Gourinath Banda and John P. Gallagher. Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation
In Edmund Clarke and Andrei Voronkov, editors, Proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR'2010 , volume 6355 of Springer-Verlag Lecture Notes in Computer Science, pages 27-45, 2010. Access Link |
18 WCLP'09 (Conference) |
Gourinath Banda and John P. Gallagher. Constraint-Based Abstraction of a Model Checker for Infinite State Systems. In Armin Wolf and Ulrich Geske, chairs, 23rd Workshop on (Constraint) Logic Programming, Potsdam, Germany September 15-16, Proceedings, 2009. Access Link |
19 LOPSTR'09 (Conference) |
Gourinath Banda and John P. Gallagher. Analysis of Linear Hybrid Systems in CLP. In M. Hanus, editor, LOPSTR 2008, volume 5438 of Lecture Notes in Computer Science, pages 55–70. Springer, 2009. Access Link |
20 WICLP'07 (Conference) |
Kim S. Henriksen, Gourinath Banda and John P. Gallagher. Experiments with a Convex Polyhedral Analysis Tool for Logic Programs. In P. Hill and W. Vanhoof, editors, Workshop on Logic-based methods in Programming Environments:ICLP-07 Workshop, 2007. Access Link |
21 ICLP'05 (Conference) |
John P. Gallagher, Kim S. Henriksen and Gourinath Banda. Techniques for scaling up analyses based on Pre-Interpretations. In M. Gabbrielli and G. Gupta, editors, Proceedings of the 21st International Conference on Logic Programming, ICLP'2005, volume 3668 of Springer-Verlag Lecture Notes in Computer Science, pages 280-296, 2005. Access Link |