| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jason Wood, Jungwook Seo, David J. Duke, Jeremy Walton, Ken Brodlie |
Flexible delivery of visualization software and services.  |
Procedia CS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Rita Borgo, Malcolm Wallace, Colin Runciman |
Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Boukhelifa, David J. Duke |
Uncertainty visualization: why might it fail? |
CHI Extended Abstracts |
2009 |
DBLP DOI BibTeX RDF |
visualization, uncertainty, plans, maps |
| 1 | David J. Duke, Lynda Hardman, Alexander G. Hauptmann, Dietrich Paulus, Steffen Staab (eds.) |
Semantic Multimedia, Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings |
SAMT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Nadia Boukhelifa, David J. Duke |
The Aesthetics of the Underworld. |
Computational Aesthetics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Wood, Ken Brodlie, Jungwook Seo, David J. Duke, Jeremy Walton |
A Web Services Architecture for Visualization. |
eScience |
2008 |
DBLP DOI BibTeX RDF |
web services, visualization, service-oriented architectures, software systems, application design |
| 1 | David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace |
Experience report: visualizing data through functional pipelines. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
visualization, evaluation, streaming, pipeline, Haskell |
| 1 | David J. Duke, Roberto Scopigno |
Editorial. |
Comput. Graph. Forum |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Roberto Scopigno |
Editorial. |
Comput. Graph. Forum |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Roberto Scopigno |
Editorial. |
Comput. Graph. Forum |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Roberto Scopigno |
Editorial. |
Comput. Graph. Forum |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Roberto Scopigno |
Editorial. |
Comput. Graph. Forum |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Roberto Scopigno |
Editorial. |
Comput. Graph. Forum |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Malcolm Wallace, Rita Borgo, Colin Runciman |
Fine-grained Visualization Pipelines and Lazy Functional Languages. |
IEEE Trans. Vis. Comput. Graph. |
2006 |
DBLP DOI BibTeX RDF |
Pipeline model, functional programming, laziness |
| 1 | David J. Duke, Ken W. Brodlie, David A. Duce, Ivan Herman |
Do You See What I Mean? |
IEEE Computer Graphics and Applications |
2005 |
DBLP DOI BibTeX RDF |
ontology of visualization, visualization, taxonomy |
| 1 | Ken Brodlie, David J. Duke, Kenneth I. Joy (eds.) |
EuroVis05: Joint Eurographics - IEEE VGTC Symposium on Visualization, Leeds, United Kingdom, 1-3 June 2005 |
EuroVis |
2005 |
DBLP BibTeX RDF |
|
| 1 | David J. Duke, Ken W. Brodlie, David A. Duce |
Building an Ontology of Visualization. |
IEEE Visualization |
2004 |
DBLP DOI BibTeX RDF |
Ontology, Semantic Web, Grid |
| 1 | David J. Duke |
Linking Representation with Meaning. |
IEEE Visualization |
2004 |
DBLP DOI BibTeX RDF |
Ontology, Visualization, Database, Pipeline |
| 1 | Amir H. Youssefi, David J. Duke, Mohammed Javeed Zaki |
Visual web mining. |
WWW (Alternate Track Papers & Posters) |
2004 |
DBLP DOI BibTeX RDF |
frequent access patterns, data mining, information visualization, web usage mining, visual data exploration |
| 1 | David J. Duke, Philip J. Barnard, Nick Halper, Mara Mellin |
Rendering and Affect. |
Comput. Graph. Forum |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Roberto Scopigno |
Editorial. |
Comput. Graph. Forum |
2002 |
DBLP BibTeX RDF |
|
| 1 | David J. Duke, Roberto Scopigno |
Editorial. |
Comput. Graph. Forum |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Duce, David J. Duke |
Syndetic Modelling: Computer Science Meets Cognitive Psychology. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Roberto Scopigno |
Editorial. |
Comput. Graph. Forum |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabine Coquillart, David J. Duke |
Editorial. |
Comput. Graph. Forum |
2001 |
DBLP BibTeX RDF |
|
| 1 | Sabine Coquillart, David J. Duke |
Editorial. |
Comput. Graph. Forum |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ivan Herman, David J. Duke |
Minimal Graphics. |
IEEE Computer Graphics and Applications |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, David A. Duce, Philip J. Barnard, Jon May |
Human-computer protocols. |
HCI |
2001 |
DBLP BibTeX RDF |
|
| 1 | David J. Duke |
Modular Techniques in Information Visualization. |
InVis.au |
2001 |
DBLP BibTeX RDF |
|
| 1 | Richard Butterworth, Ann Blandford, David J. Duke |
Demonstrating the Cognitive Plausibility of Interactive System Specifications. |
Formal Asp. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Programmable User Modelling (PUM), Cognitive plausibility, Electronic diary systems, Human-Computer Interaction (HCI), Interactive systems, Formal modelling |
| 1 | Philip J. Barnard, Jon May, David J. Duke, David A. Duce |
Systems, interactions, and macrotheory. |
ACM Trans. Comput.-Hum. Interact. |
2000 |
DBLP DOI BibTeX RDF |
models of interaction, cognitive models, computing system models |
| 1 | Sabine Coquillart, David J. Duke |
Editorial. |
Comput. Graph. Forum |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke |
Carla Vandoni - A Remarkable Lady. |
Comput. Graph. Forum |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Shamus P. Smith, David J. Duke |
Binding Virtual Environments to Toolkit Capabilities. |
Comput. Graph. Forum |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabine Coquillart, David J. Duke |
Editorial. |
Comput. Graph. Forum |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabine Coquillart, David J. Duke |
Editorial. |
Comput. Graph. Forum |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1999 |
DBLP DOI BibTeX RDF |
MAL, Design space analysis, Human computer interaction, CSCW |
| 1 | David A. Duce, David J. Duke, Giorgio P. Faconti, Ivan Herman |
The Changing Face of Standardization: A Place for Formal Methods? |
Formal Asp. Comput. |
1999 |
DBLP DOI BibTeX RDF |
PREMO, Distributed systems, Standards, Object-Z, Multi-media |
| 1 | David J. Duke, David A. Duce |
The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction. |
Formal Asp. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Modal action logic, HCI, Cognitive models, Interactor |
| 1 | Shamus P. Smith, David J. Duke, Mieke Massink |
The Hybrid World of Virtual Environments. |
Comput. Graph. Forum |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Butterworth, Ann Blandford, David J. Duke |
Using Formal Models to Explore Display-Based Usability Issues. |
J. Vis. Lang. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Ivan Herman, M. Scott Marshall |
PREMO: A Framework for Multimedia Middleware - Specification, Rationale, and Java Binding |
|
1999 |
DOI RDF |
|
| 1 | David J. Duke, Angel R. Puerta (eds.) |
Design, Specification and Verification of Interactive Systems'99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 |
DSV-IS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Mieke Massink, David J. Duke, Shamus P. Smith |
Towards Hybrid Interface Specifications for Virtual Environments. |
DSV-IS |
1999 |
DBLP BibTeX RDF |
|
| 1 | David J. Duke |
Discussion topics for the DSV-IS'99 working groups. |
DSV-IS |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Ivan Herman |
Programming Paradigms in an Object-Oriented Multimedia Standard. |
Comput. Graph. Forum |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Ivan Herman |
A Standard for Multimedia Middleware. |
ACM Multimedia |
1998 |
DBLP DOI BibTeX RDF |
PREMO, distrubted multimedia, standards |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Blandford, David J. Duke |
Integrating user and computer system concerns in the design of interactive systems. |
Int. J. Hum.-Comput. Stud. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Computer Standards & Interfaces |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | J. K. Hyde, David J. Duke |
Fusion Engines and Melting Pots. |
DSV-IS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Giorgio P. Faconti, David J. Duke |
Device Models. |
DSV-IS |
1996 |
DBLP BibTeX RDF |
|
| 1 | David J. Duke |
Reasoning About Gestural Interaction. |
Comput. Graph. Forum |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Philip J. Barnard, Jon May, David A. Duce |
Systematic Development of the Human Interface. (PDF / PS) |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart |
Are Formal Methods Relevant? (PDF / PS) |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Michael D. Harrison |
Interaction and Task Requirements. |
DSV-IS |
1995 |
DBLP BibTeX RDF |
|
| 1 | David A. Duce, David J. Duke |
Interaction, Cognition and Visualization. |
DSV-IS |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Giorgio P. Faconti, Michael D. Harrison, Fabio Paternò |
Unifying Views of Interactors. |
Advanced Visual Interfaces |
1994 |
DBLP DOI BibTeX RDF |
DAISTS |
| 1 | David J. Duke, Michael D. Harrison |
A Theory of Presentations. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Michael D. Harrison |
From Formal Models to Formal Methods. |
ICSE Workshop on SE-HCI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Harrison, David J. Duke |
A Review of Formalisms for Describing Interactive Behaviour. |
ICSE Workshop on SE-HCI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke, Michael D. Harrison |
Folding Human Factors into Rigorous Development. |
DSV-IS |
1994 |
DBLP BibTeX RDF |
|
| 1 | David J. Duke, Michael D. Harrison |
Abstract Interaction Objects. |
Comput. Graph. Forum |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh |
Deriving Modular Designs from Formal Specifications. |
SIGSOFT FSE |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Duke |
Enhancing the Structure of Z Specifications. |
Z User Workshop |
1991 |
DBLP BibTeX RDF |
|
| 1 | David J. Duke, Roger Duke |
Towards a Semantics for Object-Z. |
VDM Europe |
1990 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")