Efficient and scalable cache coherence schemes for shared memory hypercube multiprocessors. - Akhilesh Kumar; Phanindra K. Mannava; Laxmi N. Bhuyan (SC, 1994)

Parallelization of Load Flow Algorithms. - Phanindra K. Mannava; Lisa Teeslink (PDPTA, 1997)

Experience with Applying Formal Methods to Protocol Specification and System Architecture. - Mani Azimi; Ching-Tsun Chou; Akhilesh Kumar; Victor W. Lee; Phanindra K. Mannava; Seungjoon Park (Formal Methods Syst. Des., 2003)

A Simple Method for Parameterized Verification of Cache Coherence Protocols. - Ching-Tsun Chou; Phanindra K. Mannava; Seungjoon Park (FMCAD, 2004)