Fundamental Limits to Timing Accuracy. - Michael Keating (ITC, 1986)

An Improved Search Algorithm. - Michael Keating (ITC, 1986)

Panel: What is the Proper System on Chip Design Methodology. - Richard Goering; Pierre Bricaud; James G. Dougherty; Steve Glaser; Michael Keating; Robert Payne; Davoud Samani (DAC, 1999)

Measuring Design Quality by Measuring Design Complexity. - Michael Keating (ISQED, 2000)

The IP Quality Revolution. - Michael Keating (ISQED, 2004)

IP Quality: A Design, Not a Verification Problem. - Michael Keating (ISQED, 2005)

Simplicity and Executability: Cornerstones of Quality. - Michael Keating (ISQED, 2006)

Low Power Methodology Manual - for System-on-Chip Design. - Michael Keating; David Flynn; Robert C. Aitken; Alan Gibbons; Kaijian Shi (Springer, 2007)

Educational software packages for the One Laptop Per Child (OLPC) XO laptop. - Michael Keating (ACM Southeast Regional Conference, 2009)

The roadblocks to broad adoption of high level synthesis. - Michael Keating (VTS, 2010)