| 2008 |
| 10 | | Yaohang Li,
Albert C. Esterline,
Cheickna Baber,
Kawana Fuller,
Michael Burns,
Tracy Hansen,
Thomas LeFebvre,
MarySue Schultz,
Mark Govett,
Paul Hamer,
Ashvin Mysore:
A Sensor Information Framework for Integrating and Orchestrating Distributed Sensor Services.
PDPTA 2008: 857-862 |
| 9 | EE | Benedict J. Brown,
Corey Toler-Franklin,
Diego Nehab,
Michael Burns,
David P. Dobkin,
Andreas Vlachopoulos,
Christos Doumas,
Szymon Rusinkiewicz,
Tim Weyrich:
A system for high-volume acquisition and matching of fresco fragments: reassembling Theran wall paintings.
ACM Trans. Graph. 27(3): (2008) |
| 8 | EE | Michael Burns,
Adam Finkelstein:
Adaptive cutaways for comprehensible rendering of polygonal scenes.
ACM Trans. Graph. 27(5): 154 (2008) |
| 2007 |
| 7 | EE | Michael Burns,
Martin Haidacher,
Wolfgang Wein,
Ivan Viola,
Eduard Gröller:
Feature Emphasis and Contextual Cutaways for Multimodal Medical Visualization.
EuroVis 2007: 275-282 |
| 2006 |
| 6 | EE | Szymon Rusinkiewicz,
Michael Burns,
Douglas DeCarlo:
Exaggerated shading for depicting shape and detail.
ACM Trans. Graph. 25(3): 1199-1205 (2006) |
| 2005 |
| 5 | EE | Michael Burns,
Janek Klawe,
Szymon Rusinkiewicz,
Adam Finkelstein,
Douglas DeCarlo:
Line drawings from volume data.
ACM Trans. Graph. 24(3): 512-518 (2005) |
| 2000 |
| 4 | EE | Jaehong Park,
Carl Pixley,
Michael Burns,
Hyunwoo Cho:
An Efficient Logic Equivalence Checker for Industrial Circuits.
J. Electronic Testing 16(1-2): 91-106 (2000) |
| 1999 |
| 3 | EE | Marek A. Perkowski,
Rahul Malvi,
Stan Grygiel,
Michael Burns,
Alan Mishchenko:
Graph Coloring Algorithms for Fast Evaluation of Curtis Decompositions.
DAC 1999: 225-230 |
| 1998 |
| 2 | EE | Michael Burns,
Marek A. Perkowski,
Lech Józwiak:
An Efficient Approach to Decomposition of Multi-Output Boolean Functions with Large Sets of Bound Variables.
EUROMICRO 1998: 10016-10023 |
| 1996 |
| 1 | | Carl Pixley,
Noel R. Strader,
W. C. Bruce,
Jaehong Park,
Matt Kaufmann,
Kurt Shultz,
Michael Burns,
Jainendra Kumar,
Jun Yuan,
Janet Nguyen:
Commercial Design Verification: Methodology and Tools.
ITC 1996: 839-848 |