Statistics
Publications
43
Citations
2.9K
H-Index
24
Active since
1979
Mike Barnett is an author at Microsoft (United States) specializing in computer science, computing, and formal methods.
Publications per year
1979–2021
43
43
Verification of Object-Oriented Programs with Invariants.
Mike Barnett, Robert DeLine, Manuel Fähndrich et al. · The Journal of Object Technology · 2004 · 327 citations · Full text
Electromagnetism supercharged!: learning physics with digital simulation games
Kurt Squire, Mike Barnett, Jamillah M. A. Grant et al. · 2004 · 247 citations
Boogie: a modular reusable verifier for object-oriented programs
Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine et al. · 2006 · 244 citations
Specification and verification
Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino et al. · Communications of the ACM · 2011 · 189 citations
1–5 of 43