| Autonomous intersection management: A heuristic approach AP Chouhan, G Banda Ieee Access 6, 53287-53295, 2018 | 45 | 2018 |
| Techniques for scaling up analyses based on pre-interpretations JP Gallagher, KS Henriksen, G Banda International Conference on Logic Programming, 280-296, 2005 | 26 | 2005 |
| One IoT: an IoT protocol and framework for OEMs to make IoT-enabled devices forward compatible G Banda, CK Bommakanti, H Mohan Journal of Reliable Intelligent Environments 2, 131-144, 2016 | 25 | 2016 |
| Analysis of linear hybrid systems in CLP G Banda, JP Gallagher International Symposium on Logic-Based Program Synthesis and Transformation …, 2008 | 25 | 2008 |
| Constraint-based abstract semantics for temporal logic: A direct approach to design and implementation G Banda, JP Gallagher International Conference on Logic for Programming Artificial Intelligence …, 2010 | 15 | 2010 |
| A cooperative algorithm for lane sorting of autonomous vehicles AP Chouhan, G Banda, K Jothibasu IEEE Access 8, 88759-88768, 2020 | 12 | 2020 |
| An IoT protocol and framework for OEMs to make IoT-enabled devices forward compatible G Banda, K Chaitanya, H Mohan 2015 11th International Conference on Signal-Image Technology & Internet …, 2015 | 10 | 2015 |
| Formal verification of heuristic autonomous intersection management using statistical model checking AP Chouhan, G Banda Sensors 20 (16), 4506, 2020 | 8 | 2020 |
| Experiments with a convex polyhedral analysis tool for logic programs K Henriksen, G Banda, J Gallagher arXiv preprint arXiv:0712.2737, 2007 | 8 | 2007 |
| Systems and methods for providing safe confluence modality G Banda US Patent 9,342,354, 2016 | 7 | 2016 |
| Development of a lizard-inspired wall-climbing robot using pressure sensitive adhesion SR Nishad, R Halder, G Banda, A Thakur IEEE Access 10, 72535-72544, 2022 | 5 | 2022 |
| Constraint-Based Abstraction of a Model Checker for Infinite State Systems G Banda, JP Gallagher | 5 | 2009 |
| A lizard-inspired quadruped robot based on pressure sensitive adhesion mechanism for wall climbing A Thakur, R Halder, G Banda, R Ray, A Bhattacharya, SR Nishad Proceedings of the 2021 5th International Conference on Advances in Robotics …, 2021 | 2 | 2021 |
| A forward compatible IoT protocol and framework addressing concerns due to internet-outage G Banda, KC Bommakanti, H Mohan, MS Saini, A Chandra International Journal of Internet Technology and Secured Transactions 7 (3 …, 2017 | 2 | 2017 |
| HarSaRK_multi_rs: A Hard Real-time Kernel for Multi-core Microcontrollers in Rust Language KI Vishnunaryan, G Banda Smart Intelligent Computing and Applications, Volume 2: Proceedings of Fifth …, 2022 | 1 | 2022 |
| Harsark-rs: hard safe real-time kernel in rust C Iglesias Intelligent Environments, 62, 2020 | 1 | 2020 |
| Modelling and Analysis of Real Time Systems with Logic Programming and Constraints G Banda Computer Science Research Report, 1-182, 2010 | 1 | 2010 |
| PAVeDS: A Synthetic dataset for developing Autonomous Personal Aerial Vehicles D Prasad, ST Adhithiyan, K Thanmai, G Banda IEEE Access, 2023 | | 2023 |
| A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots R Yadav, R Halder, A Thakur, G Banda Proceedings of the 2023 6th International Conference on Advances in Robotics …, 2023 | | 2023 |
| BlockBill: The Blockchain-Powered Paperless Billing Solution B Gohel, NK Parikh, N Totala, G Banda | | 2023 |
John P GallagherRoskilde UniversityVerified email at ruc.dk
