Publications 1990-1994

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 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023


1990

A. Dix, R. Stone and H. Zedan (1990).
Design issues for reliable time-critical systems.
In Real-Time Systems: Theory and Applications Ed. H. Zedan. North-Holland. 305-322.

A. J. Dix (1990).
Non-determinism as a paradigm for understanding the user interface.
Chapter 4 In Formal Methods in Human-Computer Interaction Eds. H. W. Thimbleby and M. D. Harrison. Cambridge University Press. 97-127.
full paper (html)

A. J. Dix (1990).
Information processing, context and privacy.
Human-Computer Interaction - INTERACT'90, Ed. D. G. D. Diaper G. Cockton & B. Shakel. North-Holland. 15-20.
full paper (html) || full paper (PDF, 200K) || full paper (compressed postscript)

A. J. Dix, R. F. Stone and H. S. M. Zedan (1990).
Design issues for reliable time-critical systems.
YCS 133, Dept. of Computer Science, University of York.

M. Harrison and A. Dix (1990).
A state model of direct manipulation in interactive systems.
Chapter 5 In Formal Methods in Human-Computer Interaction Eds. H. Thimbleby and M. Harrison. Cambridge University Press. 129-151.

M. D. Harrison and A. J. Dix (1990).
Modelling the relationship between state and display in interactive systems.
In Visualisation in Human-Computer Interaction Eds. P. Gornay and M. J. Tauber. Springer-Verlag. 241-249.


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 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023


1991

G. D. Abowd, A. J. Dix and M. D. Harrison (1991).
Formalising user recognisable structures of graphics packages.
Proceedings of the Eurographics Seminar: Formal Methods in Computer Graphics, Ed. D. A. Duce. Marina di Carrara, Italy,
full chapter (scanned PDF, 960K)

A. J. Dix (1991).
Modelling and analysis of status input - when mice shouldn't drag their tails.
In A Collection of Papers on HCI Ed. G. D. Abowd. YCS 156, University of York, Dept. of Computer Science.

A. J. Dix (1991).
Formal Methods for Interactive Systems.
Academic Press.ISBN 0-12-218315-0
table of contents and full text | full text PDF

A. J. Dix (1991).
Monotonic reasoning about non-monotonic functions - or, when finding fixed points you can do (almost) anything. (abstract only, part of Report of The Seventh British Colloquium on Theoretical Computer Science, March 26th-28th 1991).
Bulletin of the European Association for Theoretical Computer Science, 44: 289.
abstract

A. J. Dix (1991).
Status and events: static and dynamic properties of interactive systems.
Proceedings of the Eurographics Seminar: Formal Methods in Computer Graphics, Ed. D. A. Duce. Marina di Carrara, Italy,
abstract || full paper (html)

M. D. Harrison, G. D. Abowd and A. J. Dix (1991).
Generalised interaction models and their application to the exemplars, Deliverable D10.
ESPRIT BRA 3066 (AMODEUS).

J. C. McCarthy, V. C. Miles, A. F. Monk, M. D. Harrison, A. J. Dix and P. C. Wright (1991).
Four generic communication tasks which must be supported in electronic conferencing.
ACM/SIGCHI Bullitin. 41-43.


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 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023


1992

G. D. Abowd and A. J. Dix (1992).
Giving undo attention.
Interacting with Computers, 4(3): 317-342. DOI: 10.1016/0953-5438(92)90021-7
abstract || full paper (compressed postscript, 112K) || full paper (PDF, 284K)

R. Beale, A. Dix and J. Finlay (1992).
Neural Network Task Identification for Distributed Working Support.
Proceedings of The Second Irish Neural Network Conference, . Queen's University, Belfast,

A. Dix (1992).
Human issues in the use of pattern recognition techniques.
In Neural Networks and Pattern Recognition in Human Computer Interaction Eds. R. Beale and J. Finlay. Ellis Horwood. 429-451.
abstract || full paper (PDF, 284K)

A. Dix, J. Finlay and R. Beale (1992).
Analysis of user behaviour as time series.
Proceedings of HCI'92: People and Computers VII, Eds. A. Monk, D. Diaper and M. Harrison. Cambridge University Press. 429-444.
full paper (html)

A. J. Dix (1992).
Pace and interaction.
Proceedings of HCI'92: People and Computers VII, Eds. A. Monk, D. Diaper and M. Harrison. Cambridge University Press. 193-207.
abstract || full paper (compressed postscript) || full paper (PDF, 99K)

A. J. Dix (1992).
Allocation of Multiple Processors to Lazy Boolean Function Trees - Justification of the Magic Number 2/3.
YCS 174, Department of Computer Science, University of York.
abstract || full paper (compressed postscript, 40K) || full paper (PDF, 65K)

A. J. Dix (1992).
Beyond the interface.
Engineering for Human-Computer Interaction: Proceedings of IFIP TC2/WG2.7 Working Conference, Eds. J. Larson and C. Unger. Ellivuori, Finland, North-Holland. 171-190.

A. J. Dix and V. C. Miles (1992).
Version control for asynchronous group work.
YCS 181, Department of Computer Science, University of York, (Poster presentation HCI'92: People and Computers VII).
abstract || full paper (compressed postscript, 108K) || full paper (PDF, 127K)


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 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023


1993

A. Dix, J. Finlay, G. Abowd and R. Beale (1993).
Human-Computer Interaction.
Prentice Hall.
see 1998 list for second edition and 2004 list for third edition

A. Dix (1993).
Formal Methods in HCI: Moving Towards an Engineering Approach.
NDISD'93 - HCI: Making Software Usable, Wolverhampton.
abstract || full paper (compressed postscript, 91K) || full paper (PDF, 216K)

A. J. Dix (1993).
The Many Towers of Hanoi. (abstract only, part of Report of The Ninth British Colloquium on Theoretical Computer Science, March 29th-31st 1993).
Bulletin of the European Association for Theoretical Computer Science, 50
abstract || full paper (PDF, 65K)

M. D. Harrison, G. D. Abowd and A. J. Dix (1993).
Analysing display oriented interaction by means of system models.
In Computers, Communication and Usability: Design Issues, Research and Methods for Integrated Services . Elsevier. 147-163.
full chapter (scanned PDF, 1.3Mb)

J. C. McCarthy, V. C. Miles, A. F. Monk, M. D. Harrison, A. J. Dix and P. C. Wright (1993).
Text-based on-line conferencing: a conceptual and empirical analysis using a minimal prototype.
Human-Computer Interaction, 8(2)

V. C. Miles, J. C. McCarthy, A. J. Dix, M. D. Harrison and A. F. Monk (1993).
Reviewing designs for a synchronous-asynchronous group editing environment.
In Computer Supported Collaborative Writing Ed. M. Sharples. Springer-Verlag. pp. 137-160
full paper (html)

D. Wakeling and A. Dix (1993).
Optimizing Partial Applications in TIM.
YCS 215, Department of Computer Science, University of York.
abstract || full paper (compressed postscript, 68K) || full paper (PDF, 180K)

A. Dix (1993).
An agent based architecture for groupware applications.
unpublished report, Computer Science Department, University of York.
full paper


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 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023


1994

G. Abowd and A. Dix (1994).
Integrating status and event phenomena in formal specifications of interactive systems.
SIGSOFT'94, Ed. D. Wile. New Orleans, ACM Press. 44--52.
abstract || full paper (compressed postscript, 112K) || full paper (PDF, 184K)

A. Dix (1994).
Que sera sera - The problem of the future perfect in open and cooperative systems.
Proceedings of HCI'94: People and Computers IX, Eds. G. Cockton, S. W. Draper and G. R. S. Weir. Glasgow, Cambridge University Press. 397-408.
abstract || full paper(html) || full paper (compressed postscript)

A. Dix and S. A. Brewster (1994).
Causing Trouble with Buttons.
Ancilliary Proceedings of HCI'94, Glasgow, Scotland. Ed. D. England.
full paper (html) || full paper (Word 5.1 stuffed binhex)

A. Dix, J. Finlay and J. Hassell (1994).
Environments for cooperating agents: Designing the interface as medium.
In CSCW and Artificial Intelligence Eds. J. Connolly and E. Edmonds. Springer Verlag. pp.23-37.
draft chapter | Springer DOI:10.1007/978-1-4471-2035-3_3

A. Dix and A. Patrick (1994).
Query By Browsing.
Proceedings of IDS'94: The 2nd International Workshop on User Interfaces to Databases, Ed. P. Sawyer. Lancaster, UK, Springer Verlag. 236-248.
full paper (html)

A. J. Dix (1994).
The Human Interface.
Assembly Automation, 14(3): 9-13.
full paper (html)

A. J. Dix (1994).
Computer-supported cooperative work - a framework.
In Design Issues in CSCW Eds. D. Rosenburg and C. Hutchison. Springer Verlag. 23-37.
full chapter (html)

J. E. Finlay and A. J. Dix (1994).
Pattern recognition in Human-Computer Interaction a viable approach?
SIGCHI Bulletin, 26(4). pp. 23-27.
DOI: 10.1145/191642.191647

R. Manderson, I. Sommerville, T. Rodden and A. Dix (1994).
Version management for buisiness oriented groupware systems.
Ancilliary Proceedings of HCI'94, Ed. D. England.

I. Toyn and A. J. Dix (1994).
Efficient Binary Transfer of Pointer Structures.
Software Practice and Experience, 24(11): 1001-1023.
DOI: 10.1002/spe.4380241103 | abstract and full paper

A. J. Dix (1994).
Cooperation without Communication: the problems of highly distributed working.
RR9404, University of Huddersfield.
abstract || full paper (compressed postscript, 472K) || full paper (PDF, 45K)

A. J. Dix (1994). Seven Years on, the Myth Continues. RR9405, University of Huddersfield.


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 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023