M. V. Panduranga Rao

48 papers B 2C 3Misc 10Journal 15Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	Misc	`conf`	QPhase: An Extensible Simulator for Phased Entanglement Routing Protocols in Multi-Hop Quantum Networks. COMSNETS Manan Patel, Sreyash Mohanty, M. V. Panduranga Rao
2025	J	`jnl`	Distinguishing Quantum Software Bugs from Hardware Noise: A Statistical Approach. CoRR Ahmik Virani, Devraj, Anirudh Suresh, Lei Zhang, M. V. Panduranga Rao
2025	Misc	`conf`	Mixing Entanglement Swapping and Hop-by-Hop Transmission On Heterogeneous Quantum Networks. ICDCN Anoop Kumar Pandey, Bheemarjuna Reddy Tamma, M. V. Panduranga Rao
2025	Misc	`conf`	Quantum Network Routing with Heterogeneous Nodes. COMSNETS Anoop Kumar Pandey, Bheemarjuna Reddy Tamma, M. V. Panduranga Rao
2025	J	`jnl`	Serial and parallel algorithms for short time horizon multi-attribute queries on stochastic multi-agent systems. Simul. Yenda Ramesh, M. V. Panduranga Rao
2024	Misc	`conf`	Constrained Quadratic Model Formulations for MDCVRPTW: Quantum Vs Classical. COMSNETS Soumitri Kadambi, M. V. Panduranga Rao
2024	—	`conf`	Statistical Model Checking for Entanglement Swapping in Quantum Networks. ICCS (6) Anubhav Srivastava, M. V. Panduranga Rao
2023	C	`conf`	Automatic Diagnosis of Quantum Software Bug Fix Motifs. SEKE Krishn Vishwas Kher, Ishan Joshi, Bharat Chandra Mukkavalli, Lei Zhang, M. V. Panduranga Rao
2023	—	`conf`	Decentralized Multi Agent Deep Reinforcement Q-Learning for Intelligent Traffic Controller. AIAI (1) Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao
2023	Misc	`conf`	Greedy Algorithms for Finding Entanglement Swap Paths in Quantum Networks. ICDCN Anoop Kumar Pandey, Anubhav Srivastava, Shuhul Handoo, Bheemarjuna Reddy Tamma, M. V. Panduranga Rao
2023	J	`jnl`	Q-PAC: Automated Detection of Quantum Bug-Fix Patterns. CoRR Pranav K. Nayak, Krishn Vishwas Kher, Bharat Chandra Mukkavalli, M. V. Panduranga Rao, Lei Zhang
2023	Misc	`conf`	Traffic Intersections as Agents: A model checking approach for analysing communicating agents. SAC Thamilselvam B, Yenda Ramesh, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao
2022	—	`conf`	Model Checking for Entanglement Swapping. FORMATS Surya Sai Teja Desu, Anubhav Srivastava, M. V. Panduranga Rao
2022	J	`jnl`	Quantum learning of concentrated Boolean functions. Quantum Inf. Process. Krishna V. Palem, Duc Hung Pham, M. V. Panduranga Rao
2022	—	`conf`	Statistical Model Checking for Probabilistic Temporal Epistemic Logics. ICAART (1) Yenda Ramesh, M. V. Panduranga Rao
2021	—	`conf`	Adiabatic Quantum Feature Selection for Sparse Linear Regression. ICCS (6) Surya Sai Teja Desu, P. K. Srijith, M. V. Panduranga Rao, Naveen Sivadasan
2021	J	`jnl`	Adiabatic Quantum Feature Selection for Sparse Linear Regression. CoRR Surya Sai Teja Desu, P. K. Srijith, M. V. Panduranga Rao, Naveen Sivadasan
2021	—	`conf`	Analyzing Quantum Network Routing Protocols through Time-Driven Simulations. ANTS 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
2021	—	`conf`	Multi-Attribute Queries for Stochastic Multi Agent Systems over Short Time Horizons. ANNSIM Yenda Ramesh, M. V. Panduranga Rao
2021	Misc	`conf`	Scalable Coordinated Intelligent Traffic Light Controller for Heterogeneous Traffic Scenarios Using UPPAAL STRATEGO. COMSNETS Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao
2021	—	`conf`	Short-cuts on quantum network simulators. ANTS Anubhav Srivastava, Devendra Mishra, Madhuri Annavazzala, A. Antony Franklin, Nixon Patel, M. V. Panduranga Rao
2021	—	`conf`	Statistical Model Checking for Traffic Models. SBMF Thamilselvam B, Subrahmanyam Kalyanasundaram, Shubham Parmar, M. V. Panduranga Rao
2021	—	`conf`	Traveling Agents and Indirect Epidemic Transmission. KES-AMSTA Rajesh Kumar Pandey, M. V. Panduranga Rao
2020	J	`jnl`	A polynomial time parallel algorithm for graph isomorphism using a quasipolynomial number of processors. CoRR Duc Hung Pham, Krishna V. Palem, M. V. Panduranga Rao
2020	B	`conf`	Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems. PRIMA Ramesh Yenda, M. V. Panduranga Rao
2020	Misc	`conf`	The Bouquet Algorithm for Model Checking Unbounded Until Properties. TASE Shiraj Arora, M. V. Panduranga Rao
2019	Misc	`conf`	Coordinated Intelligent Traffic Lights using Uppaal Stratego. COMSNETS Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao
2019	B	`conf`	DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs. PRIMA Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao
2019	—	`conf`	Model Checking Branching Time Properties for Incomplete Markov Chains. SPIN Shiraj Arora, M. V. Panduranga Rao
2019	Misc	`conf`	Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application. COMSNETS Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao
2019	J	`jnl`	The Bouquet Algorithm for Model Checking Unbounded Until. CoRR Shiraj Arora, M. V. Panduranga Rao
2018	—	`conf`	Specialist Cops Catching Robbers on Complex Networks. COMPLEX NETWORKS (1) Shiraj Arora, Abhishek Jain, Yenda Ramesh, M. V. Panduranga Rao
2017	—	`conf`	EpiStrat: A Tool for Comparing Strategies for Tackling Urban Epidemic Outbreaks. ICSH Radhiya Arsekar, Durga Keerthi Mandarapu, M. V. Panduranga Rao
2017	J	`jnl`	Probabilistic Model Checking of Incomplete Models. CoRR Shiraj Arora, M. V. Panduranga Rao
2016	—	`conf`	Probabilistic Model Checking of Incomplete Models. ISoLA (1) Shiraj Arora, M. V. Panduranga Rao
2015	—	`conf`	Statistical Model Checking of Opportunistic Network Protocols. AINTEC Shiraj Arora, Ankit Rathor, M. V. Panduranga Rao
2014	J	`jnl`	Assessment of Response Time for New Multi Level Feedback Queue Scheduler. CoRR M. V. Panduranga Rao, K. Chandrashekar Shet
2014	—	`conf`	AutoHS: The Intelligent Hospital Search. INCoS Sudarshan S., Kayathi Rohith, K. P. Sai Krishna, M. V. Panduranga Rao
2009	J	`jnl`	A Research in Real Time Scheduling Policy for Embedded System Domain. CLEI Electron. J. M. V. Panduranga Rao, K. Chandrashekar Shet
2008	—	`conf`	Development of Scheduler for Real Time and Embedded System Domain. AINA Workshops M. V. Panduranga Rao, K. Chandrashekar Shet, R. Balakrishna, K. Roopa
2008	J	`jnl`	Generalized Counters and Reversal Complexity. Int. J. Found. Comput. Sci. M. V. Panduranga Rao
2008	J	`jnl`	Interference automata. Theor. Comput. Sci. M. V. Panduranga Rao
2008	J	`jnl`	Quantum Finite Automata and Weighted Automata. J. Autom. Lang. Comb. M. V. Panduranga Rao, V. Vinay
2007	C	`conf`	Bounding Run-Times of Local Adiabatic Algorithms. TAMC M. V. Panduranga Rao
2007	J	`jnl`	Interference Automata CoRR M. V. Panduranga Rao
2006	C	`conf`	Generalized Counters and Reversal Complexity. TAMC M. V. Panduranga Rao
2005	—	`conf`	Quantum Finite Automata and Weighted Automata. ACiD M. V. Panduranga Rao, V. Vinay
2004	J	`jnl`	One Generalization of Counters CoRR M. V. Panduranga Rao