Using Partial Evaluation to Enable Verification of Concurrent Software. - Matthew B. Dwyer; John Hatcliff; Muhammad Nanda (ACM Comput. Surv., 1998)

Performance evaluation of PUMA routing protocol for Manhattan mobility model on vehicular ad-hoc network. - Doan Perdana; Muhammad Nanda; Revient Ode; Riri Fitri Sari (ICT, 2015)