Detecting Locally Stable Predicates Without Modifying Application Messages. - Ranganath Atreya; Neeraj Mittal; Vijay K. Garg (OPODIS, 2003)

Finding Satisfying Global States: All for One and One for All. - Neeraj Mittal; Alper Sen 001; Vijay K. Garg; Ranganath Atreya (IPDPS, 2004)

A Dynamic Group Mutual Exclusion Algorithm Using Surrogate-Quorums. - Ranganath Atreya; Neeraj Mittal (ICDCS, 2005)

Efficient detection of a locally stable predicate in a distributed system. - Ranganath Atreya; Neeraj Mittal; Ajay D. Kshemkalyani; Vijay K. Garg; Mukesh Singhal (J. Parallel Distributed Comput., 2007)

A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set. - Ranganath Atreya; Neeraj Mittal; Sathya Peri (IEEE Trans. Parallel Distributed Syst., 2007)