Browse by IITH Authors

Pandey, Anoop Kumar and Srivastava, Anubhav and Handoo, Shuhul and Tamma, Bheemarjuna Reddy and Rao, M.V. Panduranga (2023) Greedy Algorithms for Finding Entanglement Swap Paths in Quantum Networks. In: 24th International Conference on Distributed Computing and Networking, ICDCN 2023, 4-7 January 2023, Kharagpur.

Desu, Surya Sai Teja and Srivastava, Anubhav and Rao, M V Panduranga (2022) Model Checking for Entanglement Swapping. In: 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, 13 September 2022 through 15 September 2022, Warsaw.

Ramesh, Y. and Rao, M.V.P. (2021) Multi-Attribute Queries for Stochastic Multi Agent Systems over Short Time Horizons. In: 2021 Annual Modeling and Simulation Conference, ANNSIM 2021, 19 July 2021 through 22 July 2021, Virtual, Fairfax.

Thamilselvam, B and Kalyanasundaram, Subrahmanyam and Rao, M V Panduranga (2021) Scalable Coordinated Intelligent Traffic Light Controller for Heterogeneous Traffic Scenarios Using UPPAAL STRATEGO. In: 2021 International Conference on COMmunication Systems and NETworkS, COMSNETS 2021, 5 January 2021 - 9 January 2021.

Srivastava, Anubhav and Mishra, Devendra and Franklin, Antony and Patel, Nixon and Rao, M V Panduranga and et al, . (2021) Short-cuts on quantum network simulators. In: 15th IEEE International Conference on Advanced Networks and Telecommunications Systems, ANTS 2021, 13-16 December 2021, Hyderabad.

Anand, Nikhil and Rao, M V Panduranga (2019) Agent Based Decision Support System for Healthcare Applications. Masters thesis, Indian institute of technology Hyderabad.

B, Thamilselvam and Kalyanasundaram, Subrahmanyam and Rao, M V Panduranga (2019) Coordinated Intelligent Traffic Lights using Uppaal Stratego. In: 11th International Conference on Communication Systems and Networks, COMSNETS 2019, 7-11 January 2019, Bengaluru,India.

Y, Ramesh and N, Anand and Rao, M V Panduranga (2019) DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs. In: 22nd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA, 28-31 October 2019, Turin, Italy.

Ramesh, Yenda and Anand, Nikhil and Rao, M V Panduranga (2019) Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application. In: 11th International Conference on Communication Systems and Networks, COMSNETS 2019, 7-11 January 2019, Bengaluru,India.

Arora, Shiraj and Jain, Abhishek and Ramesh, Yenda and Rao, M V Panduranga (2018) Specialist Cops Catching Robbers on Complex Networks. In: 7th International Conference on Complex Networks and their Applications, COMPLEX NETWORKS, 11-13 December 2018, Cambridge, United Kingdom.

Arsekar, Radhiya and Mandarapu, Durga Keerthi and Rao, M V Panduranga (2017) EpiStrat: A Tool for Comparing Strategies for Tackling Urban Epidemic Outbreaks. In: International Conference on Smart Health, 26-27 June 2017, Hong Kong, China.