Commercial Design Verification: Methodology and Tools. - Carl Pixley; Noel R. Strader; William C. Bruce; Jaehong Park; Matt Kaufmann; Kurt Shultz; Michael Burns; Jainendra Kumar; Jun Yuan 007; Janet Nguyen (ITC, 1996)

An Efficient Approach to Decomposition of Multi-Output Boolean Functions with Large Sets of Bound Variables. - Michael Burns; Marek A. Perkowski; Lech Józwiak (EUROMICRO, 1998)

Graph Coloring Algorithms for Fast Evaluation of Curtis Decompositions. - Marek A. Perkowski; Rahul Malvi; Stan Grygiel; Michael Burns; Alan Mishchenko (DAC, 1999)

An Efficient Logic Equivalence Checker for Industrial Circuits. - Jaehong Park; Carl Pixley; Michael Burns; Hyunwoo Cho (J. Electron. Test., 2000)

Line drawings from volume data. - Michael Burns; Janek Klawe; Szymon Rusinkiewicz; Adam Finkelstein; Douglas DeCarlo (ACM Trans. Graph., 2005)

Exaggerated shading for depicting shape and detail. - Szymon Rusinkiewicz; Michael Burns; Douglas DeCarlo (ACM Trans. Graph., 2006)

Feature Emphasis and Contextual Cutaways for Multimodal Medical Visualization. - Michael Burns; Martin Haidacher; Wolfgang Wein; Ivan Viola; M. Eduard Gröller (EuroVis, 2007)

A Sensor Information Framework for Integrating and Orchestrating Distributed Sensor Services. - Yaohang Li; Albert C. Esterline; Cheickna Baber; Kawana Fuller; Michael Burns; Tracy Hansen; Thomas LeFebvre; MarySue Schultz; Mark Govett; Paul Hamer; Ashvin Mysore (PDPTA, 2008)

A system for high-volume acquisition and matching of fresco fragments: reassembling Theran wall paintings. - Benedict J. Brown; Corey Toler-Franklin; Diego Nehab; Michael Burns; David P. Dobkin; Andreas Vlachopoulos; Christos Doumas; Szymon Rusinkiewicz; Tim Weyrich (ACM Trans. Graph., 2008)

Adaptive cutaways for comprehensible rendering of polygonal scenes. - Michael Burns; Adam Finkelstein (ACM Trans. Graph., 2008)