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 |