Katherine R. Kohatsu

According to our database1, Katherine R. Kohatsu authored at least 3 papers between 2000 and 2003.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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
Formal verification of iterative algorithms in microprocessors.
Proceedings of the 37th Conference on Design Automation, 2000


  Loading...