Nonrigid registration using regularization that accomodates local tissue rigidity. - Dan Ruan; Jeffrey A. Fessler; Michael Roberson; James M. Balter; Marc L. Kessler (Image Processing, 2006)

A type system for preventing data races and deadlocks in the java virtual machine language: 1. - Pratibha Permandla; Michael Roberson; Chandrasekhar Boyapati (LCTES, 2007)

Efficient software model checking of soundness of type systems. - Michael Roberson; Melanie Harries; Paul T. Darga; Chandrasekhar Boyapati (OOPSLA, 2008)

Efficient modular glass box software model checking. - Michael Roberson; Chandrasekhar Boyapati (OOPSLA, 2010)

Glass Box Software Model Checking. - Michael Roberson (2011)