Cognitive Distributed Networks in Environmental e-Science. - Ramesh Bharadwaj; Supratik Mukhopadhyay; Manuel Peralta; Krishna Shenai; Subhashis Majumder (FTDCS, 2008)

Automatic Synthesis and Deployment of Intensional Kahn Process Networks. - Manuel Peralta; Supratik Mukhopadhyay; Ramesh Bharadwaj (FGIT-GDC, 2009)

Code-Change Impact Analysis Using Counterfactuals. - Manuel Peralta; Supratik Mukhopadhyay (COMPSAC, 2011)

Counterfactually reasoning about security. - Manuel Peralta; Supratik Mukhopadhyay; Ramesh Bharadwaj (SIN, 2011)

A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing. - Manuel Peralta; Supratik Mukhopadhyay; Ramesh Bharadwaj (ICDCS Workshops, 2013)

Code-Change Impact Analysis using Counterfactuals: Theory and Implementation. - Manuel Peralta; Supratik Mukhopadhyay (Int. J. Softw. Eng. Knowl. Eng., 2013)

Reasoning about security in sensor networks. - Manuel Peralta; Supratik Mukhopadhyay; Ramesh Bharadwaj (Concurr. Comput. Pract. Exp., 2015)