Michael Barr - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2024

My Time With the JFEACMichael Barr. annals, 46(2):66-71, April - June 2024. [doi]

Planning and Conducting Cybersecurity Audits to Assess the Effectiveness of ControlsRegner Sabillon, Michael Barr. syscon 2024: 1-6 [doi]

2014

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.95Michael Barr. tamm, 121(7):658-660, 2014. [doi]

2011

Native to HTML5: A Real-World Mobile Application Case StudyRachel Gawley, Jonathan Barr, Michael Barr. mobicase 2012: 188-206 [doi]

SoundBoom: Breaking App BarriersRachel Gawley, Jonathan Barr, Michael Barr. mobicase 2012: 345-348 [doi]

2006

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. [doi]

2000

IntroductionMichael Barr, Philip J. Scott, R. A. G. Seely. mscs, 10(2):97-98, 2000.

1999

Programming embedded systems in C and C++ - thinking inside the boxMichael Barr. O Reilly, 1999.

1998

A Java Development and Runtime Environment for Reconfigurable ComputingDon Davis, Michael Barr, Toby Bennett, Stephen Edwards, Jonathan Harris, Ian Miller, Chris Schanck. ipps 1998: 43-48

1996

Fuzzy Models of Linear LogicMichael Barr. mscs, 6(3):301-312, 1996.

Appendix: Separability of Tensor in Chu Categories of Cector SpacesMichael Barr. mscs, 6(2):213-217, 1996.

Topological spaces and quasi-varietiesMichael Barr, Maria-Cristina Pedicchio. acs, 4(1):81-85, 1996. [doi]

1995

Category theory for computing science (2. ed.)Michael Barr, Charles Wells. Prentice Hall international series in computer science, Prentice Hall, 1995.

Nonsymmetric *-Autonomous CategoriesMichael Barr. TCS, 139(1&2):115-130, 1995. [doi]

1994

Additions and Corrections to Terminal Coalgebras in Well-founded Set Theory Michael Barr. TCS, 124(1):189-192, 1994.

1993

Terminal Coalgebras in Well-Founded Set TheoryMichael Barr. TCS, 114(2):299-315, 1993.

1991

HSP Type Theorems in the Category of PosetsMichael Barr. mfps 1992: 221-234

*-Autonomous Categories and Linear LogicMichael Barr. mscs, 1(2):159-178, 1991.

1990

Category theory for computing scienceMichael Barr, Charles Wells. Prentice Hall International Series in Computer Science, Prentice Hall, 1990.

Fixed Points in Cartesian Closed CategoriesMichael Barr. TCS, 70(1):65-72, 1990.

1987

The Formal Description of Data Types Using SketchesCharles Wells, Michael Barr. mfps 1988: 490-527

Sign in or sign up to see more results.

runs on WebDSL