Michael Harrison

Publication Activity (10 Years)

Years Active: 1991-2020
Publications (10 Years): 3

Top Topics

Data Complexity

Reasoning Tasks

Datalog Programs

Top Venues

Description Logics

IEEE Commun. Lett.

South Afr. Comput. J.

Publications

Michael Harrison, Thomas Meyer
DDLV: A System for rational preferential reasoning for datalog. South Afr. Comput. J. 32 (2) (2020)
Michael Harrison, Thomas Meyer
Rational preferential reasoning for datalog. FAIR (2019)
Giovanni Casini, Michael Harrison, Thomas Meyer, Reid Swan
Arbitrary Ranking of Defeasible Subsumption. Description Logics (2019)
Xiaogang Liu, Michael Harrison, Yuan Luo
A Note on the Five Valued Conjectures of Johansen, Helleseth and Kholosha and Zeta Functions. IEEE Commun. Lett. 18 (9) (2014)
Michael Harrison
Explicit solution by radicals, gonal maps and plane models of algebraic curves of genus 5 or 6. J. Symb. Comput. 51 (2013)
Jon González-Sánchez, Michael Harrison, Irene Polo-Blanco, Josef Schicho
Algorithms for Del Pezzo surfaces of degree 5 (construction, parametrization). J. Symb. Comput. 47 (3) (2012)
Steven D. Galbraith, Michael Harrison, David J. Mireles Morales
Efficient Hyperelliptic Arithmetic Using Balanced Representation for Divisors. ANTS (2008)
Steven D. Galbraith, Michael Harrison, David J. Mireles Morales
Efficient Hyperelliptic Arithmetic using Balanced Representation for Divisors. IACR Cryptol. ePrint Arch. 2008 (2008)
Ken Lee, Kyung Jean (Tyler) Yang, Beryl Plimmer, Michael Harrison
Real-time anaesthesia diagnosis display system with multi-modal alarms. OZCHI (2008)
Michael Harrison, Josef Schicho
Rational parametrisation for degree 6 Del Pezzo surfaces using lie algebras. ISSAC (2006)
Christopher Johnson, Michael Harrison
Software engineering for human computer interaction: papers from a workshop on formal methods for the design of interactive systems, York, UK, 23rd July 1993. ACM SIGCHI Bull. 26 (2) (1994)
Jonathan Hassell, Michael Harrison
Generalisation and the Adaptive Interface. BCS HCI (1994)
Michael Harrison
Engineering Human-Error Tolerant Software. Z User Workshop (1991)