One Generalization of Counters - M. V. Panduranga Rao (CoRR, 2004)

Bounding Run-Times of Local Adiabatic Algorithms. - M. V. Panduranga Rao (TAMC, 2007)

Development of Scheduler for Real Time and Embedded System Domain. - M. V. Panduranga Rao; K. Chandrashekar Shet; R. Balakrishna; K. Roopa (AINA Workshops, 2008)

Generalized Counters and Reversal Complexity. - M. V. Panduranga Rao (Int. J. Found. Comput. Sci., 2008)

Quantum Finite Automata and Weighted Automata. - M. V. Panduranga Rao; V. Vinay (J. Autom. Lang. Comb., 2008)

Interference automata. - M. V. Panduranga Rao (Theor. Comput. Sci., 2008)

A Research in Real Time Scheduling Policy for Embedded System Domain. - M. V. Panduranga Rao; K. Chandrashekar Shet (CLEI Electron. J., 2009)

AutoHS: The Intelligent Hospital Search. - Sudarshan S.; Kayathi Rohith; K. P. Sai Krishna; M. V. Panduranga Rao (INCoS, 2014)

Assessment of Response Time for New Multi Level Feedback Queue Scheduler. - M. V. Panduranga Rao; K. Chandrashekar Shet (CoRR, 2014)

Statistical Model Checking of Opportunistic Network Protocols. - Shiraj Arora; Ankit Rathor; M. V. Panduranga Rao (AINTEC, 2015)

Probabilistic Model Checking of Incomplete Models. - Shiraj Arora; M. V. Panduranga Rao (ISoLA (1), 2016)

EpiStrat: A Tool for Comparing Strategies for Tackling Urban Epidemic Outbreaks. - Radhiya Arsekar; Durga Keerthi Mandarapu; M. V. Panduranga Rao (ICSH, 2017)

Specialist Cops Catching Robbers on Complex Networks. - Shiraj Arora; Abhishek Jain; Yenda Ramesh; M. V. Panduranga Rao (COMPLEX NETWORKS (1), 2018)

Coordinated Intelligent Traffic Lights using Uppaal Stratego. - Thamilselvam B; Subrahmanyam Kalyanasundaram; M. V. Panduranga Rao (COMSNETS, 2019)

Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application. - Yenda Ramesh; Nikhil Anand; M. V. Panduranga Rao (COMSNETS, 2019)

DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs. - Yenda Ramesh; Nikhil Anand; M. V. Panduranga Rao (PRIMA, 2019)

Model Checking Branching Time Properties for Incomplete Markov Chains. - Shiraj Arora; M. V. Panduranga Rao (SPIN, 2019)

The Bouquet Algorithm for Model Checking Unbounded Until. - Shiraj Arora; M. V. Panduranga Rao (CoRR, 2019)

Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems. - Ramesh Yenda; M. V. Panduranga Rao (PRIMA, 2020)

The Bouquet Algorithm for Model Checking Unbounded Until Properties. - Shiraj Arora; M. V. Panduranga Rao (TASE, 2020)

A polynomial time parallel algorithm for graph isomorphism using a quasipolynomial number of processors. - Duc Hung Pham; Krishna V. Palem; M. V. Panduranga Rao (CoRR, 2020)

Analyzing Quantum Network Routing Protocols through Time-Driven Simulations. - B. Anvesh; ABS Phaneendra; M. Sai Anuraag; J. Sai Nishith; Anubhav Srivastava; A. Antony Franklin; M. V. Panduranga Rao; K. Dhanush; Devendra Mishra; Nixon Patel (ANTS, 2021)

Short-cuts on quantum network simulators. - Anubhav Srivastava; Devendra Mishra; Madhuri Annavazzala; A. Antony Franklin; Nixon Patel; M. V. Panduranga Rao (ANTS, 2021)

Multi-Attribute Queries for Stochastic Multi Agent Systems over Short Time Horizons. - Yenda Ramesh; M. V. Panduranga Rao (ANNSIM, 2021)

Scalable Coordinated Intelligent Traffic Light Controller for Heterogeneous Traffic Scenarios Using UPPAAL STRATEGO. - Thamilselvam B; Subrahmanyam Kalyanasundaram; M. V. Panduranga Rao (COMSNETS, 2021)

Adiabatic Quantum Feature Selection for Sparse Linear Regression. - Surya Sai Teja Desu; P. K. Srijith; M. V. Panduranga Rao; Naveen Sivadasan (ICCS (6), 2021)

Traveling Agents and Indirect Epidemic Transmission. - Rajesh Kumar Pandey 001; M. V. Panduranga Rao (KES-AMSTA, 2021)

Statistical Model Checking for Traffic Models. - Thamilselvam B; Subrahmanyam Kalyanasundaram; Shubham Parmar; M. V. Panduranga Rao (SBMF, 2021)

Model Checking for Entanglement Swapping. - Surya Sai Teja Desu; Anubhav Srivastava; M. V. Panduranga Rao (FORMATS, 2022)

Statistical Model Checking for Probabilistic Temporal Epistemic Logics. - Yenda Ramesh; M. V. Panduranga Rao (ICAART (1), 2022)

Quantum learning of concentrated Boolean functions. - Krishna V. Palem; Duc Hung Pham; M. V. Panduranga Rao (Quantum Inf. Process., 2022)

Greedy Algorithms for Finding Entanglement Swap Paths in Quantum Networks. - Anoop Kumar Pandey; Anubhav Srivastava; Shuhul Handoo; Bheemarjuna Reddy Tamma; M. V. Panduranga Rao (ICDCN, 2023)

Decentralized Multi Agent Deep Reinforcement Q-Learning for Intelligent Traffic Controller. - Thamilselvam B; Subrahmanyam Kalyanasundaram; M. V. Panduranga Rao (AIAI (1), 2023)

Traffic Intersections as Agents: A model checking approach for analysing communicating agents. - Thamilselvam B; Yenda Ramesh; Subrahmanyam Kalyanasundaram; M. V. Panduranga Rao (SAC, 2023)

Automatic Diagnosis of Quantum Software Bug Fix Motifs. - Krishn Vishwas Kher; Ishan Joshi; Bharat Chandra Mukkavalli; Lei Zhang 078; M. V. Panduranga Rao (SEKE, 2023)

Q-PAC: Automated Detection of Quantum Bug-Fix Patterns. - Pranav K. Nayak; Krishn Vishwas Kher; Bharat Chandra Mukkavalli; M. V. Panduranga Rao; Lei Zhang 078 (CoRR, 2023)

Constrained Quadratic Model Formulations for MDCVRPTW: Quantum Vs Classical. - Soumitri Kadambi; M. V. Panduranga Rao (COMSNETS, 2024)

Statistical Model Checking for Entanglement Swapping in Quantum Networks. - Anubhav Srivastava; M. V. Panduranga Rao (ICCS (6), 2024)

Investigating the Effects of AI-Driven Systems on Data Science Automation. - K. K. Senthilkumar; Pradnya S. Mehta; M. V. Panduranga Rao; Megha Pandey; Baldev Singh; Saniya Khurana (ICCCNT, 2024)

Quantum Network Routing with Heterogeneous Nodes. - Anoop Kumar Pandey; Bheemarjuna Reddy Tamma; M. V. Panduranga Rao (COMSNETS, 2025)

Mixing Entanglement Swapping and Hop-by-Hop Transmission On Heterogeneous Quantum Networks. - Anoop Kumar Pandey; Bheemarjuna Reddy Tamma; M. V. Panduranga Rao (ICDCN, 2025)

Serial and parallel algorithms for short time horizon multi-attribute queries on stochastic multi-agent systems. - Yenda Ramesh; M. V. Panduranga Rao (Simul., 2025)

Distinguishing Quantum Software Bugs from Hardware Noise: A Statistical Approach. - Ahmik Virani; Devraj; Anirudh Suresh; Lei Zhang; M. V. Panduranga Rao (CoRR, 2025)