| |
| 1989 | ||
|---|---|---|
| 7 | Mark Allen Weiss, Jainendra K. Navlakha: The Distribution of Keys in a Binary Heap. WADS 1989: 510-516 | |
| 1987 | ||
| 6 | Jainendra K. Navlakha: A Survey of System Complexity Metrics. Comput. J. 30(3): 233-238 (1987) | |
| 1982 | ||
| 5 | EE | Jainendra K. Navlakha: 4×4 Tac-Tix is a second person game. ACM Southeast Regional Conference 1982: 35-46 |
| 4 | George W. Ernst, Jainendra K. Navlakha, William F. Ogden: Verification of Programs with Procedure-Type Parameter. Acta Inf. 18: 149-169 (1982) | |
| 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. BIT 22(1): 17-26 (1982) | |
| 1980 | ||
| 2 | EE | Jainendra K. Navlakha: REC/SM: a semi structured programming language. ACM Southeast Regional Conference 1980: 131-136 |
| 1 | EE | Jainendra K. Navlakha: Verification of information in a file. AFIPS National Computer Conference 1980: 871-876 |
| 1 | George W. Ernst | [4] |
| 2 | William F. Ogden | [4] |
| 3 | Mark Allen Weiss | [7] |