A hybrid algorithm for modeling ice formation. - Theodore Kim; Michael Henson; Ming C. Lin (Symposium on Computer Animation, 2004)

A physically based model of ice. - Theodore Kim; Michael Henson; Ming C. Lin (SIGGRAPH Sketches, 2004)

LU-GPU: Efficient Algorithms for Solving Dense Linear Systems on Graphics Hardware. - Nico Galoppo; Naga K. Govindaraju; Michael Henson; Dinesh Manocha (SC, 2005)

Interactive visibility ordering and transparency computations among geometric primitives in complex environments. - Naga K. Govindaraju; Michael Henson; Ming C. Lin; Dinesh Manocha (SI3D, 2005)

Beyond Full Disk Encryption: Protection on Security-Enhanced Commodity Processors. - Michael Henson; Stephen Taylor (ACNS, 2013)

Memory encryption: A survey of existing techniques. - Michael Henson; Stephen Taylor (ACM Comput. Surv., 2013)