David J. Duke

Publication Activity (10 Years)

Years Active: 1989-2019
Publications (10 Years): 3

Top Topics

Computational Science

Topology Preservation

Multivariate Data

Top Venues

IEEE Trans. Vis. Comput. Graph.

Publications

Graeme Smith, David J. Duke
Specification with Class: A Brief History of Object-Z. FM Workshops (2) (2019)
Amit Chattopadhyay, Hamish A. Carr, David J. Duke, Zhao Geng, Osamu Saeki
Multivariate topology simplification. Comput. Geom. 58 (2016)
Daisuke Sakurai, Osamu Saeki, Hamish A. Carr, Hsiang-Yun Wu, Takahiro Yamamoto, David J. Duke, Shigeo Takahashi
. IEEE Trans. Vis. Comput. Graph. 22 (1) (2016)
David J. Duke, Fouzhan Hosseini
Skeletons for distributed topological computation. FHPC@ICFP (2015)
Amit Chattopadhyay, Hamish A. Carr, David J. Duke, Zhao Geng, Osamu Saeki
Multivariate Topology Simplification. CoRR (2015)
David J. Duke, Fouzhan Hosseini, Hamish A. Carr
Parallel computation of multifield topology: experience of Haskell in a computational science application. FHPC@ICFP (2014)
Zhao Geng, David J. Duke, Hamish A. Carr, Amit Chattopadhyay
Visual Analysis of Hurricane Data Using Joint Contour Net. TPCG (2014)
Amit Chattopadhyay, Hamish A. Carr, David J. Duke, Zhao Geng
Simplifying Multivariate Topology (Extended Abstract). TPCG (2014)
Hamish A. Carr, David J. Duke
Joint Contour Nets. IEEE Trans. Vis. Comput. Graph. 20 (8) (2014)
Amit Chattopadhyay, Hamish A. Carr, David J. Duke, Zhao Geng
Extracting Jacobi Structures in Reeb Spaces. EuroVis (Short Papers) (2014)
Peter Moritz Wortmann, David J. Duke
Causality of optimized Haskell: what is burning our cycles? Haskell (2013)
Hamish A. Carr, David J. Duke
Joint Contour Nets: Computation and properties. PacificVis (2013)
David J. Duke, Hamish A. Carr, Aaron Knoll, Nicolas Schunck, Hai Ah Nam, Andrzej Staszczak
Visualizing Nuclear Scission through a Multifield Extension of Topological Analysis. IEEE Trans. Vis. Comput. Graph. 18 (12) (2012)
Jason D. Wood, Jungwook Seo, David J. Duke, Jeremy Walton, Ken Brodlie
Flexible delivery of visualization software and services. ICCS (1) (2010)
Colin Myers, David J. Duke
A map of the heap: revealing design abstractions in runtime structures. SOFTVIS (2010)
Nadia Boukhelifa, David J. Duke
Visualizing Heterogeneous Utility Data: A Case for Aesthetic Design. Eurographics (Areas Papers) (2009)
Nadia Boukhelifa, David J. Duke
Uncertainty visualization: why might it fail? CHI Extended Abstracts (2009)
David J. Duke, Rita Borgo, Malcolm Wallace, Colin Runciman
Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. PADL (2009)
David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace
Experience report: visualizing data through functional pipelines. ICFP (2008)
Jason D. Wood, Ken Brodlie, Jungwook Seo, David J. Duke, Jeremy Walton
A Web Services Architecture for Visualization. eScience (2008)
Nadia Boukhelifa, David J. Duke
The Aesthetics of the Underworld. CAe (2008)
David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 26 (1) (2007)
David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 26 (4) (2007)
David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 26 (2) (2007)
David J. Duke, Malcolm Wallace, Rita Borgo, Colin Runciman
Fine-grained Visualization Pipelines and Lazy Functional Languages. IEEE Trans. Vis. Comput. Graph. 12 (5) (2006)
David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 25 (2) (2006)
David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 25 (4) (2006)
David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 25 (1) (2006)
David J. Duke, Ken W. Brodlie, David A. Duce, Ivan Herman
Do You See What I Mean? IEEE Computer Graphics and Applications 25 (3) (2005)
David J. Duke, Ken W. Brodlie, David A. Duce
Building an Ontology of Visualization. IEEE Visualization (2004)
David J. Duke
Drawing Attention to Meaning. Cyberpsychology Behav. Soc. Netw. 7 (6) (2004)
Amir H. Youssefi, David J. Duke, Mohammed Javeed Zaki
Visual web mining. WWW (Alternate Track Papers & Posters) (2004)
David J. Duke
Linking Representation with Meaning. IEEE Visualization (2004)
David J. Duke, Philip J. Barnard, Nick Halper, Mara Mellin
Rendering and Affect. Comput. Graph. Forum 22 (3) (2003)
Jon May, M. J. Buehner, David J. Duke
Continuity in cognition. Univers. Access Inf. Soc. 1 (4) (2002)
David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 21 (1) (2002)
David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 21 (2) (2002)
David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 21 (4) (2002)
Ivan Herman, David J. Duke
Minimal Graphics. IEEE Computer Graphics and Applications 21 (6) (2001)
David J. Duke
Modular Techniques in Information Visualization. InVis.au (2001)
Sabine Coquillart, David J. Duke
Editorial. Comput. Graph. Forum 20 (1) (2001)
David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 20 (4) (2001)
David J. Duke, David A. Duce, Philip J. Barnard, Jon May
Human-computer protocols. HCI (2001)
Sabine Coquillart, David J. Duke
Editorial. Comput. Graph. Forum 20 (2) (2001)
David A. Duce, David J. Duke
Syndetic Modelling: Computer Science Meets Cognitive Psychology. Electron. Notes Theor. Comput. Sci. 43 (2001)
David J. Duke
Carla Vandoni - A Remarkable Lady. Comput. Graph. Forum 19 (2) (2000)
Richard Butterworth, Ann Blandford, David J. Duke
Demonstrating the Cognitive Plausibility of Interactive System Specifications. Formal Aspects Comput. 12 (4) (2000)
Shamus P. Smith, David J. Duke
Binding Virtual Environments to Toolkit Capabilities. Comput. Graph. Forum 19 (3) (2000)
Sabine Coquillart, David J. Duke
Editorial. Comput. Graph. Forum 19 (2) (2000)
Philip J. Barnard, Jon May, David J. Duke, David A. Duce
Systems, interactions, and macrotheory. ACM Trans. Comput. Hum. Interact. 7 (2) (2000)
Sabine Coquillart, David J. Duke
Editorial. Comput. Graph. Forum 19 (4) (2000)
Sabine Coquillart, David J. Duke
Editorial. Comput. Graph. Forum 19 (1) (2000)
David J. Duke
Discussion topics for the DSV-IS'99 working groups. DSV-IS (1999)
Richard Butterworth, Ann Blandford, David J. Duke
Using Formal Models to Explore Display-Based Usability Issues. J. Vis. Lang. Comput. 10 (4) (1999)
Iván Herman, M. Scott Marshall, Guy Melançon, David J. Duke, Maylis Delest, Jean-Philippe Domenger
Skeletal Images as Visual Cues in Graph Visualization. VisSym (1999)
David A. Duce, David J. Duke, Giorgio P. Faconti, Ivan Herman
The Changing Face of Standardization: A Place for Formal Methods? Formal Aspects Comput. 11 (1) (1999)
David J. Duke, David A. Duce
The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction. Formal Aspects Comput. 11 (6) (1999)
David J. Duke, Bob Fields, Michael D. Harrison
A Case Study in the Specification and Analysis of Design Alternatives for a User Interface. Formal Aspects Comput. 11 (2) (1999)
Shamus P. Smith, David J. Duke, Mieke Massink
The Hybrid World of Virtual Environments. Comput. Graph. Forum 18 (3) (1999)
Mieke Massink, David J. Duke, Shamus P. Smith
Towards Hybrid Interface Specifications for Virtual Environments. DSV-IS (1999)
Ivan Herman, Nuno Correia, David A. Duce, David J. Duke, Graham J. Reynolds, James van Loo
A Standard Model for Multimedia Synchronization: PREMO Synchronization Objects. Multim. Syst. 6 (2) (1998)
David J. Duke, Ivan Herman
A Standard for Multimedia Middleware. ACM Multimedia (1998)
David Abramson, Kate A. Smith, Paul Logothetis, David J. Duke
FPGA Based Implementation of a Hopfield Neural Network for Solving Constraint Satisfaction Problems. EUROMICRO (1998)
David J. Duke, Ivan Herman
Programming Paradigms in an Object-Oriented Multimedia Standard. Comput. Graph. Forum 17 (4) (1998)
David J. Duke, Philip J. Barnard, David A. Duce, Jon May
Syndetic Modelling. Hum. Comput. Interact. 13 (4) (1998)
David J. Duke, Iván Herman
A Standard for Multimedia Middleware. Eurographics (State of the Art Reports) (1998)
Ann Blandford, David J. Duke
Integrating user and computer system concerns in the design of interactive systems. Int. J. Hum. Comput. Stud. 46 (5) (1997)
David J. Duke, Ivan Herman, Thomas Rist, Michael D. Wilson
Relating the primitive hierarchy of the PREMO standard to the standard reference model for intelligent multimedia presentation systems. Comput. Stand. Interfaces 18 (6-7) (1997)
J. K. Hyde, David J. Duke
Fusion Engines and Melting Pots. DSV-IS (1996)
Giorgio P. Faconti, David J. Duke
Device Models. DSV-IS (1996)
Simon Buckingham Shum, Ann Blandford, David J. Duke, Jason Good, Jon May, Fabio Paternò, Richard M. Young
Multidisciplinary Modelling for User-Centred System Design: An Air-traffic Control Case Study. BCS HCI (1996)
Victoria Bellotti, Ann Blandford, David J. Duke, David MacLean, Jon May, Laurence Nigay
Interpersonal Access Control in Computer-Mediated Communications: A Systematic Analysis of the Design Space. Hum. Comput. Interact. 11 (4) (1996)
David J. Duke, Michael D. Harrison
Event model of human-system interaction. Softw. Eng. J. 10 (1) (1995)
David J. Duke, Michael D. Harrison
Interaction and Task Requirements. DSV-IS (1995)
David J. Duke, Michael D. Harrison
Mapping user requirements to implementations. Softw. Eng. J. 10 (1) (1995)
David J. Duke, Philip J. Barnard, Jon May, David A. Duce
Systematic Development of the Human Interface. APSEC (1995)
David J. Duke
Reasoning About Gestural Interaction. Comput. Graph. Forum 14 (3) (1995)
Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart
Are Formal Methods Relevant? APSEC (1995)
David A. Duce, David J. Duke
Interaction, Cognition and Visualization. DSV-IS (1995)
David J. Duke, Michael D. Harrison
Folding Human Factors into Rigorous Development. DSV-IS (1994)
David A. Duce, David J. Duke, Paul J. W. ten Hagen, Graham J. Reynolds
PREMO - An Initial Approach to a Formal Definition. Comput. Graph. Forum 13 (3) (1994)
Michael D. Harrison, David J. Duke
A Review of Formalisms for Describing Interactive Behaviour. ICSE Workshop on SE-HCI (1994)
David J. Duke, Michael D. Harrison
From Formal Models to Formal Methods. ICSE Workshop on SE-HCI (1994)
David J. Duke, Michael D. Harrison
A Theory of Presentations. FME (1994)
David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Paternò
Unifying Views of Interactors. Advanced Visual Interfaces (1994)
David J. Duke, Michael D. Harrison
Abstract Interaction Objects. Comput. Graph. Forum 12 (3) (1993)
David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh
Deriving Modular Designs from Formal Specifications. SIGSOFT FSE (1993)
David J. Duke
Enhancing the Structure of Z Specifications. Z User Workshop (1991)
David J. Duke, Roger Duke
Towards a Semantics for Object-Z. VDM Europe (1990)
David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
Object-Z: An Object-Oriented Extension to Z. FORTE (1989)