| Autonomous intersection management: A heuristic approach AP Chouhan, G Banda Ieee Access 6, 53287-53295, 2018 | 52 | 2018 |
| Techniques for scaling up analyses based on pre-interpretations JP Gallagher, KS Henriksen, G Banda International Conference on Logic Programming, 280-296, 2005 | 27 | 2005 |
| Analysis of linear hybrid systems in CLP G Banda, JP Gallagher International Symposium on Logic-Based Program Synthesis and Transformation …, 2008 | 26 | 2008 |
| 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 | 24 | 2016 |
| 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 | 16 | 2010 |
| A cooperative algorithm for lane sorting of autonomous vehicles AP Chouhan, G Banda, K Jothibasu IEEE Access 8, 88759-88768, 2020 | 13 | 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 | 13 | 2015 |
| 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 | 12 | 2022 |
| Systems and methods for providing safe confluence modality G Banda US Patent 9,342,354, 2016 | 11 | 2016 |
| 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 |
| Constraint-based abstraction of a model checker for infinite state systems G Banda, JP Gallagher | 5 | 2010 |
| 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 | 4 | 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 | 3 | 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 | 2 | 2022 |
| 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 | 1 | 2023 |
| Harsark-rs: hard safe real-time kernel in rust K Jothibasu, G Banda Intelligent Environments 2020, 62-71, 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 |
| ElasticPay: Instant Peer-to-Peer Offline Extended Digital Payment System AVSK Reddy, G Banda Sensors (Basel, Switzerland) 24 (24), 8034, 2024 | | 2024 |
| A novel IoT-device management platform for on-the-fly generation of user interface via manifest-file addressing heterogeneity N Gupta, G Banda, KC Bommakanti, VS Kothapalli PeerJ Computer Science 10, e2480, 2024 | | 2024 |
John P GallagherRoskilde UniversityAdresse e-mail validée de ruc.dk
