Michael Barr - RankMe

22 papers B 2Journal 12Unranked 4

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	My Time With the JFEAC. IEEE Ann. Hist. Comput. Michael Barr
2024	—	`conf`	Planning and Conducting Cybersecurity Audits to Assess the Effectiveness of Controls. SysCon Regner Sabillon, Michael Barr
2020	J	`jnl`	BARR-C: 2018 and MISRA C: 2012: Synergy Between the Two Most Widely Used C Coding Standards. CoRR Roberto Bagnara, Michael Barr, Patricia M. Hill
2014	J	`jnl`	Review: Am. Math. Mon. Michael Barr
2011	—	`conf`	Native to HTML5: A Real-World Mobile Application Case Study. MobiCASE Rachel Gawley, Jonathan Barr, Michael Barr
2011	—	`conf`	SoundBoom: Breaking App Barriers. MobiCASE Rachel Gawley, Jonathan Barr, Michael Barr
2006	—	`book`	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
2000	J	`jnl`	Introduction. Math. Struct. Comput. Sci. Michael Barr, Philip J. Scott, Robert A. G. Seely
1999	—	`book`	Programming embedded systems in C and C++ - thinking inside the box. Michael Barr
1998	—	`conf`	A Java Development and Runtime Environment for Reconfigurable Computing. IPPS/SPDP Workshops Don Davis, Michael Barr, Toby Bennett, Stephen Edwards, Jonathan Harris, Ian Miller, Chris Schanck
1996	J	`jnl`	Appendix: Separability of Tensor in Chu Categories of Cector Spaces. Math. Struct. Comput. Sci. Michael Barr
1996	J	`jnl`	Fuzzy Models of Linear Logic. Math. Struct. Comput. Sci. Michael Barr
1996	J	`jnl`	Topological spaces and quasi-varieties. Appl. Categorical Struct. Michael Barr, Maria-Cristina Pedicchio
1995	—	`book`	Category theory for computing science (2. ed.). Michael Barr, Charles Wells
1995	J	`jnl`	Nonsymmetric *-Autonomous Categories. Theor. Comput. Sci. Michael Barr
1994	J	`jnl`	Additions and Corrections to "Terminal Coalgebras in Well-founded Set Theory". Theor. Comput. Sci. Michael Barr
1993	J	`jnl`	Terminal Coalgebras in Well-Founded Set Theory. Theor. Comput. Sci. Michael Barr
1991	J	`jnl`	*-Autonomous Categories and Linear Logic. Math. Struct. Comput. Sci. Michael Barr
1991	B	`conf`	HSP Type Theorems in the Category of Posets. MFPS Michael Barr
1990	—	`book`	Category theory for computing science. Michael Barr, Charles Wells
1990	J	`jnl`	Fixed Points in Cartesian Closed Categories. Theor. Comput. Sci. Michael Barr
1987	B	`conf`	The Formal Description of Data Types Using Sketches. MFPS Charles Wells, Michael Barr