Object-Z: An Object-Oriented Extension to Z. - David A. Carrington; David J. Duke; Roger Duke; Paul King; Gordon A. Rose; Graeme Smith 001 (FORTE, 1989)

Towards a Semantics for Object-Z. - David J. Duke; Roger Duke (VDM Europe, 1990)

Enhancing the Structure of Z Specifications. - David J. Duke (Z User Workshop, 1991)

Object-oriented formal specification / by David John Duke - David J. Duke (1992)

Deriving Modular Designs from Formal Specifications. - David A. Carrington; David J. Duke; Ian J. Hayes; Jim Welsh (SIGSOFT FSE, 1993)

Abstract Interaction Objects. - David J. Duke; Michael D. Harrison (Comput. Graph. Forum, 1993)

Unifying Views of Interactors. - David J. Duke; Giorgio P. Faconti; Michael D. Harrison; Fabio Paternò (Advanced Visual Interfaces, 1994)

Folding Human Factors into Rigorous Development. - David J. Duke; Michael D. Harrison (DSV-IS, 1994)

A Theory of Presentations. - David J. Duke; Michael D. Harrison (FME, 1994)

From Formal Models to Formal Methods. - David J. Duke; Michael D. Harrison (ICSE Workshop on SE-HCI, 1994)

A Review of Formalisms for Describing Interactive Behaviour. - Michael D. Harrison; David J. Duke (ICSE Workshop on SE-HCI, 1994)

PREMO - An Initial Approach to a Formal Definition. - David A. Duce; David J. Duke; Paul J. W. ten Hagen; Graham J. Reynolds (Comput. Graph. Forum, 1994)

Systematic Development of the Human Interface. - David J. Duke; Philip J. Barnard; Jon May; David A. Duce (APSEC, 1995)

Are Formal Methods Relevant? - Ian J. Hayes; Keijiro Araki; David J. Duke; Val E. Veraart (APSEC, 1995)

Interaction, Cognition and Visualization. - David A. Duce; David J. Duke (DSV-IS, 1995)

Interaction and Task Requirements. - David J. Duke; Michael D. Harrison (DSV-IS, 1995)

Reasoning About Gestural Interaction. - David J. Duke (Comput. Graph. Forum, 1995)

Event model of human-system interaction. - David J. Duke; Michael D. Harrison (Softw. Eng. J., 1995)

Mapping user requirements to implementations. - David J. Duke; Michael D. Harrison (Softw. Eng. J., 1995)

Multidisciplinary Modelling for User-Centred System Design: An Air-traffic Control Case Study. - Simon Buckingham Shum; Ann Blandford; David J. Duke; Jason Good; Jon May; Fabio Paternò; Richard M. Young (BCS HCI, 1996)

Device Models. - Giorgio P. Faconti; David J. Duke (DSV-IS, 1996)

Fusion Engines and Melting Pots. - J. K. Hyde; David J. Duke (DSV-IS, 1996)

Interpersonal Access Control in Computer-Mediated Communications: A Systematic Analysis of the Design Space. - Victoria Bellotti; Ann Blandford; David J. Duke; David MacLean; Jon May; Laurence Nigay (Hum. Comput. Interact., 1996)

Relating the primitive hierarchy of the PREMO standard to the standard reference model for intelligent multimedia presentation systems. - David J. Duke; Ivan Herman; Thomas Rist; Michael D. Wilson (Comput. Stand. Interfaces, 1997)

Integrating user and computer system concerns in the design of interactive systems. - Ann Blandford; David J. Duke (Int. J. Hum. Comput. Stud., 1997)

A Standard for Multimedia Middleware. - David J. Duke; Iván Herman (Eurographics (State of the Art Reports), 1998)

FPGA Based Implementation of a Hopfield Neural Network for Solving Constraint Satisfaction Problems. - David Abramson 001; Kate A. Smith; Paul Logothetis; David J. Duke (EUROMICRO, 1998)

Programming Paradigms in an Object-Oriented Multimedia Standard. - David J. Duke; Ivan Herman (Comput. Graph. Forum, 1998)

Syndetic Modelling. - David J. Duke; Philip J. Barnard; David A. Duce; Jon May (Hum. Comput. Interact., 1998)

A Standard Model for Multimedia Synchronization: PREMO Synchronization Objects. - Ivan Herman; Nuno Correia 001; David A. Duce; David J. Duke; Graham J. Reynolds; James van Loo (Multim. Syst., 1998)

PREMO: A Framework for Multimedia Middleware - Specification, Rationale, and Java Binding - David J. Duke; Ivan Herman; M. Scott Marshall (Springer, 1999)

Discussion topics for the DSV-IS'99 working groups. - David J. Duke (DSV-IS, 1999)

Towards Hybrid Interface Specifications for Virtual Environments. - Mieke Massink; David J. Duke; Shamus P. Smith (DSV-IS, 1999)

Skeletal Images as Visual Cues in Graph Visualization. - Iván Herman; M. Scott Marshall; Guy Melançon; David J. Duke; Maylis Delest; Jean-Philippe Domenger (VisSym, 1999)

The Hybrid World of Virtual Environments. - Shamus P. Smith; David J. Duke; Mieke Massink (Comput. Graph. Forum, 1999)

The Changing Face of Standardization: A Place for Formal Methods? - David A. Duce; David J. Duke; Giorgio P. Faconti; Ivan Herman (Formal Aspects Comput., 1999)

The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction. - David J. Duke; David A. Duce (Formal Aspects Comput., 1999)

A Case Study in the Specification and Analysis of Design Alternatives for a User Interface. - David J. Duke; Bob Fields; Michael D. Harrison (Formal Aspects Comput., 1999)

Using Formal Models to Explore Display-Based Usability Issues. - Richard Butterworth; Ann Blandford; David J. Duke (J. Vis. Lang. Comput., 1999)

Carla Vandoni - A Remarkable Lady. - David J. Duke (Comput. Graph. Forum, 2000)

Binding Virtual Environments to Toolkit Capabilities. - Shamus P. Smith; David J. Duke (Comput. Graph. Forum, 2000)

Syndetic Modelling: Computer Science Meets Cognitive Psychology. - David A. Duce; David J. Duke (FM-Everywhere@FORTE/PSTV, 2000)

Demonstrating the Cognitive Plausibility of Interactive System Specifications. - Richard Butterworth; Ann Blandford; David J. Duke (Formal Aspects Comput., 2000)

Systems, interactions, and macrotheory. - Philip J. Barnard; Jon May; David J. Duke; David A. Duce (ACM Trans. Comput. Hum. Interact., 2000)

Modular Techniques in Information Visualization. - David J. Duke (InVis.au, 2001)

Human-computer protocols. - David J. Duke; David A. Duce; Philip J. Barnard; Jon May (HCI, 2001)

Minimal Graphics. - Ivan Herman; David J. Duke (IEEE Computer Graphics and Applications, 2001)

Editorial. - Sabine Coquillart; David J. Duke (Comput. Graph. Forum, 2001)

Continuity in cognition. - Jon May; M. J. Buehner; David J. Duke (Univers. Access Inf. Soc., 2002)

Rendering and Affect. - David J. Duke; Philip J. Barnard; Nick Halper; Mara Mellin (Comput. Graph. Forum, 2003)

Linking Representation with Meaning. - David J. Duke (IEEE Visualization, 2004)

Building an Ontology of Visualization. - David J. Duke; Ken W. Brodlie; David A. Duce (IEEE Visualization, 2004)

Visual web mining. - Amir H. Youssefi; David J. Duke; Mohammed Javeed Zaki (WWW (Alternate Track Papers & Posters), 2004)

Drawing Attention to Meaning. - David J. Duke (Cyberpsychology Behav. Soc. Netw., 2004)

Do You See What I Mean? - David J. Duke; Ken W. Brodlie; David A. Duce; Ivan Herman (IEEE Computer Graphics and Applications, 2005)

Editorial. - David J. Duke; Roberto Scopigno (Comput. Graph. Forum, 2006)

Fine-grained Visualization Pipelines and Lazy Functional Languages. - David J. Duke; Malcolm Wallace; Rita Borgo; Colin Runciman (IEEE Trans. Vis. Comput. Graph., 2006)

The Aesthetics of the Underworld. - Nadia Boukhelifa; David J. Duke (CAe, 2008)

A Web Services Architecture for Visualization. - Jason D. Wood; Ken Brodlie; Jungwook Seo; David J. Duke; Jeremy Walton (eScience, 2008)

Experience report: visualizing data through functional pipelines. - David J. Duke; Rita Borgo; Colin Runciman; Malcolm Wallace (ICFP, 2008)

Uncertainty visualization: why might it fail? - Nadia Boukhelifa; David J. Duke (CHI Extended Abstracts, 2009)

Visualizing Heterogeneous Utility Data: A Case for Aesthetic Design. - Nadia Boukhelifa; David J. Duke (Eurographics (Areas Papers), 2009)

Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. - David J. Duke; Rita Borgo; Malcolm Wallace; Colin Runciman (PADL, 2009)

A map of the heap: revealing design abstractions in runtime structures. - Colin Myers; David J. Duke (SOFTVIS, 2010)

Flexible delivery of visualization software and services. - Jason D. Wood; Jungwook Seo; David J. Duke; Jeremy Walton; Ken Brodlie (ICCS, 2010)

Visualizing Nuclear Scission through a Multifield Extension of Topological Analysis. - David J. Duke; Hamish A. Carr; Aaron Knoll; Nicolas Schunck; Hai Ah Nam; Andrzej Staszczak (IEEE Trans. Vis. Comput. Graph., 2012)

Joint Contour Nets: Computation and properties. - Hamish A. Carr; David J. Duke (PacificVis, 2013)

Causality of optimized Haskell: what is burning our cycles? - Peter Moritz Wortmann; David J. Duke (Haskell, 2013)

Computational Topology via Functional Programming: A Baseline Analysis. - David J. Duke; Hamish A. Carr (Topological Methods in Data Analysis and Visualization, 2014)

Parallel computation of multifield topology: experience of Haskell in a computational science application. - David J. Duke; Fouzhan Hosseini; Hamish A. Carr (FHPC@ICFP, 2014)

Simplifying Multivariate Topology (Extended Abstract). - Amit Chattopadhyay; Hamish A. Carr; David J. Duke; Zhao Geng (TPCG, 2014)

Visual Analysis of Hurricane Data Using Joint Contour Net. - Zhao Geng; David J. Duke; Hamish A. Carr; Amit Chattopadhyay (TPCG, 2014)

Extracting Jacobi Structures in Reeb Spaces. - Amit Chattopadhyay; Hamish A. Carr; David J. Duke; Zhao Geng (EuroVis (Short Papers), 2014)

Joint Contour Nets. - Hamish A. Carr; David J. Duke (IEEE Trans. Vis. Comput. Graph., 2014)

Skeletons for distributed topological computation. - David J. Duke; Fouzhan Hosseini (FHPC@ICFP, 2015)

Multivariate topology simplification. - Amit Chattopadhyay; Hamish A. Carr; David J. Duke; Zhao Geng; Osamu Saeki (Comput. Geom., 2016)

Interactive Visualization for Singular Fibers of Functions f : R3 → R2. - Daisuke Sakurai; Osamu Saeki; Hamish A. Carr; Hsiang-Yun Wu; Takahiro Yamamoto; David J. Duke; Shigeo Takahashi (IEEE Trans. Vis. Comput. Graph., 2016)

Specification with Class: A Brief History of Object-Z. - Graeme Smith 001; David J. Duke (FM Workshops (2), 2019)