Michael Harrison

17 papers B 1Misc 3Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Phi-4-reasoning-vision-15B Technical Report.
CoRR
Jyoti Aneja, Michael Harrison, Neel Joshi, Tyler LaBonte, John Langford, Eduardo Salinas
2024 J jnl
Phi-4 Technical Report.
CoRR
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, Yuanzhi Li, Weishung Liu, Caio C. T. Mendes, Anh Nguyen, Eric Price, Gustavo de Rosa, Olli Saarikivi, Adil Salim, Shital Shah, Xin Wang, Rachel Ward, Yue Wu, Dingli Yu, Cyril Zhang, Yi Zhang
2020 J jnl
DDLV: A System for rational preferential reasoning for datalog.
South Afr. Comput. J.
Michael Harrison, Thomas Meyer
2019 — conf
Arbitrary Ranking of Defeasible Subsumption.
Description Logics
Giovanni Casini, Michael Harrison, Thomas Meyer, Reid Swan
2019 — conf
Rational preferential reasoning for datalog.
FAIR
Michael Harrison, Thomas Meyer
2014 J jnl
A Note on the Five Valued Conjectures of Johansen, Helleseth and Kholosha and Zeta Functions.
IEEE Commun. Lett.
Xiaogang Liu, Michael Harrison, Yuan Luo
2013 Misc ed.
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'13, London, United Kingdom - June 24 - 27, 2013
EICS
Peter Forbrig, Prasun Dewan, Michael Harrison, Kris Luyten
2013 J jnl
Explicit solution by radicals, gonal maps and plane models of algebraic curves of genus 5 or 6.
J. Symb. Comput.
Michael Harrison
2012 J jnl
Algorithms for Del Pezzo surfaces of degree 5 (construction, parametrization).
J. Symb. Comput.
Jon González-Sánchez, Michael Harrison, Irene Polo-Blanco, Josef Schicho
2010 Misc ed.
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2010, Berlin, Germany, June 19-23, 2010
EICS
Noi Sukaviriya, Jean Vanderdonckt, Michael Harrison
2008 — conf
Efficient Hyperelliptic Arithmetic Using Balanced Representation for Divisors.
ANTS
Steven D. Galbraith, Michael Harrison, David J. Mireles Morales
2008 J jnl
Efficient Hyperelliptic Arithmetic using Balanced Representation for Divisors.
IACR Cryptol. ePrint Arch.
Steven D. Galbraith, Michael Harrison, David J. Mireles Morales
2008 Misc conf
Real-time anaesthesia diagnosis display system with multi-modal alarms.
OZCHI
Ken Lee, Kyung Jean (Tyler) Yang, Beryl Plimmer, Michael Harrison
2006 B conf
Rational parametrisation for degree 6 Del Pezzo surfaces using lie algebras.
ISSAC
Michael Harrison, Josef Schicho
1994 — conf
Generalisation and the Adaptive Interface.
BCS HCI
Jonathan Hassell, Michael Harrison
1994 J jnl
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.
Christopher Johnson, Michael Harrison
1991 — conf
Engineering Human-Error Tolerant Software.
Z User Workshop
Michael Harrison