On Minimal Modulo 2 Sums of Products for Switching Functions. - Shimon Even; Igal Kohavi; Azaria Paz (IEEE Trans. Electron. Comput., 1967)

Variable-Length Distinguishing Sequences and Their Application to the Design of Fault-Detection Experiments. - Igal Kohavi; Zvi Kohavi (IEEE Trans. Computers, 1968)

Fault Diagnosis of Logical Circuits - Igal Kohavi (SWAT, 1969)

Detection of Multiple Faults in Combinational Logic Networks. - Igal Kohavi; Zvi Kohavi (IEEE Trans. Computers, 1972)

Machine Distinguishing Experiments. - Zvi Kohavi; J. A. Rivierre; Igal Kohavi (Comput. J., 1973)

Checking experiments for sequential machines. - Zvi Kohavi; J. A. Rivierre; Igal Kohavi (Inf. Sci., 1974)