( en | de | ru )

 

Disambiguation of "Barnett, Mike"

Author of the publication

copydeleteadd this publication to your clipboard
Trill: Engineering a Library for Diverse Analytics.

, , , and . IEEE Data Eng. Bull., 38 (4): 51-60 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kerstin Barnett

Adam Barnett

Paul Barnett

Winfried Barnett

Granville Barnett

 

Other publications of authors with the same name

Spying on Components: A Runtime Verification Technique, and . Proc. of the Workshop on Specification and Verification of Component- Based Systems OOPSLA 2001, (2001)Code Contracts for .NET: Runtime Verification and So Much More.. RV, volume 6418 of Lecture Notes in Computer Science, page 16-17. Springer, (2010)Electromagnetism Supercharged! Learning Physics with Digital Simulation Games., , , and . ICLS, International Society of the Learning Sciences, (2004)A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications., , , , , , , , , and 3 other author(s). Proc. VLDB Endow., 13 (5): 588-601 (2020)Using geographic information systems to support student learning through urban ecology., and . ICLS (1), page 93-100. International Society of the Learning Sciences, (2008)The Spec# Programming System: An Overview., , and . CASSIS, volume 3362 of Lecture Notes in Computer Science, page 49-69. Springer, (2004)Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets., , , and . ICSE (1), page 134-144. IEEE Computer Society, (2015)