Specialist Cops Catching Robbers on Complex Networks. - Shiraj Arora; Abhishek Jain; Yenda Ramesh; M. V. Panduranga Rao (COMPLEX NETWORKS (1), 2018)

Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application. - Yenda Ramesh; Nikhil Anand; M. V. Panduranga Rao (COMSNETS, 2019)

DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs. - Yenda Ramesh; Nikhil Anand; M. V. Panduranga Rao (PRIMA, 2019)

Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems. - Ramesh Yenda; M. V. Panduranga Rao (PRIMA, 2020)

Multi-Attribute Queries for Stochastic Multi Agent Systems over Short Time Horizons. - Yenda Ramesh; M. V. Panduranga Rao (ANNSIM, 2021)

Statistical Model Checking for Probabilistic Temporal Epistemic Logics. - Yenda Ramesh; M. V. Panduranga Rao (ICAART (1), 2022)

A data parallel approach for distributed neural networks to achieve faster convergence. - C. Nagaraju; Yenda Ramesh; C. Krishna Mohan (ICMV, 2023)

Traffic Intersections as Agents: A model checking approach for analysing communicating agents. - Thamilselvam B; Yenda Ramesh; Subrahmanyam Kalyanasundaram; M. V. Panduranga Rao (SAC, 2023)

Serial and parallel algorithms for short time horizon multi-attribute queries on stochastic multi-agent systems. - Yenda Ramesh; M. V. Panduranga Rao (Simul., 2025)