College of Engineering and Computing
Site Map Contact Login IM CIS Mail Calendar SSH
  Home >> Directory >> Jainendra K Navlakha >> Publications
FIU Home

Publications
  1. "Symmetric solutions of the modified No-3-in-line problem for even boards", Proc. of the 17th annual SE ACM Conference , April 1979, pp. 81-86.

  2. "REC/SM: A semi-structured programming language", Proc. of the 18th annual SE ACM conference , March 1980 pp. 131 - 136.

  3. "Verification of information in a file", Proc. of the National Computer Conference MAY 1980 , pp. 871-876.

  4. "Program verification: User oriented or verifier oriented", Proc. of the 19th annual SE ACM Conference , March 1981.

  5. "A new proof technique to establish equivalence of the original and the generated context free grammar with linear increase in size", BIT , Vol. 22, 1982, pp. 17-26.

  6. "4X4 Tac-Tix is a second person game", Proc. of the 20th annual SE ACM Conference , April 1982, pp. 35-46.

  7. "Finding the k-th largest element in a large heap in O(k log log n) time", Proc. of THE 1982 conference on Information Sciences and systems , pp. 66-69.

  8. "Verification of programs with procedure-type parameters", (with G.W. Ernst and W.F. Ogden), Acta Informatica , Vol. 18, 1982, pp. 149-169.

  9. "Computers in education in the developing countries", Proc. of the 21st Annual SE ACM Conference , April 1983.

  10. "An analytical technique for 3-dimensional interpolation", BIT , Vol. 24, 1984. pp. 119-122.

  11. "Software productivity and its management", Proc. of the National Computer Conference , 1985, pp. 501-506.

  12. "Customized software cost estimation models for individual environments", Proc. of the EURO SOFTWARE '86 , MAY 1986, 14 pages.

  13. "Software productivity metrics: Some candidates and their evaluation", Proc. Off the National Computer Conference , 1986, pp. 69-75.

  14. "A survey of system complexity metrics", Computer Journal , Vol. 30, No. 3, 1987, pp. 233-238.
    Highlighted in Microprocessors and Microsystems, R&D Reports , Nov.1987, pp.506.

  15. "Measuring the effect of external and internal interfaces on software development", Proc. of the 20th annual Hawaii international conference on system sciences , Jan. 1987, pp. 127-137.

  16. "Software productivity metrics: Properties, advantages, evaluation", Invited paper - Proceedings of the Fifth International Conference on Microcomputer and Microprocessor Applications , Sep. 1987.

  17. "A scheme for the measurement of software productivity", Proceedings of Computer Science and Applications Conf., COMPSAC '87 , Oct. 1987, pp.208-213.

  18. "Application of software interface complexity metrics: an example", Proceedings-Intl. Workshop on software engg. and its applications , pp. 599-608, Dec. 1988.

  19. "Transputer implementation of Hopfield neural network", Proceedings of the ISMM International Conference MINI and MICRO computers , Dec. 1988, (With Bill Feild), pp. 40-43.
    Also published in Design and Electronik (German Magazine) , Special Issue on Neural Networks, March 1989.

  20. "Music and Expert Systems: Translating keyboard music to guitar chords", Proceedings of 2nd Annual Florida AI Research Symposium , April 1989, (With Bill Feild, Gisela Fraguio and Mark Weiss).
    Also published in Advances of Artificial Intelligence Research , Vol. 2, 1992, Edited by Mark B. Fishman.

  21. "Expert Assistant for a clinical hematology blood cell analyzer", SPIE Proceedings of Applications of AI VII , March 1989, pp. 894-903, (With Carole Young).

  22. "On choosing non-random input exemplars to form stable states in Hopfield neural net", Proceedings International Computer Science Conference , June 1988, (With Bill Feild).

  23. "The Distribution of keys in a binary heap", Proceedings of Workshop on Algorithms and Data Structures , Springer Verlag Lecture Notes No. 382, 1989. pp .510 - 516, (With Mark Weiss) .

  24. "A semantic binary connectionist network: Hybrid expert system knowledge based design", Proceedings of International Association of Science and Technology for Development , December 1989, (With Bill Feild and Naphtali Rishe).

  25. "An expert bidder for a pilot's monthly schedule", To be published in Proceedings of Applications of AI VIII , April 1990, pp. 724-735, (With Kenneth Morris).

  26. "On choosing a software cost estimation model for your organization: A case study", Information and Management , Vol. 18, 1990, pp. 255-261.

  27. "Choosing non-random input exemplars to form stable states in a transputerbased Hopfield neural network", International Journal of Mini and Microcomputers" , Vol. 12, No. 2, 1990, (With Bill Feild).
 
© 2008 School of Computing and Information Sciences @ FIU
[ Prospective Students ]  [ Research, Industry & Grant Agencies ]  [ Enrolled Students ]  [ Services ]  

Undergraduate Info: info-undergrad@cis.fiu.edu
Graduate Info: grad-info@cis.fiu.edu 		Webmaster: webmaster@cis.fiu.edu
Policy