Publications 1985-1989

Alan Dix

Talis and University of Birmingham
email: alan@hcibook.com


1985-1989 | 1990-1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017

1985

A. J. Dix, M. D. Harrison, C. Runciman and H. W. Thimbleby (1985).
Two working papers on formalising interactive systems.
YCS 75, University of York Internal Report.

A. J. Dix and C. Runciman (1985).
Abstract models of interactive systems.
People and Computers: Designing the Interface, Ed. P. J. &. S. Cook. Cambridge University Press. pp. 13-22.
full paper (html)


1985-1989 | 1990-1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017

1986

A. J. Dix and M. D. Harrison (1986).
Principles and interaction models for window managers.
People and Computers: Designing for usability, Ed. M. D. H. &. A. F. Monk. Cambridge University Press. pp. 352-366.

A. J. Dix, M. D. Harrison and E. E. Miranda (1986).
Using principles to design features of a small programming environment.
In Software Engineering Environments, . Peter Peregrinus. pp. 135-150.


1985-1989 | 1990-1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017

1987

A. J. Dix (1987).
The myth of the infinitely fast machine.
People and Computers III - Proceedings of HCI'87, Eds. D. Diaper and R. Winder. Cambridge University Press. pp. 215-228.

A. J. Dix (1987).
Giving control back to the user.
Human-Computer Interaction - INTERACT'87, Eds. H.-J. Bullinger and B.Shackel. North-Holland. pp. 377-382.

A. J. Dix (1987).
Formal Methods and Interactive Systems: Principles and Practice.
D.Phil. Thesis, YCST 88/08, Department of Computer Science, University of York.

A. J. Dix and M. D. Harrison (1987).
Formalising models of interaction in the design of a display editor.
Human-Computer Interaction - INTERACT'87, Eds. H.-J. Bullinger and B.Shackel. North-Holland. pp. 409-414.

A. J. Dix, M. D. Harrison, C. Runciman and H. W. Thimbleby (1987).
Interaction models and the principled design of interactive systems.
In Proceedings of European Software Engineering Conference, Eds. H. Nichols and D. S. Simpson. Springer-Verlag. pp. 127-135.

A. F. Monk and A. J. Dix (1987).
Refining Early Design Decisions with a Black-box Model.
People and Computers III - Proceedings of HCI'87, Eds. D. Diaper and R. Winder. Cambridge University Press. pp. 147-158.

I. Toyn, A. Dix and C. Runciman (1987).
Performance Polymorphism.
Functional Programming Languages and Computer Architecture, Ed. G. Kahn. Portland, Oregon, Springer-Verlag. pp. 325-346.


1985-1989 | 1990-1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017

1988

A. J. Dix (1988).
Abstract, generic models of interactive systems.
People and Computers: From Research to Implementation - Proceedings of HCI'88, Ed. D. M. J. &. R. Winder. Cambridge University Press. pp. 63-78.
full paper (html)

A. J. Dix (1988).
Finding fixed points in non-trivial domains: proofs of pending analysis and related algorithms.
YCS 107, Dept. of Computer Science, University of York.
abstract and full report

M. D. Harrison and A. J. Dix (1988).
Towards Models That Qualify the Manipulation of Interactive Systems.
YCS 100, Dept. of Computer Science, University of York.

A. F. Monk, P. Walsh and A. J. Dix (1988).
A comparison of hypertext, scrolling and folding as mechanisms for program browsing.
People and Computers: From Research to Implementation - Proceedings of HCI'88, Ed. D. M. J. &. R.Winder. Cambridge University Press. 421-436.
full paper

Alan Dix (1988).
Garbage collection in the TIM machine.
unpublished internal report, Department of Computer Science, University of York.
full paper (html).


1985-1989 | 1990-1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017

1989

G. Abowd, J. Bowen, A. Dix, M. Harrison and R. Took (1989).
User Interface Languages: A Survey of Existing Methods.
PRG-TR-5-89, Programming Research Group, Oxford University (REDO project deliverable).
abstract and reference list | full paper (PDF, 482K)

A. J. Dix (1989).
Software engineering implications for formal refinement.
Proceedings ESEC'89, Ed. C. Ghezzi &. J. McDermid. Springer-Verlag. 243-259.
abstract and full paper

A. J. Dix (1989).
Dynamic pointers: an abstraction for indicative manipulation.
Colloquium on Formal Methods in Human Computer Interaction, . Institute of Electrical Engineers, Colloquium Digest no 1989/151.

A. J. Dix and J. E. Finlay (1989).
AMO - the interface as medium.
Poster sessions, HCI International'89, . Boston, 22.
extended abstract (as in proceedings) || longer paper (unpublished)

A. J. Dix and M. D. Harrison (1989).
Interactive systems design and formal development are incompatible?
In The Theory and Practice of Refinement, Ed. J. McDermid. Butterworth Scientific. 12-26.
abstract and full paper

I. Toyn and A. J. Dix (1989).
Efficient Binary I/O of Pointer Structures.
Dept. of Computer Science, University of York.


1985-1989 | 1990-1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017