dblp.uni-trier.dewww.uni-trier.de

David J. Duke Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
56EENadia Boukhelifa, David J. Duke: Uncertainty visualization: why might it fail? CHI Extended Abstracts 2009: 4051-4056
55EEDavid 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
53EEDavid 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
51EEDavid 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
50EEDavid J. Duke, Ken W. Brodlie, David A. Duce: Building an Ontology of Visualization. IEEE Visualization 2004: 7
49EEAmir H. Youssefi, David J. Duke, Mohammed Javeed Zaki: Visual web mining. WWW (Alternate Track Papers & Posters) 2004: 394-395
2003
48EEDavid 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)
41EEDavid A. Duce, David J. Duke: Syndetic Modelling: Computer Science Meets Cognitive Psychology. Electr. Notes Theor. Comput. Sci. 43: (2001)
40EEIvan Herman, David J. Duke: Minimal Graphics. IEEE Computer Graphics and Applications 21(6): 18-21 (2001)
2000
39EEPhilip 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)
33EERichard 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)
27EEDavid 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)
26EEDavid 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)
25EEDavid 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
23EEDavid 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
20EEAnn 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
16EEDavid J. Duke, Philip J. Barnard, Jon May, David A. Duce: Systematic Development of the Human Interface. APSEC 1995: 313-
15EEIan 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
11EEDavid 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
9EEDavid 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
5EEDavid 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
2EEDavid 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)