Search the dblp DataBase

Publications of Author

1. Mark Allen Weiss, Jainendra K. Navlakha
   The Distribution of Keys in a Binary Heap. [Citation Graph (0, 0)][DBLP]
   WADS, 1989, pp:510-516 [Conf]
   
2. George W. Ernst, Jainendra K. Navlakha, William F. Ogden
   Verification of Programs with Procedure-Type Parameter. [Citation Graph (0, 0)][DBLP]
   Acta Inf., 1982, v:18, n:, pp:149-169 [Journal]
   
3. Jainendra K. Navlakha
   A New Proof Technique to Establish Equivalence of the Original and the General Lambda-Free CFG with Linear Increase in Size. [Citation Graph (0, 0)][DBLP]
   BIT, 1982, v:22, n:1, pp:17-26 [Journal]
   
4. Jainendra K. Navlakha
   A Survey of System Complexity Metrics. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1987, v:30, n:3, pp:233-238 [Journal]
   
5. 
   4×4 Tac-Tix is a second person game. [Citation Graph (, )][DBLP]
   
   
6. 
   REC/SM: a semi structured programming language. [Citation Graph (, )][DBLP]
   
   
7. 
   Symmetric solutions of the modified no-three-in-line problem for even boards. [Citation Graph (, )][DBLP]
   
   
8. 
   Verification of information in a file. [Citation Graph (, )][DBLP]