Symmetric solutions of the modified no-three-in-line problem for even boards. - Jainendra K. Navlakha (ACM Southeast Regional Conference, 1979)

REC/SM: a semi structured programming language. - Jainendra K. Navlakha (ACM Southeast Regional Conference, 1980)

Verification of information in a file. - Jainendra K. Navlakha (AFIPS National Computer Conference, 1980)

4×4 Tac-Tix is a second person game. - Jainendra K. Navlakha (ACM Southeast Regional Conference, 1982)

Verification of Programs with Procedure-Type Parameter. - George W. Ernst; Jainendra K. Navlakha; William F. Ogden (Acta Informatica, 1982)

A New Proof Technique to Establish Equivalence of the Original and the General Lambda-Free CFG with Linear Increase in Size. - Jainendra K. Navlakha (BIT, 1982)

A Survey of System Complexity Metrics. - Jainendra K. Navlakha (Comput. J., 1987)

On Hopfield neural networks. - William B. Feild Jr.; Jainendra K. Navlakha (Neural Networks, 1988)

The Distribution of Keys in a Binary Heap. - Mark Allen Weiss; Jainendra K. Navlakha (WADS, 1989)

Choosing a software cost estimation model for your organization: A case study. - Jainendra K. Navlakha (Inf. Manag., 1990)

MADIS: A Multimedia-Aided Disaster information Integration System for emergency management. - Yimin Yang 002; Wenting Lu; Jesse Domack; Tao Li 001; Shu-Ching Chen; Steven Luis; Jainendra K. Navlakha (CollaborateCom, 2012)

Disaster SitRep - A vertical search engine and information analysis tool in disaster management domain. - Li Zheng 001; Chao Shen 005; Liang Tang; Chunqiu Zeng; Tao Li 001; Steven Luis; Shu-Ching Chen; Jainendra K. Navlakha (IRI, 2012)

Data-Driven Techniques in Disaster Information Management. - Tao Li 001; Ning Xie 002; Chunqiu Zeng; Wubai Zhou; Li Zheng 001; Yexi Jiang; Yimin Yang 002; Hsin-Yu Ha; Wei Xue; Yue Huang; Shu-Ching Chen; Jainendra K. Navlakha; et al. (ACM Comput. Surv., 2017)