Concepedia

Zvi Kohavi

ZK

Statistics

Publications

7

Citations

338

H-Index

7

Active since

1964

Affiliations

Technion – Israel Institute of Technology(Current)

Massachusetts Institute of Technology

Zvi Kohavi is an author at Technion – Israel Institute of Technology specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsVerificationSoftware TestingFormal VerificationAutomated ReasoningSystems EngineeringComputer EngineeringReliability Engineering

Publications per year

1964–1995

7

Publications

7

Detection of Multiple Faults in Combinational Logic Networks

I. Kohavi, Zvi Kohavi · IEEE Transactions on Computers · 1972 · 74 citations

Engineering, Verification, Network Analysis +18

Design of Sequential Machines with Fault-Detection Capabilities

Zvi Kohavi, Pierre Lavallee · IEEE Transactions on Electronic Computers · 1967 · 66 citations

Fault Diagnosis, Engineering, Verification +18

An optimal algorithm for cycle breaking in directed graphs

Tatiana Orenstein, Zvi Kohavi, Irith Pomeranz · Journal of Electronic Testing · 1995 · 50 citations

Directed Graph, Engineering, Graph Theory +6

Checking experiments for sequential machines

Zvi Kohavi, Jacques André Rivierre, I. Kohavi · Information Sciences · 1974 · 49 citations

Engineering, Automated Reasoning, Software Testing +8

Variable-Length Distinguishing Sequences and Their Application to the Design of Fault-Detection Experiments

I. Kohavi, Zvi Kohavi · IEEE Transactions on Computers · 1968 · 40 citations

Fault Diagnosis, Engineering, Verification +19

1–5 of 7