Michael Barr

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 3

Top Topics

International Standards

Top Venues

IEEE Ann. Hist. Comput.

Publications

Regner Sabillon, Michael Barr
Planning and Conducting Cybersecurity Audits to Assess the Effectiveness of Controls. SysCon (2024)
Michael Barr
My Time With the JFEAC. IEEE Ann. Hist. Comput. 46 (2) (2024)
Roberto Bagnara, Michael Barr, Patricia M. Hill
BARR-C: 2018 and MISRA C: 2012: Synergy Between the Two Most Widely Used C Coding Standards. CoRR (2020)
Michael Barr
. Noson Yanofsky. MIT Press, Cambridge, MA and London, England, 2013, xiv + 403 pp., ISBN 978-0-262-01935-4, $29.95. Am. Math. Mon. 121 (7) (2014)
Rachel Gawley, Jonathan Barr, Michael Barr
SoundBoom: Breaking App Barriers. MobiCASE (2011)
Rachel Gawley, Jonathan Barr, Michael Barr
Native to HTML5: A Real-World Mobile Application Case Study. MobiCASE (2011)
Michael Barr, Philip J. Scott, Robert A. G. Seely
Introduction. Math. Struct. Comput. Sci. 10 (2) (2000)
Don Davis, Michael Barr, Toby Bennett, Stephen Edwards, Jonathan Harris, Ian Miller, Chris Schanck
A Java Development and Runtime Environment for Reconfigurable Computing. IPPS/SPDP Workshops (1998)
Michael Barr
Appendix: Separability of Tensor in Chu Categories of Cector Spaces. Math. Struct. Comput. Sci. 6 (2) (1996)
Michael Barr, Maria-Cristina Pedicchio
Topological spaces and quasi-varieties. Appl. Categorical Struct. 4 (1) (1996)
Michael Barr
Fuzzy Models of Linear Logic. Math. Struct. Comput. Sci. 6 (3) (1996)
Michael Barr
Nonsymmetric *-Autonomous Categories. Theor. Comput. Sci. 139 (1&2) (1995)
Michael Barr
Additions and Corrections to "Terminal Coalgebras in Well-founded Set Theory". Theor. Comput. Sci. 124 (1) (1994)
Michael Barr
Terminal Coalgebras in Well-Founded Set Theory. Theor. Comput. Sci. 114 (2) (1993)
Michael Barr
*-Autonomous Categories and Linear Logic. Math. Struct. Comput. Sci. 1 (2) (1991)
Michael Barr
HSP Type Theorems in the Category of Posets. MFPS (1991)
Michael Barr
Fixed Points in Cartesian Closed Categories. Theor. Comput. Sci. 70 (1) (1990)
Charles Wells, Michael Barr
The Formal Description of Data Types Using Sketches. MFPS (1987)