Michael Harrison

According to our database1, Michael Harrison authored at least 11 papers between 1991 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Awards

IEEE Fellow

IEEE Fellow 1993, "For contributions to the theory of computing and its applications to software systems.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Rational preferential reasoning for datalog.
Proceedings of the South African Forum for Artificial Intelligence Research, 2019

Arbitrary Ranking of Defeasible Subsumption.
Proceedings of the 32nd International Workshop on Description Logics, 2019

2014
A Note on the Five Valued Conjectures of Johansen, Helleseth and Kholosha and Zeta Functions.
IEEE Commun. Lett., 2014

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

2012
Algorithms for Del Pezzo surfaces of degree 5 (construction, parametrization).
J. Symb. Comput., 2012

2008
Efficient Hyperelliptic Arithmetic using Balanced Representation for Divisors.
IACR Cryptol. ePrint Arch., 2008

Real-time anaesthesia diagnosis display system with multi-modal alarms.
Proceedings of the 20th Australasian Computer-Human Interaction Conference, 2008

2006
Rational parametrisation for degree 6 Del Pezzo surfaces using lie algebras.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

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.
ACM SIGCHI Bull., 1994

Generalisation and the Adaptive Interface.
Proceedings of the People and Computers IX, 1994

1991
Engineering Human-Error Tolerant Software.
Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991


  Loading...