# M. V. Panduranga Rao

According to our database

Collaborative distances:

^{1}, 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