Mike Barnett - Concepedia

Author

Mike Barnett

Microsoft (United States)

Also Known As

M. Barnett, M.M. Barnett, Mike Barnett, Schulte, Wolfram

Publications

Citations

H-Index

116

Concepts

All Affiliations

Microsoft (United States)Microsoft Research (United Kingdom)Boston College Intel (United States)University of Washington

About

Mike Barnett is an author at Microsoft (United States) specializing in engineering, computer science, and program analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	20	27	1.9K
2	Education	6	6	443
3	Management	4	4	242
4	Language Studies	3	3	246
5	Arts	1	1	246

Mike Barnett

Publications

2.9K

Citations

H-Index

Page 1

	Year	Citations
Verification of Object-Oriented Programs with Invariants. Mike Barnett, Robert DeLine, Manuel Fähndrich, The Journal of Object Technology	2004	326
Electromagnetism supercharged!: learning physics with digital simulation games Kurt Squire, Mike Barnett, Jamillah M. A. Grant, International Conference of Learning Sciences Science EducationEducationSimulation Video GameVideo GamesLearning In Games	2004	246
Boogie: a modular reusable verifier for object-oriented programs Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine, EngineeringProgram AnalysisObject-oriented ModelingComputer ArchitectureSoftware Engineering	2006	242
Weakest-precondition of unstructured programs Mike Barnett, K. Rustan M. Leino ACM SIGSOFT Software Engineering Notes Structured ProgramProgram CheckingEngineeringVerificationComputer-aided Verification	2005	203
Specification and verification Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Communications of the ACM EngineeringMultilingualismVerificationSoftware EngineeringSoftware Analysis	2011	187
Trill Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, Proceedings of the VLDB Endowment EngineeringBig Data AnalyticsComputer ArchitectureData Streaming ArchitectureTempo-relational Model	2014	178
FASTER Badrish Chandramouli, Guna Prasaad, Donald Kossmann, Cluster ComputingStorage PerformanceEngineeringEdge ComputingHybrid Log	2018	145
Interprocessor collective communication library (InterCom) Mike Barnett, Lance Shuler, Robert A. Geijn, Network FlowsEngineeringMesh NetworkComputer EngineeringComputer Architecture	2002	141
Weakest-precondition of unstructured programs Mike Barnett, K. Rustan M. Leino Structured ProgramProgram CheckingEngineeringVerificationComputer-aided Verification	2005	119
Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets Mike Barnett, Christian Bird, João Brunet, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Software MaintenanceEngineeringChange Impact AnalysisVerificationSoftware Engineering	2015	96

Page 1