Browse by IITH Authors

Article

Palem, Krishna and Pham, Duc Hung and M V, Panduranga Rao (2022) Quantum learning of concentrated Boolean functions. Quantum Information Processing, 21 (7). ISSN 1573-1332

M V, Panduranga Rao and M, Jakobi (2013) Towards communication-efficient quantum oblivious key distribution. Physical Review A, 87 (1). 012331-1. ISSN 1050-2947

M V, Panduranga Rao (2010) Computational lower bounds using diagonalization — II. Resonance, 15 (4). pp. 337-346. ISSN 0971-8044

Book Section

Arora, S and M V, Panduranga Rao (2016) Probabilistic Model Checking of Incomplete Models. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Lecture Notes in Computer Science, 9952 . Springer International Publishing, pp. 62-76. ISBN 978-3-319-47165-5

Conference or Workshop Item

S, Sudarshan and Kayathi, R and K P, Sai Krishna and M V, Panduranga Rao (2015) AutoHS: The intelligent hospital search. In: 6th International Conference on Intelligent Networking and Collaborative Systems, IEEE INCoS, 10-12 September, 2014, University of SalernoSalerno; Italy.

Arora, S and Rathor, A and M V, Panduranga Rao (2015) Statistical Model Checking of Opportunistic Network Protocols. In: AINTEC, 18-20 November, 2015, Bangkok, Thailand.

Chauhan, K and Mohammad, M G and M V, Panduranga Rao (2015) Whether To Invest In Smart Technology Or Elsewhere- A Decision Support Tool. In: The Fifth Annual Asian Conference on Sustainability, Energy and the Environment (ACSEE2015), 11-14 June 2015, Kobe, Japan. (In Press)

Ahammed, S A and Badam, K and Bhaskar, G V and Chhuttani, S and Gangwar, A and Garg, V and Gupta, L and Jain, A K and Jindal, R and Kumar, N and Manku, K K and Midde, V K and Nagarjuna, M and Patil, R and Singh, S and Sneha, N and Srinivas, P B and Tanwani, M and Wasnik, S and Guravannavar, R and Kalyanasundaram, Subrahmanyam and Kataoka, Kotaro and M V, Panduranga Rao and Sivadasan, N (2014) Acquisition, storage, retrieval and dissemination of disaster related data. In: IEEE Region 10 Humanitarian Technology Conference (R10-HTC), 6-9 Aug. 2014.

Thesis

Jain, Abhishek and M V, Panduranga Rao (2018) Statistical Model Checking for Cops and Robbers Game on Random Graph Models. Masters thesis, Indian Institute of Technology Hyderabad.