M. V. Panduranga Rao

According to our database1, M. V. Panduranga Rao authored at least 17 papers between 2004 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Model Checking Branching Time Properties for Incomplete Markov Chains.
Proceedings of the Model Checking Software - 26th International Symposium, 2019

DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs.
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application.
Proceedings of the 11th International Conference on Communication Systems & Networks, 2019

Coordinated Intelligent Traffic Lights using Uppaal Stratego.
Proceedings of the 11th International Conference on Communication Systems & Networks, 2019

2018
Specialist Cops Catching Robbers on Complex Networks.
Proceedings of the Complex Networks and Their Applications VII, 2018

2017
Probabilistic Model Checking of Incomplete Models.
CoRR, 2017

EpiStrat: A Tool for Comparing Strategies for Tackling Urban Epidemic Outbreaks.
Proceedings of the Smart Health - International Conference, 2017

2015
Statistical Model Checking of Opportunistic Network Protocols.
Proceedings of the Asian Internet Engineering Conference, 2015

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

AutoHS: The Intelligent Hospital Search.
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.
CLEI Electron. J., 2009

2008
Interference automata.
Theor. Comput. Sci., 2008

Quantum Finite Automata and Weighted Automata.
Journal of Automata, Languages and Combinatorics, 2008

Generalized Counters and Reversal Complexity.
Int. J. Found. Comput. Sci., 2008

Development of Scheduler for Real Time and Embedded System Domain.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007
Bounding Run-Times of Local Adiabatic Algorithms.
Proceedings of the Theory and Applications of Models of Computation, 2007

2004
One Generalization of Counters
CoRR, 2004


  Loading...