( en | de | ru )

 

Disambiguation of "Barnett, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
(In)Formal Methods: Teaching Program Derivation Via the Moore Method.

, , , and . Computer Science Education, 6 (1): 67-91 (1995)

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

3rd international workshop on developing tools as plug-ins (TOPI 2013)., , , , and . ICSE, page 1555. IEEE Computer Society, (2013)Load Leveling on the Paragon Multicomputer., , and . HPCN, volume 797 of Lecture Notes in Computer Science, page 330-337. Springer, (1994)To Goto Where No Statement Has Gone Before., and . VSTTE, volume 6217 of Lecture Notes in Computer Science, page 157-168. Springer, (2010)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)Cross-language optimizations in big data systems: a case study of SCOPE., , , and . ICSE (SEIP), page 45-54. ACM, (2018)A Deep Learning Analysis of Climate Change, Innovation, and Uncertainty., , , , and . CoRR, (2023)(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)