default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDM. V. Panduranga Rao
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c30]Soumitri Kadambi, M. V. Panduranga Rao:
Constrained Quadratic Model Formulations for MDCVRPTW: Quantum Vs Classical. COMSNETS 2024: 258-263- [c29]Anubhav Srivastava, M. V. Panduranga Rao:
Statistical Model Checking for Entanglement Swapping in Quantum Networks. ICCS (6) 2024: 345-359 - 2023
- [c28]Anoop Kumar Pandey
, Anubhav Srivastava, Shuhul Handoo, Bheemarjuna Reddy Tamma, M. V. Panduranga Rao:
Greedy Algorithms for Finding Entanglement Swap Paths in Quantum Networks. ICDCN 2023: 237-244 - [c27]Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao:
Decentralized Multi Agent Deep Reinforcement Q-Learning for Intelligent Traffic Controller. AIAI (1) 2023: 45-56 - [c26]Thamilselvam B, Yenda Ramesh, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao:
Traffic Intersections as Agents: A model checking approach for analysing communicating agents. SAC 2023: 109-118 - [c25]Krishn Vishwas Kher, Ishan Joshi, Bharat Chandra Mukkavalli, Lei Zhang, M. V. Panduranga Rao:
Automatic Diagnosis of Quantum Software Bug Fix Motifs. SEKE 2023: 97-102 - [i8]Pranav K. Nayak, Krishn Vishwas Kher, Bharat Chandra Mukkavalli, M. V. Panduranga Rao, Lei Zhang:
Q-PAC: Automated Detection of Quantum Bug-Fix Patterns. CoRR abs/2311.17705 (2023) - 2022
- [j5]Krishna V. Palem, Duc Hung Pham, M. V. Panduranga Rao:
Quantum learning of concentrated Boolean functions. Quantum Inf. Process. 21(7): 256 (2022) - [c24]Surya Sai Teja Desu, Anubhav Srivastava, M. V. Panduranga Rao:
Model Checking for Entanglement Swapping. FORMATS 2022: 98-114 - [c23]Yenda Ramesh, M. V. Panduranga Rao:
Statistical Model Checking for Probabilistic Temporal Epistemic Logics. ICAART (1) 2022: 53-63 - 2021
- [c22]Anubhav Srivastava, Devendra Mishra, Madhuri Annavazzala, A. Antony Franklin, Nixon Patel, M. V. Panduranga Rao:
Short-cuts on quantum network simulators. ANTS 2021: 372-377 - [c21]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:
Analyzing Quantum Network Routing Protocols through Time-Driven Simulations. ANTS 2021: 378-383 - [c20]Yenda Ramesh, M. V. Panduranga Rao:
Multi-Attribute Queries for Stochastic Multi Agent Systems over Short Time Horizons. ANNSIM 2021: 1-12 - [c19]Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao:
Scalable Coordinated Intelligent Traffic Light Controller for Heterogeneous Traffic Scenarios Using UPPAAL STRATEGO. COMSNETS 2021: 404-412 - [c18]Surya Sai Teja Desu, P. K. Srijith, M. V. Panduranga Rao, Naveen Sivadasan:
Adiabatic Quantum Feature Selection for Sparse Linear Regression. ICCS (6) 2021: 98-112 - [c17]Rajesh Kumar Pandey, M. V. Panduranga Rao:
Traveling Agents and Indirect Epidemic Transmission. KES-AMSTA 2021: 371-383 - [c16]Thamilselvam B, Subrahmanyam Kalyanasundaram, Shubham Parmar, M. V. Panduranga Rao:
Statistical Model Checking for Traffic Models. SBMF 2021: 17-33 - [i7]Surya Sai Teja Desu, P. K. Srijith, M. V. Panduranga Rao, Naveen Sivadasan:
Adiabatic Quantum Feature Selection for Sparse Linear Regression. CoRR abs/2106.02357 (2021) - 2020
- [c15]Ramesh Yenda, M. V. Panduranga Rao:
Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems. PRIMA 2020: 420-427 - [c14]Shiraj Arora, M. V. Panduranga Rao:
The Bouquet Algorithm for Model Checking Unbounded Until Properties. TASE 2020: 113-120 - [i6]Duc Hung Pham, Krishna V. Palem, M. V. Panduranga Rao:
A polynomial time parallel algorithm for graph isomorphism using a quasipolynomial number of processors. CoRR abs/2002.04638 (2020)
2010 – 2019
- 2019
- [c13]Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao:
Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application. COMSNETS 2019: 720-725 - [c12]Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao:
Coordinated Intelligent Traffic Lights using Uppaal Stratego. COMSNETS 2019: 789-794 - [c11]Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao:
DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs. PRIMA 2019: 627-634 - [c10]Shiraj Arora, M. V. Panduranga Rao:
Model Checking Branching Time Properties for Incomplete Markov Chains. SPIN 2019: 20-37 - [i5]Shiraj Arora, M. V. Panduranga Rao:
The Bouquet Algorithm for Model Checking Unbounded Until. CoRR abs/1911.10478 (2019) - 2018
- [c9]Shiraj Arora, Abhishek Jain, Yenda Ramesh, M. V. Panduranga Rao:
Specialist Cops Catching Robbers on Complex Networks. COMPLEX NETWORKS (1) 2018: 731-742 - 2017
- [c8]Radhiya Arsekar, Durga Keerthi Mandarapu, M. V. Panduranga Rao:
EpiStrat: A Tool for Comparing Strategies for Tackling Urban Epidemic Outbreaks. ICSH 2017: 256-267 - [i4]Shiraj Arora, M. V. Panduranga Rao:
Probabilistic Model Checking of Incomplete Models. CoRR abs/1706.05082 (2017) - 2016
- [c7]Shiraj Arora, M. V. Panduranga Rao:
Probabilistic Model Checking of Incomplete Models. ISoLA (1) 2016: 62-76 - 2015
- [c6]Shiraj Arora, Ankit Rathor, M. V. Panduranga Rao:
Statistical Model Checking of Opportunistic Network Protocols. AINTEC 2015: 62-68 - 2014
- [c5]Sudarshan S., Kayathi Rohith, K. P. Sai Krishna, M. V. Panduranga Rao:
AutoHS: The Intelligent Hospital Search. INCoS 2014: 421-426 - [i3]M. V. Panduranga Rao, K. Chandrashekar Shet:
Assessment of Response Time for New Multi Level Feedback Queue Scheduler. CoRR abs/1408.0990 (2014)
2000 – 2009
- 2009
- [j4]M. V. Panduranga Rao, K. Chandrashekar Shet:
A Research in Real Time Scheduling Policy for Embedded System Domain. CLEI Electron. J. 12(2) (2009) - 2008
- [j3]M. V. Panduranga Rao:
Generalized Counters and Reversal Complexity. Int. J. Found. Comput. Sci. 19(6): 1403-1412 (2008) - [j2]M. V. Panduranga Rao, V. Vinay:
Quantum Finite Automata and Weighted Automata. J. Autom. Lang. Comb. 13(2): 125-139 (2008) - [j1]M. V. Panduranga Rao:
Interference automata. Theor. Comput. Sci. 403(1): 89-103 (2008) - [c4]M. V. Panduranga Rao, K. Chandrashekar Shet, R. Balakrishna, K. Roopa:
Development of Scheduler for Real Time and Embedded System Domain. AINA Workshops 2008: 1-6 - 2007
- [c3]M. V. Panduranga Rao:
Bounding Run-Times of Local Adiabatic Algorithms. TAMC 2007: 450-461 - [i2]M. V. Panduranga Rao:
Interference Automata. CoRR abs/cs/0701128 (2007) - 2006
- [c2]M. V. Panduranga Rao:
Generalized Counters and Reversal Complexity. TAMC 2006: 318-326 - 2005
- [c1]M. V. Panduranga Rao, V. Vinay:
Quantum Finite Automata and Weighted Automata. ACiD 2005: 123-134 - 2004
- [i1]M. V. Panduranga Rao:
One Generalization of Counters. CoRR cs.CL/0410057 (2004)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
