Publications are broken into categories, within which they are
ordered chronologically.
I am slowly adding links to preprints and copies of older papers;
if you can't find one of the papers listed here, please contact
me.
Visualization and Functional Programming
Schematic Knowledge and Minimal Graphics
Ontologies
Syndetic Modelling
PREMO
Design of Virtual Environments
Formal Techniques in HCI
Formal Methods
Books and Edited Proceedings
Visualization and Functional Programming
D.J. Duke, R. Borgo, C. Runciman, and M. Wallace,
Huge Data but Small Programs: Visualization Design via Multiple Embedded DSLs,
Practical Applications of Declarative Languages, Lecture Notes in Computer Science, Volume 5418,
pp. 31--45, Springer Verlag, 2009.
N. Boukhelifa and D.J. Duke,
Uncertainty Visualization - Why Might it Fail?,
Proc. Human Factors in Computing Systems (CHI'09 Extended Abstracts), ACM Press, 2009.
N. Boukhelifa and D.J. Duke,
Visualizing Heterogeneous Utility Data: A Case for Aesthetic Design,
Eurographics 2009 Areas Papers, Eurographics Association, 2009.
D.J. Duke, R. Borgo, C. Runciman, and M. Wallace,
Experience report: visualizing data through functional pipelines,
SIGPLAN Notices, 43(9) - Proc. Intl.Conf. on Functional Programming, pp. 379-382,
ACM Press, 2008.
R. Borgo, D.J. Duke, C. Runciman, and M. Wallace,
The 2008 Visualization Design Contest: A Functional DSL for Multifield Data,
IEEE Visualization Design Contest 2008,
Submission (Number 2) published on
competition web page.
N. Boukhelifa and D.J. Duke,
The Aesthetics of the Underworld,
In Proc. Computational Aesthetics,
P. Brown, D.W. Cunningham, V. Interrante and J. McCormack (Eds),
pp. 41-48, Eurographics Association, 2008.
R. Borgo, D.J. Duke, C. Runciman, and M. Wallace,
Mathematical Foundations for Generic Surfacing,
IEEE Visualization 2007 Poster Proceedings.
N. Boukhelifa and D.J. Duke,
The uncertain reality of underground assets,
Proc. ISPRS/CA/DGfK Joint Workshop on Visualization and Exploration of
Geospatial Data,
International Society for Photogrammetry and Remote Sensing, 2007.
R. Borgo, D.J. Duke, M. Wallace, and C. Runciman,
Multi-cultural visualization: How functional programming can enrich visualization (and vice versa),
Proc. Vision, Modeling, and Visualization, 245-252, IOS Press, 2006.
D.J. Duke, M. Wallace, R. Borgo, and C. Runciman,
Fine-grained Visualization Pipelines and Lazy Functional Languages,
Transactions on Visualization and Computer Graphics,
12(5), 973-980, IEEE Computer Society Press, 2006.
A.H. Youseffi, D.J. Duke, and M.J. Zaki.
Visual Web Mining,
Proceedings of the Thirteenth International
World Wide Web Conference, pp. 394-395,
ACM Press, 2004.
A.H. Youseffi, D.J. Duke, E.P. Glinert, and M.J. Zaki.
Toward Visual Web Mining,
Proceedings of Visual Data Mining, 2003.
D.J. Duke.
Modular Techniques in Information Visualization,
In Australian Symposium on Information Visualization,
Conferences in Research and Practice in Information
Visualization, Vol 9,
P. Eades and T. Pattison (Eds), pp. 11-18,
Australian Computer Society, 2001.
I. Herman, M.S. Marshall, G. Melancon, D.J. Duke, M. Delest and J.-P.
Domenger. Skeletal images as visual cues in graph visualization. In
VisSym'99: Joint Eurographics - IEEE TCCG Symposium on Visualization, Springer,
1999.
D.A. Duce and D.J. Duke. Interaction, cognition and visualisation. In
DSV-IS'95: Eurographics Workshop on Design, Specification and Verification of
Interactive Systems. Springer-Verlag, pages 1-20, 1995.
Schematic Knowledge and Minimal Graphics
P.J. Barnard, D.J. Duke, R.W. Byrne, and I. Davidson,
Differentiation in cognitive and emotional meanings: an evolutionary analysis,
Cognition and Emotion, vol. 21, pp. 1155-1183. 2007.
D.J. Duke,
Drawing Attention to Meaning,
CyberPsychology & Behaviour, vol. 7, pp. 673-682, 2004.
Paper presented at DARPA Adaptive Displays Conference, Los Angeles, 2004.
D.J. Duke, P.J. Barnard, N. Halper, and M. Mellin.
Rendering and Affect,
Computer Graphics Forum, 22(3), pp. 359-368, Blackwell, 2003.
J. May, M.J. Buehner, and D.J. Duke.
Continuity and Cognition,
International Journal of Universal Access in the
Information Society, 1(4), pp. 252-262, Springer, 2002.
I. Herman and D.J. Duke.
Minimal Graphics,
IEEE Computer Graphics and Applications,
21(6), pp. 18-21,
IEEE Computer Society Press, 2001
D.J. Duke.
Abstraction, Art, and Visualization,
Position Statement for Panel Session on
Realism, Expressionism, and Abstraction: Applying Art
Techniques to Visualization, T.-M. Rhyne (Organizer),
Proceedings IEEE Visualization 2001,
T. Ertl, K. Joy, and A. Varshney (Eds),
pp. 523-529,
IEEE, 2001
J. May, M.J. Buehner and D.J. Duke.
Continuity and Cognition.
I3 Spring Workshop on Continuity in Future Computer Systems,
Porto, April 2001.
D.J. Duke. Cognitive and Computational Processes in Visualization.
Position Paper for SIGGRAPH/Eurographics Campfire Meeting on
Perceptually Adaptive Graphics, Snowbird, Utah, May 2001.
Ontologies
D.J. Duke, K.W. Brodlie, D.A. Duce, and I. Herman,
Do you see what I mean?,
Computer Graphics and Applications, 25(3),
pp. 6-9, IEEE Computer Society Press, 2005
D.J. Duke,
Linking Meaning with Representation,
IEEE Visualization 2004 Poster Proceedings.
D.J. Duke, K.W. Brodlie and D.A. Duce,
Building an Ontology of Visualization,
IEEE Visualization 2004 Poster Proceedings.
Syndetic Modelling
P. Barnard, J. May, D. Duke, and D. Duce.
Systems, Interactions, and Macrotheory,
Chapter 2 of "Human Computer Interaction in the New Millenium",
J.M. Carroll (Ed), pp. 31--52,
Addison Wesley, 2001
D.J. Duke, D.A. Duce, P.J. Barnard, and J. May.
Human-Computer Protocols.
in "Universal Access in HCI", C. Stephanidis (Ed),
Volume 3 of Proc. International Conference on
Human-Computer Interaction 2001, pp. 296-300,
Lawrence Erlbaum Associates, 2001
P. Barnard, J. May, D. Duke, and D. Duce. Systems, Interactions, and
Macrotheory, ACM Transactions on Computer-Human Interaction (ToCHI), Vol 7,
No 2, pp. 222-262, June 2000.
D.A. Duce and D.J. Duke. Syndetic Modelling: Computer Science Meets
Cognitive Psychology, Invited paper, Proc. of Formal Methods Elsewhere
Workshop,
Elsevier Electronic Notes in Theoretical Computer Science,
2000
D.J. Duke and D.A. Duce. The Formalisation of a Cognitive Architecture and
its Application to Reasoning about Human Computer Interaction, Formal
Aspects of Computing, 11, pp. 665-689, Springer, 1999.
D.J. Duke, P.J. Barnard, D.A. Duce and J. May. Syndetic Modelling
Human-Computer Interaction, Vol 13(4), pp. 337-393, Lawrence Erlbaum Associates,
1998.
D.J. Duke, G. Faconti and M. Massink. Synchronisation and Delay in a
Formal Model of User Cognition. Presented at the
User Interfaces For All (UI4ALL) Workshop, Prague, 1996.
G.P. Faconti and D.J. Duke. Device Models In DSV-IS'96: Eurographics
Workshop on Design, Specification and Verification of Interactive Systems.
Springer, pages 73-91, 1996.
D.J. Duke. Evaluating Novel Interaction Technology: System and User Models
for VR. Proc. First Intl. Conference on Applied Ergonomics, USA Publishing,
1996.
D.J. Duke, P.J. Barnard, D.A. Duce, and J. May. Systematic development of
the human interface. In APSEC'95: Second Asia-Pacific Software Engineering
Conference, 1995. IEEE Computer Society Press, 1995.
D.J. Duke. Reasoning about gestural interaction. Computer Graphics
Forum, 14(3), 1995. Conference Issue: Proc. Eurographics'95.
PREMO
D.J. Duke and I. Herman. A Standard for Multimedia Middleware. In
Proceedings of 6th ACM International Multimedia Conference, W. Effelsberg and
B.C. Smith (eds), pp. 381-390, ACM Press, 1998.
D.J. Duke and I. Herman. Programming Paradigms in an Object-Oriented
Multimedia Standard. Computer Graphics Forum, Blackwell, 1998.
Also published as Report INS-R9705 of the
Centre for Mathematics and Computer Sciences (CWI), Amsterdam, 1997. ISSN
1386-3681.
I. Herman, N. Correia, D.A. Duce, D.J. Duke, G.J. Reynolds and J. Van Loo.
A Model for Multimedia Synchronization: The PREMO Synchonization Objects.
Multimedia Systems, 6(2), pages 88-101, 1998.
D.J. Duke and I. Herman. PREMO: A Standard for Multimedia Middleware.
Eurographics'98 State of the Art Reports, A. Augusto de Sousa and F.R.H. Hopgood
(eds), Eurographics Assocation, Geneva, 1998.
D.J. Duke and I. Herman. Plugging Graphics into Distributed Multimedia
In Proceedings of the 16th Annual Conference of the Eurographics UK Chapter, pp.
39-52, University of Leeds, 1998.
D.J. Duke, I. Herman, T. Rist and M. Wilson. Relating the Primitive
Hierarchy of the PREMO Standard to the Standard Reference Model for Intelligent
Multimedia Presentation Systems. Computer Standards and Interfaces, 18,
pages 525-535, 1997.
Virtual Environments
S. Smith and D.J. Duke, Building usable objects for virtual
environments, SIGGRAPH 20000 Sketches & Applications.
S. Smith and D.J. Duke, Binding Virtual Environments to Toolkit
Capabilities, Computer Graphics Forum, 19(3), Proceedings of
Eurographics'2000, Blackwell, 2000.
S. Smith, D.J. Duke, and J.S. Willans. Designing World Objects for Usable
Virtual Environments, Workshop on Design, Specification and Verification of
Interactive Systems, P. Palanque and F. Paterno (Eds), pp. 309-319, 2000.
S. Smith, D.J. Duke, and P.C. Wright. Using the Resources Model in Virtual
Environment Design, in Workshop on User Centered Design and Implementation
of Virtual Environments, S. Smith and M.D. Harrison (Eds), pp. 57-72, University
of York, 1999.
M. Massink, D.J. Duke, and S. Smith. Towards Hybrid Interface
Specification for Virtual Environments, in D.J. Duke and A. Puerta (Eds),
Design, Specification and Verification of Interactive Systems '99, Springer, pp.
30-51, 1999.
S. Smith, D.J. Duke and M. Massink. The Hybrid World of Virtual
Environments, Computer Graphics Forum, 18(3), Conference Issue: Proceedings
Eurographics'99, pp. 297-307, Blackwell, 1999.
S. Smith and D.J. Duke. Virtual Environments as Hybrid Systems, in
Proceedings Annual Conference Eurographics UK Chapter: EG-UK'99, pp. 113-128,
Cambridge, 1999.
S. Smith, D.J. Duke, T. Marsh, M.D. Harrison, and P.C. Wright. Modelling
Interaction in Virtual Environments, UK-VRSIG'98, Exeter, UK.
S. Smith, T. Marsh, D.J. Duke, and P.C. Wright. Drowning in Immersion,
UK-VRSIG'98, Exeter, UK.
T. Marsh, P.C. Wright, S. Smith, and D.J. Duke. A Shared Framework of
Virtual Reality, UK-VRSIG'98, Exeter, UK.
Formal Methods & HCI
R. Butterworth, A. Blandford, and D.J. Duke. Demonstrating the cognitive
plausibility of interactive systems specifications, Formal Aspects of
Computing, 12, pp. 237-259, Springer, 2000.
S. Smith and D.J. Duke. Using CSP to Specify Interaction in Virtual
Environments, Technical Report YCS 321, University of York, 1999.
M. Massink, D.J. Duke, and S. Smith. Towards Hybrid Interface
Specification for Virtual Environments, in D.J. Duke and A. Puerta (Eds),
Design, Specification and Verification of Interactive Systems '99, Springer, pp.
30-51, 1999.
D.J. Duke, B. Fields and M.D. Harrison. A Case Study in the Specification
and Analysis of Design Alternatives for a User Interface. Formal Aspects of
Computing, 11(2), pp. 107-131, Springer, 1999.
R. Butterworth, A. Blandford and D.J. Duke. Formality and user modelling
in the design of interactive systems. Journal of Visual Languages and
Computing, 10, pp. 455-479. 1999.
R. Butterworth, A. Blandford, D.J. Duke, and R.M. Young. Formal User
Models and Methods for Reasoning About Interactive Behaviour. in Proceedings
BCS-FACS Workshop on Formal Aspects of the Human Computer Interaction, pp.
176-191, Computing Research Centre, Sheffield Hallam University, 1998.
R. Butterworth, A.E. Blandford, and D.J. Duke. The Role of Formal Proof in
Modelling Interactive Behaviour, in Proceedings 5th Eurographics Workshop on
Design, Specification and Verification of Interactive Systems, P. Markopoulos
and P. Johnson (eds), Springer Verlag, 1998.
D.J. Duke. How to model a web (without getting tangled in nets), in
Formal Methods in Human Computer Interaction, F. Paterno' and P. Palanque (eds),
pp. 25-48, Springer Verlag, 1997.
A.E. Blandford and D.J. Duke. Integrating User and Computer System
Concerns in the Design of Interactive Systems. In International Journal of
Human-Computer Studies, Volume 46, pp. 653-679, Academic Press, 1997.
S. Buckingham Shum, A.E. Blandford, D.J. Duke, J. Good, J. May, F. Paterno',
R.M. Young. Multidisciplinary Modelling for User-Centred System Design: An
Air-Traffic Control Case Study In People and Computers XI: Proceedings of
HCI'96, M.A. Sasse, R.J. Cunningham and R.L. Winder (eds), Springer, pp.
201-219, 1996.
V. Bellotti, A.E. Blandford, D.J. Duke, A. MacLean, J. May and L. Nigay.
Controlling Accessibility in Computer Mediated Communications: A Systematic
Analysis of the Design Space. Human Computer Interaction, 11(4), pp.
357-432, 1996.
J.K. Hyde and D.J. Duke. Fusion Engines and Melting Pots: An Examination
of a Multi-Modal Model Using a Formal Notation. In DSV-IS'96: Eurographics
Workshop on Design, Specification and Verification of Interactive Systems.
Springer, pages 292-311, 1996.
D.J. Duke and M.D. Harrison. Folding human factors into rigorous
development. In Eurographics Workshop on Design, Specification and
Verification of Interactive Systems, Springer Verlag, pages 333-347, 1995.
D.J. Duke and M.D. Harrison. Interaction and task requirements. In
DSV-IS'95: Eurographics Workshop on Design, Specification and Verification of
Interactive Systems. Springer-Verlag, pages 54-75, 1995.
D.J. Duke and M.D. Harrison. Event model of human-system interaction.
Software Engineering Journal, 10(1):3-12, January 1995.
D.J. Duke and M.D. Harrison. Mapping user requirements to
implementations. Software Engineering Journal, 10(1):13-20, January 1995.
D.J. Duke and M.D. Harrison. A theory of presentations. In FME'94:
Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer
Science, pages 271-290. Springer-Verlag, 1994.
D.J. Duke, G. Faconti, M.D. Harrison, and F. Paterno'. Unifying views of
interactors. In Proc International Workshop on Advanced Visual Interfaces,
pages 143-152. ACM Press, 1994.
D.J. Duke and M.D. Harrison. From formal models to formal methods. In
Proc Intl. Workshop on Software Engineering and Human-Computer Interaction,
volume 896 of Lecture Notes in Computer Science, pages 159-173. Springer-Verlag,
1994.
D.J. Duke and M.D. Harrison. Abstract interaction objects. Computer
Graphics Forum, 12(3):25-36, 1993. Conference Issue: Proc. Eurographics'93.
Formal Methods
D.A. Duce, D.J. Duke, G. Faconti and I. Herman. The Changing Face of
Standardization: A Place for Formal Methods? Formal Aspects of Computing,
11(1), pp. 1-20, 1999.
D.A. Duce, D.J. Duke, G. Faconti, I. Herman and M. Massink, PREMO: A Case
Study in Formal Methods and Multimedia System Specification, Report
INS-R9708 of the
Centre for Mathematics and Computer Sciences (CWI), Amsterdam, 1997. ISSN
1386-3681.
D.J. Duke, D.A. Duce, I. Herman and G. Faconti. Specifying the PREMO
Synchronization Objects. European Research Consortium for Informatics and
Mathematics Technical Report ERCIM-02/97-R048.
D.A. Duce, D.J. Duke, P.J.W. ten Hagen, I. Herman, and G.J. Reynolds.
Formal methods in the development of PREMO. Computer Standards and
Interfaces, Vol 17(5-6), pages 491-509, 1995.
D.A. Duce, D.J. Duke, P.J.W. ten Hagen, and G.J. Reynolds. Premo - an
initial approach to a formal definition. Computer Graphics Forum, 13(3),
1994. Conference Issue: Proc. Eurographics'94, Oslo, Norway.
G.J. Reynolds, D.A. Duce, and D.J. Duke. Report of the ISO/IEC JTC1/SC24
special rapporteur group on formal description techniques. Technical Report
ISO/IEC JTC1/SC24 N1152, ISO, 1994.
D.A Carrington, D.J Duke, I.J Hayes, and J. Welsh. Deriving modular designs
from formal specifications. In Proc. first ACM SIGSOFT Symposium on the
Foundations of Software Engineering, pages 89-98, December 1993.
D.A. Carrington, D.J. Duke, I.J. Hayes, and J. Welsh. Deriving modular
designs from formal specifications: The analysis phase. Technical Report,
Department of Computer Science, University of Queensland, 1993.
D.J. Duke. Enhancing the structure of Z specifications. In J.E.
Nicholls, editor, Proc. Z User Workshop, Workshops in Computing.
Springer-Verlag, 1991.
D.J. Duke. Structuring Z specifications. In Proc. 14th Australian
Computer Science Conference, pages 12/1-12/10, Australian Computer Science
Communications, Vol 12(1), 1991.
R.W. Duke and D.J. Duke. Aspects of Object Oriented Formal
Specification. Proc. 5th Annual Australian Software Engineering Conference
(ASWEC'90), pages 21-26, IREE Australia.
D.J. Duke and R.W. Duke. Towards a semantics for Object-Z. In D.
Bjorner, C.A.R. Hoare, and H. Langmaack, editors, VDM'90: VDM and Z!, volume 428
of Lecture Notes in Computer Science, pages 242-262. Springer-Verlag, April
1990.
D.A. Carrington, D.J. Duke, R.W. Duke, P. King, G.A. Rose, and G. Smith.
Object-Z: An object-oriented extension to Z. In S. Vuong, editor, Formal
Description Techniques (FORTE'89), pages 281-296. North Holland, 1990.
Books and Edited Proceedings
K.W. Brodlie, D.J. Duke, and K. Joy,
EuroVis'05: Proceedings Joint IEEE VGTC/Eurographics Symposium on Visualization,
Eurographics, 2005.
D.J. Duke, I. Herman, and M.S. Marshall, PREMO: A Framework for Multimedia
Middleware: Specification, Rationale, and Java Binding, Lecture Notes in
Computer Science No. 1591, Springer Verlag, 1999.
D.J. Duke, A.S. Evans and B. Fields, Editors. Proceedings of the Third
BCS-FACS Northern Formal Methods Workshop. Electronic Workshops in
Computing, British Computer Society, 1998.
D.J. Duke and A.S. Evans, Editors. Proceedings of the Second BCS-FACS
Northern Formal Methods Workshop. Electronic Workshops in Computing,
Springer-Verlag, London, 1997.
D.J. Duke and A.S. Evans, Editors. Proceedings of the BCS-FACS Northern
Formal Methods Workshop. Electronic Workshops in Computing, Springer-Verlag,
London, 1997.
D.J. Duke. Object-Oriented Formal Specification. PhD thesis,
Department of Computer Science, University of Queensland, 1992.
