2009 |
56 | EE | Nadia Boukhelifa,
David J. Duke:
Uncertainty visualization: why might it fail?
CHI Extended Abstracts 2009: 4051-4056 |
55 | EE | David J. Duke,
Rita Borgo,
Malcolm Wallace,
Colin Runciman:
Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs.
PADL 2009: 31-45 |
2008 |
54 | | David J. Duke,
Lynda Hardman,
Alexander G. Hauptmann,
Dietrich Paulus,
Steffen Staab:
Semantic Multimedia, Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings
Springer 2008 |
53 | EE | David J. Duke,
Rita Borgo,
Colin Runciman,
Malcolm Wallace:
Experience report: visualizing data through functional pipelines.
ICFP 2008: 379-382 |
2005 |
52 | | Ken Brodlie,
David J. Duke,
Kenneth I. Joy:
EuroVis05: Joint Eurographics - IEEE VGTC Symposium on Visualization, Leeds, United Kingdom, 1-3 June 2005
Eurographics Association 2005 |
51 | EE | David J. Duke,
Ken W. Brodlie,
David A. Duce,
Ivan Herman:
Do You See What I Mean?
IEEE Computer Graphics and Applications 25(3): 6-9 (2005) |
2004 |
50 | EE | David J. Duke,
Ken W. Brodlie,
David A. Duce:
Building an Ontology of Visualization.
IEEE Visualization 2004: 7 |
49 | EE | Amir H. Youssefi,
David J. Duke,
Mohammed Javeed Zaki:
Visual web mining.
WWW (Alternate Track Papers & Posters) 2004: 394-395 |
2003 |
48 | EE | David J. Duke,
Philip J. Barnard,
Nick Halper,
Mara Mellin:
Rendering and Affect.
Comput. Graph. Forum 22(3): 359-368 (2003) |
2002 |
47 | | David J. Duke,
Roberto Scopigno:
Editorial.
Comput. Graph. Forum 21(1): 3 (2002) |
46 | | David J. Duke,
Roberto Scopigno:
Editorial.
Comput. Graph. Forum 21(2): 98 (2002) |
2001 |
45 | | David J. Duke,
David A. Duce,
Philip J. Barnard,
Jon May:
Human-computer protocols.
HCI 2001: 296-300 |
44 | | Sabine Coquillart,
David J. Duke:
Editorial.
Comput. Graph. Forum 20(1): 2 (2001) |
43 | | Sabine Coquillart,
David J. Duke:
Editorial.
Comput. Graph. Forum 20(2): 66 (2001) |
42 | | David J. Duke,
Roberto Scopigno:
Editorial.
Comput. Graph. Forum 20(4): 178 (2001) |
41 | EE | David A. Duce,
David J. Duke:
Syndetic Modelling: Computer Science Meets Cognitive Psychology.
Electr. Notes Theor. Comput. Sci. 43: (2001) |
40 | EE | Ivan Herman,
David J. Duke:
Minimal Graphics.
IEEE Computer Graphics and Applications 21(6): 18-21 (2001) |
2000 |
39 | EE | Philip J. Barnard,
Jon May,
David J. Duke,
David A. Duce:
Systems, interactions, and macrotheory.
ACM Trans. Comput.-Hum. Interact. 7(2): 222-262 (2000) |
38 | | Sabine Coquillart,
David J. Duke:
Editorial.
Comput. Graph. Forum 19(1): 2 (2000) |
37 | | Sabine Coquillart,
David J. Duke:
Editorial.
Comput. Graph. Forum 19(2): 98 (2000) |
36 | | David J. Duke:
Carla Vandoni - A Remarkable Lady.
Comput. Graph. Forum 19(2): 99 (2000) |
35 | | Shamus P. Smith,
David J. Duke:
Binding Virtual Environments to Toolkit Capabilities.
Comput. Graph. Forum 19(3): (2000) |
34 | | Sabine Coquillart,
David J. Duke:
Editorial.
Comput. Graph. Forum 19(4): 194 (2000) |
33 | EE | Richard Butterworth,
Ann Blandford,
David J. Duke:
Demonstrating the Cognitive Plausibility of Interactive System Specifications.
Formal Asp. Comput. 12(4): 237-259 (2000) |
1999 |
32 | | David J. Duke,
Angel R. Puerta:
Design, Specification and Verification of Interactive Systems'99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999
Springer 1999 |
31 | | David J. Duke,
Ivan Herman,
M. Scott Marshall:
PREMO: A Framework for Multimedia Middleware - Specification, Rationale, and Java Binding
Springer 1999 |
30 | | David J. Duke:
Discussion topics for the DSV-IS'99 working groups.
DSV-IS 1999: 268-269 |
29 | | Mieke Massink,
David J. Duke,
Shamus P. Smith:
Towards Hybrid Interface Specifications for Virtual Environments.
DSV-IS 1999: 30-51 |
28 | | Shamus P. Smith,
David J. Duke,
Mieke Massink:
The Hybrid World of Virtual Environments.
Comput. Graph. Forum 18(3): 297-308 (1999) |
27 | EE | David A. Duce,
David J. Duke,
Giorgio P. Faconti,
Ivan Herman:
The Changing Face of Standardization: A Place for Formal Methods?
Formal Asp. Comput. 11(1): 1-20 (1999) |
26 | EE | David J. Duke,
Bob Fields,
Michael D. Harrison:
A Case Study in the Specification and Analysis of Design Alternatives for a User Interface.
Formal Asp. Comput. 11(2): 107-131 (1999) |
25 | EE | David J. Duke,
David A. Duce:
The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction.
Formal Asp. Comput. 11(6): 665-689 (1999) |
24 | | Richard Butterworth,
Ann Blandford,
David J. Duke:
Using Formal Models to Explore Display-Based Usability Issues.
J. Vis. Lang. Comput. 10(4): 455-479 (1999) |
1998 |
23 | EE | David J. Duke,
Ivan Herman:
A Standard for Multimedia Middleware.
ACM Multimedia 1998: 381-390 |
22 | | David J. Duke,
Ivan Herman:
Programming Paradigms in an Object-Oriented Multimedia Standard.
Comput. Graph. Forum 17(4): 249-261 (1998) |
21 | | 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.
Multimedia Syst. 6(2): 88-101 (1998) |
1997 |
20 | EE | Ann Blandford,
David J. Duke:
Integrating user and computer system concerns in the design of interactive systems.
Int. J. Hum.-Comput. Stud. 46(5): 653-679 (1997) |
1996 |
19 | | 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: 201-219 |
18 | | J. K. Hyde,
David J. Duke:
Fusion Engines and Melting Pots.
DSV-IS 1996: 292-311 |
17 | | Giorgio P. Faconti,
David J. Duke:
Device Models.
DSV-IS 1996: 73-91 |
1995 |
16 | EE | David J. Duke,
Philip J. Barnard,
Jon May,
David A. Duce:
Systematic Development of the Human Interface.
APSEC 1995: 313- |
15 | EE | Ian J. Hayes,
Keijiro Araki,
David J. Duke,
Val E. Veraart:
Are Formal Methods Relevant?
APSEC 1995: 513 |
14 | | David A. Duce,
David J. Duke:
Interaction, Cognition and Visualization.
DSV-IS 1995: 1-20 |
13 | | David J. Duke,
Michael D. Harrison:
Interaction and Task Requirements.
DSV-IS 1995: 54-75 |
12 | | David J. Duke:
Reasoning About Gestural Interaction.
Comput. Graph. Forum 14(3): 55-66 (1995) |
1994 |
11 | EE | David J. Duke,
Giorgio P. Faconti,
Michael D. Harrison,
Fabio Paternò:
Unifying Views of Interactors.
Advanced Visual Interfaces 1994: 143-152 |
10 | | David J. Duke,
Michael D. Harrison:
Folding Human Factors into Rigorous Development.
DSV-IS 1994: 333-347 |
9 | | David J. Duke,
Michael D. Harrison:
A Theory of Presentations.
FME 1994: 271-290 |
8 | | David J. Duke,
Michael D. Harrison:
From Formal Models to Formal Methods.
ICSE Workshop on SE-HCI 1994: 159-173 |
7 | | Michael D. Harrison,
David J. Duke:
A Review of Formalisms for Describing Interactive Behaviour.
ICSE Workshop on SE-HCI 1994: 49-75 |
6 | | 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): 393-406 (1994) |
1993 |
5 | EE | David A. Carrington,
David J. Duke,
Ian J. Hayes,
Jim Welsh:
Deriving Modular Designs from Formal Specifications.
SIGSOFT FSE 1993: 89-98 |
4 | | David J. Duke,
Michael D. Harrison:
Abstract Interaction Objects.
Comput. Graph. Forum 12(3): 25-36 (1993) |
1991 |
3 | | David J. Duke:
Enhancing the Structure of Z Specifications.
Z User Workshop 1991: 329-351 |
1990 |
2 | | David J. Duke,
Roger Duke:
Towards a Semantics for Object-Z.
VDM Europe 1990: 244-261 |
1989 |
1 | | 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: 281-296 |