The Formal Description of Data Types Using Sketches. - Charles Wells; Michael Barr (MFPS, 1987)

Category theory for computing science. - Michael Barr; Charles Wells (Prentice Hall, 1990)

Fixed Points in Cartesian Closed Categories. - Michael Barr (Theor. Comput. Sci., 1990)

HSP Type Theorems in the Category of Posets. - Michael Barr (MFPS, 1991)

*-Autonomous Categories and Linear Logic. - Michael Barr (Math. Struct. Comput. Sci., 1991)

Terminal Coalgebras in Well-Founded Set Theory. - Michael Barr (Theor. Comput. Sci., 1993)

Additions and Corrections to "Terminal Coalgebras in Well-founded Set Theory". - Michael Barr (Theor. Comput. Sci., 1994)

Category theory for computing science (2. ed.). - Michael Barr; Charles Wells (Prentice Hall, 1995)

Nonsymmetric *-Autonomous Categories. - Michael Barr (Theor. Comput. Sci., 1995)

Topological spaces and quasi-varieties. - Michael Barr; Maria-Cristina Pedicchio (Appl. Categorical Struct., 1996)

Appendix: Separability of Tensor in Chu Categories of Cector Spaces. - Michael Barr (Math. Struct. Comput. Sci., 1996)

Fuzzy Models of Linear Logic. - Michael Barr (Math. Struct. Comput. Sci., 1996)

A Java Development and Runtime Environment for Reconfigurable Computing. - Don Davis; Michael Barr; Toby Bennett; Stephen Edwards; Jonathan Harris; Ian Miller; Chris Schanck (IPPS/SPDP Workshops, 1998)

Programming embedded systems in C and C++ - thinking inside the box. - Michael Barr (O'Reilly, 1999)

Introduction. - Michael Barr; Philip J. Scott; Robert A. G. Seely (Math. Struct. Comput. Sci., 2000)

Programming embedded systems - with C and GNU development tools: thinking inside the box: includes real-time and Linux examples (2. ed.). - Michael Barr; Anthony Massa (O'Reilly, 2006)

Native to HTML5: A Real-World Mobile Application Case Study. - Rachel Gawley; Jonathan Barr; Michael Barr (MobiCASE, 2011)

SoundBoom: Breaking App Barriers. - Rachel Gawley; Jonathan Barr; Michael Barr (MobiCASE, 2011)

Review: The Outer Limits of Reason. Noson Yanofsky. MIT Press, Cambridge, MA and London, England, 2013, xiv + 403 pp., ISBN 978-0-262-01935-4, $29.95. - Michael Barr (Am. Math. Mon., 2014)

BARR-C: 2018 and MISRA C: 2012: Synergy Between the Two Most Widely Used C Coding Standards. - Roberto Bagnara; Michael Barr; Patricia M. Hill (CoRR, 2020)

Planning and Conducting Cybersecurity Audits to Assess the Effectiveness of Controls. - Regner Sabillon; Michael Barr (SysCon, 2024)

My Time With the JFEAC. - Michael Barr (IEEE Ann. Hist. Comput., 2024)