The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David J. Duke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David J. Duke, Philip J. Barnard, Jon May, David A. Duce
    Systematic Development of the Human Interface. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:313-0 [Conf]
  2. Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart
    Are Formal Methods Relevant? [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:513- [Conf]
  3. David Duke
    Modular Techniques in Information Visualization. [Citation Graph (0, 0)][DBLP]
    InVis.au, 2001, pp:11-18 [Conf]
  4. David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Paternò
    Unifying Views of Interactors. [Citation Graph (0, 0)][DBLP]
    Advanced Visual Interfaces, 1994, pp:143-152 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    BCS HCI, 1996, pp:201-219 [Conf]
  6. David A. Duce, David J. Duke
    Interaction, Cognition and Visualization. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:1-20 [Conf]
  7. David J. Duke
    Discussion topics for the DSV-IS'99 working groups. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1999, pp:268-269 [Conf]
  8. David J. Duke, Michael D. Harrison
    Folding Human Factors into Rigorous Development. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1994, pp:333-347 [Conf]
  9. David J. Duke, Michael D. Harrison
    Interaction and Task Requirements. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1995, pp:54-75 [Conf]
  10. Giorgio P. Faconti, David J. Duke
    Device Models. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:73-91 [Conf]
  11. J. K. Hyde, David J. Duke
    Fusion Engines and Melting Pots. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1996, pp:292-311 [Conf]
  12. Mieke Massink, David J. Duke, Shamus P. Smith
    Towards Hybrid Interface Specifications for Virtual Environments. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1999, pp:30-51 [Conf]
  13. David Abramson, Kate A. Smith, Paul Logothetis, David Duke
    FPGA Based Implementation of a Hopfield Neural Network for Solving Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1998, pp:20688-20693 [Conf]
  14. David J. Duke, Roger Duke
    Towards a Semantics for Object-Z. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:244-261 [Conf]
  15. David J. Duke, Michael D. Harrison
    A Theory of Presentations. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:271-290 [Conf]
  16. David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
    Object-Z: An Object-Oriented Extension to Z. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:281-296 [Conf]
  17. David J. Duke, David A. Duce, Philip J. Barnard, Jon May
    Human-computer protocols. [Citation Graph (0, 0)][DBLP]
    HCI, 2001, pp:296-300 [Conf]
  18. David J. Duke, Michael D. Harrison
    From Formal Models to Formal Methods. [Citation Graph (0, 0)][DBLP]
    ICSE Workshop on SE-HCI, 1994, pp:159-173 [Conf]
  19. Michael D. Harrison, David J. Duke
    A Review of Formalisms for Describing Interactive Behaviour. [Citation Graph (0, 0)][DBLP]
    ICSE Workshop on SE-HCI, 1994, pp:49-75 [Conf]
  20. David J. Duke, Ivan Herman
    A Standard for Multimedia Middleware. [Citation Graph (0, 0)][DBLP]
    ACM Multimedia, 1998, pp:381-390 [Conf]
  21. David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh
    Deriving Modular Designs from Formal Specifications. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1993, pp:89-98 [Conf]
  22. David Duke
    Linking Representation with Meaning. [Citation Graph (0, 0)][DBLP]
    IEEE Visualization, 2004, pp:5- [Conf]
  23. David J. Duke, Ken W. Brodlie, David A. Duce
    Building an Ontology of Visualization. [Citation Graph (0, 0)][DBLP]
    IEEE Visualization, 2004, pp:7- [Conf]
  24. Amir H. Youssefi, David J. Duke, Mohammed Javeed Zaki
    Visual web mining. [Citation Graph (0, 0)][DBLP]
    WWW (Alternate Track Papers & Posters), 2004, pp:394-395 [Conf]
  25. David J. Duke
    Enhancing the Structure of Z Specifications. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:329-351 [Conf]
  26. David J. Duke, Ken W. Brodlie, David A. Duce, Ivan Herman
    Do You See What I Mean? [Citation Graph (0, 0)][DBLP]
    IEEE Computer Graphics and Applications, 2005, v:25, n:3, pp:6-9 [Journal]
  27. Ivan Herman, David J. Duke
    Minimal Graphics. [Citation Graph (0, 0)][DBLP]
    IEEE Computer Graphics and Applications, 2001, v:21, n:6, pp:18-21 [Journal]
  28. David A. Duce, David J. Duke, Paul J. W. ten Hagen, Graham J. Reynolds
    PREMO - An Initial Approach to a Formal Definition. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 1994, v:13, n:3, pp:393-406 [Journal]
  29. David J. Duke
    Carla Vandoni - A Remarkable Lady. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 2000, v:19, n:2, pp:99- [Journal]
  30. David J. Duke
    Reasoning About Gestural Interaction. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 1995, v:14, n:3, pp:55-66 [Journal]
  31. David J. Duke, Philip J. Barnard, Nick Halper, Mara Mellin
    Rendering and Affect. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 2003, v:22, n:3, pp:359-368 [Journal]
  32. David J. Duke, Michael D. Harrison
    Abstract Interaction Objects. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 1993, v:12, n:3, pp:25-36 [Journal]
  33. David J. Duke, Ivan Herman
    Programming Paradigms in an Object-Oriented Multimedia Standard. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 1998, v:17, n:4, pp:249-261 [Journal]
  34. David J. Duke, Roberto Scopigno
    Editorial. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 2001, v:20, n:4, pp:178- [Journal]
  35. David J. Duke, Roberto Scopigno
    Editorial. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 2002, v:21, n:2, pp:98- [Journal]
  36. David J. Duke, Roberto Scopigno
    Editorial. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 2002, v:21, n:1, pp:3- [Journal]
  37. Sabine Coquillart, David J. Duke
    Editorial. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 2000, v:19, n:1, pp:2- [Journal]
  38. Sabine Coquillart, David J. Duke
    Editorial. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 2000, v:19, n:2, pp:98- [Journal]
  39. Sabine Coquillart, David J. Duke
    Editorial. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 2000, v:19, n:4, pp:194- [Journal]
  40. Sabine Coquillart, David J. Duke
    Editorial. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 2001, v:20, n:1, pp:2- [Journal]
  41. Sabine Coquillart, David J. Duke
    Editorial. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 2001, v:20, n:2, pp:66- [Journal]
  42. Shamus P. Smith, David J. Duke
    Binding Virtual Environments to Toolkit Capabilities. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 2000, v:19, n:3, pp:- [Journal]
  43. Shamus P. Smith, David J. Duke, Mieke Massink
    The Hybrid World of Virtual Environments. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 1999, v:18, n:3, pp:297-308 [Journal]
  44. David A. Duce, David J. Duke
    Syndetic Modelling: Computer Science Meets Cognitive Psychology. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
  45. Richard Butterworth, Ann Blandford, David J. Duke
    Demonstrating the Cognitive Plausibility of Interactive System Specifications. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:237-259 [Journal]
  46. David A. Duce, David J. Duke, Giorgio P. Faconti, Ivan Herman
    The Changing Face of Standardization: A Place for Formal Methods? [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:1, pp:1-20 [Journal]
  47. David J. Duke, David A. Duce
    The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:6, pp:665-689 [Journal]
  48. David J. Duke, Bob Fields, Michael D. Harrison
    A Case Study in the Specification and Analysis of Design Alternatives for a User Interface. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:2, pp:107-131 [Journal]
  49. Ann Blandford, David J. Duke
    Integrating user and computer system concerns in the design of interactive systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1997, v:46, n:5, pp:653-679 [Journal]
  50. 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. [Citation Graph (0, 0)][DBLP]
    Multimedia Syst., 1998, v:6, n:2, pp:88-101 [Journal]
  51. Philip J. Barnard, Jon May, David J. Duke, David A. Duce
    Systems, interactions, and macrotheory. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput.-Hum. Interact., 2000, v:7, n:2, pp:222-262 [Journal]
  52. Richard Butterworth, Ann Blandford, David J. Duke
    Using Formal Models to Explore Display-Based Usability Issues. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 1999, v:10, n:4, pp:455-479 [Journal]

  53. Uncertainty visualization: why might it fail? [Citation Graph (, )][DBLP]


  54. Experience report: visualizing data through functional pipelines. [Citation Graph (, )][DBLP]


  55. Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. [Citation Graph (, )][DBLP]


  56. Editorial. [Citation Graph (, )][DBLP]


  57. Editorial. [Citation Graph (, )][DBLP]


  58. Editorial. [Citation Graph (, )][DBLP]


  59. Editorial. [Citation Graph (, )][DBLP]


  60. Editorial. [Citation Graph (, )][DBLP]


  61. Editorial. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002