M. V. Panduranga Rao

According to our database, M. V. Panduranga Rao authored at least 37 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Constrained Quadratic Model Formulations for MDCVRPTW: Quantum Vs Classical.

Soumitri Kadambi, M. V. Panduranga Rao

Proceedings of the 16th International Conference on COMmunication Systems & NETworkS, 2024

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

CoRR, 2023

Automatic Diagnosis of Quantum Software Bug Fix Motifs.

Krishn Vishwas Kher, Ishan Joshi, Bharat Chandra Mukkavalli, Lei Zhang, M. V. Panduranga Rao

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

Traffic Intersections as Agents: A model checking approach for analysing communicating agents.

Thamilselvam B, Yenda Ramesh, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Decentralized Multi Agent Deep Reinforcement Q-Learning for Intelligent Traffic Controller.

Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao

Proceedings of the Artificial Intelligence Applications and Innovations, 2023

Greedy Algorithms for Finding Entanglement Swap Paths in Quantum Networks.

Anoop Kumar Pandey, Anubhav Srivastava, Shuhul Handoo, Bheemarjuna Reddy Tamma, M. V. Panduranga Rao

Proceedings of the 24th International Conference on Distributed Computing and Networking, 2023

2022

Quantum learning of concentrated Boolean functions.

Krishna V. Palem, Duc Hung Pham, M. V. Panduranga Rao

Quantum Inf. Process., 2022

Statistical Model Checking for Probabilistic Temporal Epistemic Logics.

Yenda Ramesh, M. V. Panduranga Rao

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Model Checking for Entanglement Swapping.

Surya Sai Teja Desu, Anubhav Srivastava, M. V. Panduranga Rao

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021

Statistical Model Checking for Traffic Models.

Thamilselvam B, Subrahmanyam Kalyanasundaram, Shubham Parmar, M. V. Panduranga Rao

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

Traveling Agents and Indirect Epidemic Transmission.

Rajesh Kumar Pandey, M. V. Panduranga Rao

Proceedings of the Agents and Multi-Agent Systems: Technologies and Applications 2021, 2021

Adiabatic Quantum Feature Selection for Sparse Linear Regression.

Surya Sai Teja Desu, P. K. Srijith, M. V. Panduranga Rao, Naveen Sivadasan

Proceedings of the Computational Science - ICCS 2021, 2021

Scalable Coordinated Intelligent Traffic Light Controller for Heterogeneous Traffic Scenarios Using UPPAAL STRATEGO.

Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao

Proceedings of the 13th International Conference on COMmunication Systems & NETworkS, 2021

Multi-Attribute Queries for Stochastic Multi Agent Systems over Short Time Horizons.

Yenda Ramesh, M. V. Panduranga Rao

Proceedings of the Annual Modeling and Simulation Conference, 2021

Short-cuts on quantum network simulators.

Anubhav Srivastava, Devendra Mishra, Madhuri Annavazzala, A. Antony Franklin, Nixon Patel, M. V. Panduranga Rao

Proceedings of the IEEE International Conference on Advanced Networks and Telecommunications Systems, 2021

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

Proceedings of the IEEE International Conference on Advanced Networks and Telecommunications Systems, 2021

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

The Bouquet Algorithm for Model Checking Unbounded Until Properties.

Shiraj Arora, M. V. Panduranga Rao

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems.

Ramesh Yenda, M. V. Panduranga Rao

Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

2019

The Bouquet Algorithm for Model Checking Unbounded Until.

Shiraj Arora, M. V. Panduranga Rao

CoRR, 2019

Model Checking Branching Time Properties for Incomplete Markov Chains.

Shiraj Arora, M. V. Panduranga Rao

Proceedings of the Model Checking Software - 26th International Symposium, 2019

DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs.

Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application.

Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao

Proceedings of the 11th International Conference on Communication Systems & Networks, 2019

Coordinated Intelligent Traffic Lights using Uppaal Stratego.

Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao

Proceedings of the 11th International Conference on Communication Systems & Networks, 2019

2018

Specialist Cops Catching Robbers on Complex Networks.

Shiraj Arora, Abhishek Jain, Yenda Ramesh, M. V. Panduranga Rao

Proceedings of the Complex Networks and Their Applications VII, 2018

2017

EpiStrat: A Tool for Comparing Strategies for Tackling Urban Epidemic Outbreaks.

Radhiya Arsekar, Durga Keerthi Mandarapu, M. V. Panduranga Rao

Proceedings of the Smart Health - International Conference, 2017

2016

Probabilistic Model Checking of Incomplete Models.

Shiraj Arora, M. V. Panduranga Rao

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Statistical Model Checking of Opportunistic Network Protocols.

Shiraj Arora, Ankit Rathor, M. V. Panduranga Rao

Proceedings of the Asian Internet Engineering Conference, 2015

2014

Assessment of Response Time for New Multi Level Feedback Queue Scheduler.

M. V. Panduranga Rao, K. Chandrashekar Shet

CoRR, 2014

AutoHS: The Intelligent Hospital Search.

Sudarshan S., Kayathi Rohith, K. P. Sai Krishna, M. V. Panduranga Rao

Proceedings of the 2014 International Conference on Intelligent Networking and Collaborative Systems, 2014

2009

A Research in Real Time Scheduling Policy for Embedded System Domain.

M. V. Panduranga Rao, K. Chandrashekar Shet

CLEI Electron. J., 2009

2008

Interference automata.

M. V. Panduranga Rao

Theor. Comput. Sci., 2008

Quantum Finite Automata and Weighted Automata.

M. V. Panduranga Rao, V. Vinay

J. Autom. Lang. Comb., 2008

Generalized Counters and Reversal Complexity.

M. V. Panduranga Rao

Int. J. Found. Comput. Sci., 2008

Development of Scheduler for Real Time and Embedded System Domain.

M. V. Panduranga Rao, K. Chandrashekar Shet, R. Balakrishna, K. Roopa

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007

Bounding Run-Times of Local Adiabatic Algorithms.

M. V. Panduranga Rao

Proceedings of the Theory and Applications of Models of Computation, 2007

2004

One Generalization of Counters

M. V. Panduranga Rao

CoRR, 2004