We stand with Ukraine  

Jainendra K. Navlakha

Affiliations:
  • Florida International University, University Park, FL, USA


According to our database1, Jainendra K. Navlakha authored at least 13 papers between 1979 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Data-Driven Techniques in Disaster Information Management.
[BibTeX]
[DOI]
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
ACM Comput. Surv., 2017

2012
Disaster SitRep - A vertical search engine and information analysis tool in disaster management domain.
[BibTeX]
[DOI]
Li Zheng
,
Chao Shen
,
Liang Tang
,
Chunqiu Zeng
,
Tao Li
,
Steven Luis
,
Shu-Ching Chen
,
Jainendra K. Navlakha
Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012

MADIS: A Multimedia-Aided Disaster information Integration System for emergency management.
[BibTeX]
[DOI]
Yimin Yang
,
Wenting Lu
,
Jesse Domack
,
Tao Li
,
Shu-Ching Chen
,
Steven Luis
,
Jainendra K. Navlakha
Proceedings of the 8th International Conference on Collaborative Computing: Networking, 2012

1990
Choosing a software cost estimation model for your organization: A case study.
[BibTeX]
[DOI]
Jainendra K. Navlakha
Inf. Manag., 1990

1989
The Distribution of Keys in a Binary Heap.
[BibTeX]
[DOI]
Mark Allen Weiss
,
Jainendra K. Navlakha
Proceedings of the Algorithms and Data Structures, 1989

1988
On Hopfield neural networks.
[BibTeX]
[DOI]
William B. Feild Jr.
,
Jainendra K. Navlakha
Neural Networks, 1988

1987
A Survey of System Complexity Metrics.
[BibTeX]
[DOI]
Jainendra K. Navlakha
Comput. J., 1987

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

Verification of Programs with Procedure-Type Parameter.
[BibTeX]
[DOI]
George W. Ernst
,
Jainendra K. Navlakha
,
William F. Ogden
Acta Informatica, 1982

4×4 Tac-Tix is a second person game.
[BibTeX]
[DOI]
Jainendra K. Navlakha
Proceedings of the 20th Annual Southeast Regional Conference, 1982

1980
Verification of information in a file.
[BibTeX]
[DOI]
Jainendra K. Navlakha
Proceedings of the American Federation of Information Processing Societies: 1980 National Computer Conference, 1980

REC/SM: a semi structured programming language.
[BibTeX]
[DOI]
Jainendra K. Navlakha
Proceedings of the 18th Annual Southeast Regional Conference, 1980

1979
Symmetric solutions of the modified no-three-in-line problem for even boards.
[BibTeX]
[DOI]
Jainendra K. Navlakha
Proceedings of the 17th Annual Southeast Regional Conference, 1979


  Loading...