Jainendra K. Navlakha
According to our database1, Jainendra K. Navlakha
Legend:Book In proceedings Article PhD thesis Other
Data-Driven Techniques in Disaster Information Management.
ACM Comput. Surv., 2017
Disaster SitRep - A vertical search engine and information analysis tool in disaster management domain.
Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012
MADIS: A Multimedia-Aided Disaster information Integration System for emergency management.
Proceedings of the 8th International Conference on Collaborative Computing: Networking, 2012
Choosing a software cost estimation model for your organization: A case study.
Information & Management, 1990
The Distribution of Keys in a Binary Heap.
Proceedings of the Algorithms and Data Structures, 1989
On Hopfield neural networks.
Neural Networks, 1988
A Survey of System Complexity Metrics.
Comput. J., 1987
A New Proof Technique to Establish Equivalence of the Original and the General Lambda-Free CFG with Linear Increase in Size.
Verification of Programs with Procedure-Type Parameter.
Acta Inf., 1982
4×4 Tac-Tix is a second person game.
Proceedings of the 20th Annual Southeast Regional Conference, 1982
Verification of information in a file.
Proceedings of the American Federation of Information Processing Societies: 1980 National Computer Conference, 1980
REC/SM: a semi structured programming language.
Proceedings of the 18th Annual Southeast Regional Conference, 1980
Symmetric solutions of the modified no-three-in-line problem for even boards.
Proceedings of the 17th Annual Southeast Regional Conference, 1979