Concepedia

Michael Roberson

MR

Statistics

Publications

3

Citations

82

H-Index

3

Active since

2006

Affiliations

University of Michigan(Current)

Michael Roberson is an author at University of Michigan specializing in engineering, system software, and formal verification.

Top concepts

Publications per year

2006–2008

3

Publications

3

Nonrigid registration using regularization that accomodates local tissue rigidity

Dan Ruan, Jeffrey A. Fessler, Michael Roberson et al. · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2006 · 35 citations · Full text

, , +20

Efficient software model checking of soundness of type systems

Michael Roberson, Melanie Harries, Paul T. Darga et al. · 2008 · 28 citations

, , +18

A type system for preventing data races and deadlocks in the java virtual machine language

Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati · 2007 · 19 citations

, , +22

1–3 of 3