Post Office Protocol: Version 2. - Michael Butler; Jon Postel; Dale Chase; Joel Goldberger; Joyce K. Reynolds (RFC, 1985)

An Area-Efficient Register Alias Table for Implementing HPS. - Michael Butler; Yale N. Patt (ICPP (1), 1990)

Single Instruction Stream Parallelism is Greater Than Two. - Michael Butler; Tse-Yu Yeh; Yale N. Patt; Mitch Alsup; Hunter Scales; Michael Shebanow (ISCA, 1991)

The Effect of Real Data Cache Behavior on the Performance of a Microarchitecture that Supports Dynamic Scheduling. - Michael Butler; Yale N. Patt (MICRO, 1991)

An investigation of the performance of various dynamic scheduling techniques. - Michael Butler; Yale N. Patt (MICRO, 1992)

A comparative performance evaluation of various state maintenance mechanisms. - Michael Butler; Yale N. Patt (MICRO, 1993)

Aggressive execution engines for surpassing single basic block execution. - Michael Butler (1993)

Global Education via the Web: The GloablEd Project. - Scott W. Brown; Mark A. Boyer; Hayley J. Mayall; Paula R. Johnson; Lin Meng; Michael Butler; Kimberley Weir; Natalie Florea; Sally Reis (ICCE, 2002)

A self-configuring and self-administering name system with dynamic address assignment. - Paul Huck; Michael Butler; Amar Gupta; Michael Feng (ACM Trans. Internet Techn., 2002)

Bulldozer: An Approach to Multithreaded Compute Performance. - Michael Butler; Leslie Barnes; Debjit Das Sarma; Bob Gelinas (IEEE Micro, 2011)

PERSPECTIVE - Organizational Cognitive Neuroscience. - Carl Senior; Nick Lee; Michael Butler (Organ. Sci., 2011)

Evaluation of the Microsoft Kinect for screening ACL injury. - Erik E. Stone; Michael Butler; Aaron McRuer; Aaron Gray; Jeffrey Marks; Marjorie Skubic (EMBC, 2013)

Semi-automated detection of single cell signatures from a dielectrophoretic cytometer. - Bahareh Saboktakin Rizi; Ashlesha Bhide; Tim Cabel; Marija Nikolic-Jaric; Elham Salimi; Katrin Braasch; Michael Butler; Greg E. Bridges; Douglas J. Thomson (I2MTC, 2013)

Microfluidic device for simultaneous pulsed electric field electroporation and dielectrophoresis studies of single biological cells. - Elham Salimi; Marija Nikolic-Jaric; Tim Cabel; Katrin Braasch; Vincent Jung; Michael Butler; Douglas J. Thomson; Greg E. Bridges (I2MTC, 2013)

Exploration of "What-If" Scenarios: A Prototype for Research Buildings at Stanford's School of Medicine. - Felicia Cleper-Borkovi; Sudha Hajela; Alexander Khainson; Zachary Deretsky; Michael Butler (TSTIP@COSIT, 2015)

Improving Application Concurrency on GPUs by Managing Implicit and Explicit Synchronizations. - Michael Butler; Kittisak Sajjapongse; Michela Becchi (ICPADS, 2015)

Reasoned Modelling with Event-B. - Michael Butler (SETSS, 2016)

An evolutionary optimization based interval type-2 fuzzy classification system for human behaviour recognition and summarisation. - Bo Yao 001; Hani Hagras; Jason J. Lepley; Robert Peall; Michael Butler (SMC, 2016)

Clinically Significant Information Extraction from Radiology Reports. - Nidhin Nandhakumar; Ehsan Sherkat; Evangelos E. Milios; Hong Gu; Michael Butler (DocEng, 2017)

DevFemOps: enhancing maintainability based on microservices using formal engineering methods. - Tetsuo Fukuzaki; Shaoying Liu; Michael Butler (Connect. Sci., 2022)