Equivalence Verification of Arithmetic Data Paths With Multiple Word-Length Operands. - Naveed Ali; Shoab A. Khan; Naveed Sarfraz Khattak (FCS, 2007)

A method of requirements change management for global software development. - Naveed Ali; Richard Lai 001 (Inf. Softw. Technol., 2016)

A method of software requirements specification and validation for global software development. - Naveed Ali; Richard Lai 001 (Requir. Eng., 2017)

A method of requirements elicitation and analysis for Global Software Development. - Naveed Ali; Richard Lai 001 (J. Softw. Evol. Process., 2017)

Requirements Engineering in Global Software Development: A Survey Study from the Perspectives of Stakeholders. - Naveed Ali; Richard Lai 001 (J. Softw., 2018)

Creating and Evaluating Resources for Sentiment Analysis in the Low-resource Language: Sindhi. - Wazir Ali; Naveed Ali; Yong Dai 001; Jay Kumar; Saifullah Tumrani; Zenglin Xu (WASSA@EACL, 2021)