Jainendra K. Navlakha

13 papers B 1C 1Misc 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2017 J jnl
Data-Driven Techniques in Disaster Information Management.
ACM Comput. Surv.
Tao Li, Ning Xie, Chunqiu Zeng, Wubai Zhou, Li Zheng, Yexi Jiang, Yimin Yang, Hsin-Yu Ha, Wei Xue, Yue Huang, Shu-Ching Chen, Jainendra K. Navlakha, S. Sitharama Iyengar
2012 Misc conf
Disaster SitRep - A vertical search engine and information analysis tool in disaster management domain.
IRI
Li Zheng, Chao Shen, Liang Tang, Chunqiu Zeng, Tao Li, Steven Luis, Shu-Ching Chen, Jainendra K. Navlakha
2012 C conf
MADIS: A Multimedia-Aided Disaster information Integration System for emergency management.
CollaborateCom
Yimin Yang, Wenting Lu, Jesse Domack, Tao Li, Shu-Ching Chen, Steven Luis, Jainendra K. Navlakha
1990 J jnl
Choosing a software cost estimation model for your organization: A case study.
Inf. Manag.
Jainendra K. Navlakha
1989 B conf
The Distribution of Keys in a Binary Heap.
WADS
Mark Allen Weiss, Jainendra K. Navlakha
1988 J jnl
On Hopfield neural networks.
Neural Networks
William B. Feild Jr., Jainendra K. Navlakha
1987 J jnl
A Survey of System Complexity Metrics.
Comput. J.
Jainendra K. Navlakha
1982 — conf
4×4 Tac-Tix is a second person game.
ACM Southeast Regional Conference
Jainendra K. Navlakha
1982 J jnl
A New Proof Technique to Establish Equivalence of the Original and the General Lambda-Free CFG with Linear Increase in Size.
BIT
Jainendra K. Navlakha
1982 J jnl
Verification of Programs with Procedure-Type Parameter.
Acta Informatica
George W. Ernst, Jainendra K. Navlakha, William F. Ogden
1980 — conf
REC/SM: a semi structured programming language.
ACM Southeast Regional Conference
Jainendra K. Navlakha
1980 — conf
Verification of information in a file.
AFIPS National Computer Conference
Jainendra K. Navlakha
1979 — conf
Symmetric solutions of the modified no-three-in-line problem for even boards.
ACM Southeast Regional Conference
Jainendra K. Navlakha