( en | de | ru )

 

Disambiguation of "Barnett, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Boogie: A Modular Reusable Verifier for Object-Oriented Programs.

, , , , and . FMCO, volume 4111 of Lecture Notes in Computer Science, page 364-387. Springer, (2005)

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

Winfried Barnett

Paul Barnett

Granville Barnett

 

Other publications of authors with the same name

To Goto Where No Statement Has Gone Before., and . VSTTE, volume 6217 of Lecture Notes in Computer Science, page 157-168. Springer, (2010)Load Leveling on the Paragon Multicomputer., , and . HPCN, volume 797 of Lecture Notes in Computer Science, page 330-337. Springer, (1994)A Deep Learning Analysis of Climate Change, Innovation, and Uncertainty., , , , and . CoRR, (2023)3rd international workshop on developing tools as plug-ins (TOPI 2013)., , , , and . ICSE, page 1555. IEEE Computer Society, (2013)Cross-language optimizations in big data systems: a case study of SCOPE., , , and . ICSE (SEIP), page 45-54. ACM, (2018)The formal derivation of distributed programs from systolic arrays.. SPDP, page 363-366. IEEE Computer Society, (1990)Building a high-performance collective communication library., , , , , and . SC, page 107-116. IEEE Computer Society, (1994)(In)Formal Methods: Teaching Program Derivation Via the Moore Method., , , and . Computer Science Education, 6 (1): 67-91 (1995)A Systolizing Compilation Scheme: Abstract., and . ICPP (2), page 296-297. CRC Press, (1991)Climate Change and Uncertainty: An Asset Pricing Perspective.. Manag. Sci., 69 (12): 7562-7584 (December 2023)