David J. Duke

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

Coauthor Index

1	Keijiro Araki	[15]
2	Philip J. Barnard	[16] [39] [45] [48]
3	Ann Blandford	[19] [20] [24] [33]
4	Rita Borgo	[53] [55]
5	Nadia Boukhelifa	[56]
6	Ken Brodlie (Ken W. Brodlie)	[50] [51] [52]
7	Richard Butterworth	[24] [33]
8	David A. Carrington	[1] [5]
9	Sabine Coquillart	[34] [37] [38] [43] [44]
10	Nuno Correia	[21]
11	David A. Duce	[6] [14] [16] [21] [25] [27] [39] [41] [45] [50] [51]
12	Roger Duke	[1] [2]
13	Giorgio P. Faconti (Giorgio Faconti)	[11] [17] [27]
14	Bob Fields	[26]
15	Jason Good	[19]
16	Paul J. W. ten Hagen	[6]
17	Nick Halper	[48]
18	Lynda Hardman	[54]
19	Michael D. Harrison	[4] [7] [8] [9] [10] [11] [13] [26]
20	Alexander G. Hauptmann	[54]
21	Ian J. Hayes	[5] [15]
22	Ivan Herman (Iván Herman)	[21] [22] [23] [27] [31] [40] [51]
23	J. K. Hyde	[18]
24	Kenneth I. Joy	[52]
25	Paul King	[1]
26	James van Loo	[21]
27	M. Scott Marshall	[31]
28	Mieke Massink	[28] [29]
29	Jon May	[16] [19] [39] [45]
30	Mara Mellin	[48]
31	Fabio Paternò	[11] [19]
32	Dietrich Paulus	[54]
33	Angel R. Puerta	[32]
34	Graham J. Reynolds	[6] [21]
35	Gordon A. Rose	[1]
36	Colin Runciman	[53] [55]
37	Roberto Scopigno	[42] [46] [47]
38	Simon Buckingham Shum	[19]
39	Graeme Smith	[1]
40	Shamus P. Smith	[28] [29] [35]
41	Steffen Staab	[54]
42	Val E. Veraart	[15]
43	Malcolm Wallace	[53] [55]
44	Jim Welsh	[5]
45	Richard M. Young	[19]
46	Amir H. Youssefi	[49]
47	Mohammed Javeed Zaki (Mohammed J. Zaki)	[49]

Colors in the list of coauthors