Manpreet Khaira

1999
4	EE	Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman: Logic Verification of Very Large Circuits Using Shark. VLSI Design 1999: 310-317
1996
3	EE	Edmund M. Clarke, Manpreet Khaira, Xudong Zhao: Word Level Model Checking - Avoiding the Pentium FDIV Error. DAC 1996: 645-648
2		Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao: Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. FMCAD 1996: 19-33
1991
1		H. T. Kung, Peter Steenkiste, Marco Gubitoso, Manpreet Khaira: Parallelizing a New Class of Large Applications over High-speed Networks. PPOPP 1991: 167-177

Coauthor Index

1	Jeremy Casas	[4]
2	Yirng-An Chen	[2]
3	Edmund M. Clarke	[2] [3]
4	Marco Gubitoso	[1]
5	Pei-Hsin Ho	[2]
6	Yatin Vasant Hoskote	[2]
7	Mandar Joshi	[4]
8	Timothy Kam	[2]
9	H. T. Kung	[1]
10	John W. O'Leary	[2]
11	Steve W. Otto	[4]
12	Erik Seligman	[4]
13	Peter Steenkiste	[1]
14	Thomas Tetzlaff	[4]
15	Hannah Honghua Yang (Honghua Yang)	[4]
16	Xudong Zhao	[2] [3]

Colors in the list of coauthors