Katherine R. Kohatsu

	2003
3		Roope Kaivola, Katherine R. Kohatsu: Proof engineering in the large: formal verification of Pentium?4 floating-point divider. STTT 4(3): 323-334 (2003)
	2001
2		Roope Kaivola, Katherine R. Kohatsu: Proof Engineering in the Large: Formal Verification of Pentium® 4 Floating-Point Divider. CHARME 2001: 196-211
	2000
1		Mark Aagaard, Robert B. Jones, Roope Kaivola, Katherine R. Kohatsu, Carl-Johan H. Seger: Formal verification of iterative algorithms in microprocessors. DAC 2000: 201-206

Coauthor Index

1	Mark Aagaard	[1]
2	Robert B. Jones	[1]
3	Roope Kaivola	[1] [2] [3]
4	Carl-Johan H. Seger	[1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page