Panel: Complex System Verification: The Challenge Ahead. - Ronald Collett; Mike Gianfagna; Michel Courtoy; Martin Baynes; Johan Van Ginderdeuren; Kenneth L. McMillan; Stephen Ricca; Alberto L. Sangiovanni-Vincentelli; Steve Sapiro; Naeem Zafar (DAC, 1994)

Semiconductor Industry Disaggregation vs Reaggregation: Who Will be the Shark? - Yervant Zorian; Bill Frerichs; Dennis Wassung; Jim Ensel; Guri Stark; Mike Gianfagna; Kamalesh N. Ruparel (DATE, 2005)

DFM: where's the proof of value? - Shishpal Rawat; Raul Camposano; Andrew B. Kahng; Joseph Sawicki; Mike Gianfagna; Naeem Zafar; Atul Sharan (DAC, 2006)