Engineering Human-Error Tolerant Software. - Michael Harrison (Z User Workshop, 1991)

Generalisation and the Adaptive Interface. - Jonathan Hassell; Michael Harrison (BCS HCI, 1994)

Software engineering for human computer interaction: papers from a workshop on formal methods for the design of interactive systems, York, UK, 23rd July 1993. - Christopher Johnson; Michael Harrison (ACM SIGCHI Bull., 1994)

Rational parametrisation for degree 6 Del Pezzo surfaces using lie algebras. - Michael Harrison; Josef Schicho (ISSAC, 2006)

Real-time anaesthesia diagnosis display system with multi-modal alarms. - Ken Lee; Kyung Jean (Tyler) Yang; Beryl Plimmer; Michael Harrison (OZCHI, 2008)

Efficient Hyperelliptic Arithmetic using Balanced Representation for Divisors. - Steven D. Galbraith; Michael Harrison; David J. Mireles Morales (IACR Cryptol. ePrint Arch., 2008)

Algorithms for Del Pezzo surfaces of degree 5 (construction, parametrization). - Jon González-Sánchez; Michael Harrison; Irene Polo-Blanco; Josef Schicho (J. Symb. Comput., 2012)

Explicit solution by radicals, gonal maps and plane models of algebraic curves of genus 5 or 6. - Michael Harrison (J. Symb. Comput., 2013)

A Note on the Five Valued Conjectures of Johansen, Helleseth and Kholosha and Zeta Functions. - Xiaogang Liu; Michael Harrison; Yuan Luo 003 (IEEE Commun. Lett., 2014)

Arbitrary Ranking of Defeasible Subsumption. - Giovanni Casini; Michael Harrison; Thomas Meyer 002; Reid Swan (Description Logics, 2019)

Rational preferential reasoning for datalog. - Michael Harrison; Thomas Meyer 002 (FAIR, 2019)

DDLV: A System for rational preferential reasoning for datalog. - Michael Harrison; Thomas Meyer 002 (South Afr. Comput. J., 2020)

Phi-4 Technical Report. - Marah I Abdin; Jyoti Aneja; Harkirat S. Behl; Sébastien Bubeck; Ronen Eldan; Suriya Gunasekar; Michael Harrison; Russell J. Hewett; Mojan Javaheripi; Piero Kauffmann; James R. Lee; Yin Tat Lee; et al. (CoRR, 2024)