Katherine R. Kohatsu
According to our database1,
Katherine R. Kohatsu
authored at least 3 papers
between 2000 and 2003.
Collaborative distances:
Collaborative distances:
Timeline
2000
2001
2002
2003
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2003
Proof engineering in the large: formal verification of Pentium?4 floating-point divider.
Int. J. Softw. Tools Technol. Transf., 2003
2001
Proof Engineering in the Large: Formal Verification of Pentium<sup>®</sup> 4 Floating-Point Divider.
Proceedings of the Correct Hardware Design and Verification Methods, 2001
2000
Proceedings of the 37th Conference on Design Automation, 2000