Equivalence checking for synchronous elastic circuits. - Vidura Wijaysekara; Sudarshan K. Srinivasan (MEMOCODE, 2013)

Equivalence verification for NULL Convention Logic (NCL) circuits. - Vidura Wijayasekara; Sudarshan K. Srinivasan; Scott C. Smith (ICCD, 2014)

Timed Refinement for Verification of Real-Time Object Code Programs. - Mohana Asha Latha Dubasi; Sudarshan K. Srinivasan; Vidura Wijayasekara (VSTTE, 2014)

A taxonomy and survey on Green Data Center Networks. - Kashif Bilal; Saif Ur Rehman Malik; Osman Khalid; Abdul Hameed; Enrique Alvarez; Vidura Wijaysekara; Rizwana Irfan; Sarjan Shrestha; Debjyoti Dwivedy; Mazhar Ali; Usman Shahid Khan; Assad Abbas; et al. (Future Gener. Comput. Syst., 2014)