default search action
David J. Duke
Person information
- affiliation: University of Leeds, Leeds, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [c44]Graeme Smith
, David J. Duke:
Specification with Class: A Brief History of Object-Z. FM Workshops (2) 2019: 73-86 - 2016
- [j45]Amit Chattopadhyay
Multivariate topology simplification. Comput. Geom. 58: 1-24 (2016) - [j44]Daisuke Sakurai, Osamu Saeki, Hamish A. Carr, Hsiang-Yun Wu, Takahiro Yamamoto, David J. Duke, Shigeo Takahashi
Interactive Visualization for Singular Fibers of Functions f : R3 → R2. IEEE Trans. Vis. Comput. Graph. 22(1): 945-954 (2016) - 2015
- [c43]David J. Duke, Fouzhan Hosseini:
Skeletons for distributed topological computation. FHPC@ICFP 2015: 35-44 - [i1]Amit Chattopadhyay, Hamish A. Carr, David J. Duke, Zhao Geng, Osamu Saeki:
Multivariate Topology Simplification. CoRR abs/1509.04465 (2015) - 2014
- [j43]Hamish A. Carr, David J. Duke:
Joint Contour Nets. IEEE Trans. Vis. Comput. Graph. 20(8): 1100-1113 (2014) - [c42]David J. Duke, Fouzhan Hosseini, Hamish A. Carr:
Parallel computation of multifield topology: experience of Haskell in a computational science application. FHPC@ICFP 2014: 11-21 - [c41]Zhao Geng, David J. Duke, Hamish A. Carr, Amit Chattopadhyay:
Visual Analysis of Hurricane Data Using Joint Contour Net. TPCG 2014: 33-40 - [c40]Amit Chattopadhyay, Hamish A. Carr, David J. Duke, Zhao Geng:
Simplifying Multivariate Topology (Extended Abstract). TPCG 2014: 51-52 - [c39]Amit Chattopadhyay, Hamish A. Carr, David J. Duke, Zhao Geng:
Extracting Jacobi Structures in Reeb Spaces. EuroVis (Short Papers) 2014 - [p1]David J. Duke, Hamish A. Carr:
Computational Topology via Functional Programming: A Baseline Analysis. Topological Methods in Data Analysis and Visualization 2014: 73-87 - 2013
- [c38]Hamish A. Carr, David J. Duke:
Joint Contour Nets: Computation and properties. PacificVis 2013: 161-168 - [c37]Peter Moritz Wortmann, David J. Duke:
Causality of optimized Haskell: what is burning our cycles? Haskell 2013: 141-152 - 2012
- [j42]David J. Duke, Hamish A. Carr, Aaron Knoll, Nicolas Schunck
Visualizing Nuclear Scission through a Multifield Extension of Topological Analysis. IEEE Trans. Vis. Comput. Graph. 18(12): 2033-2040 (2012) - 2010
- [c36]Colin Myers, David J. Duke:
A map of the heap: revealing design abstractions in runtime structures. SOFTVIS 2010: 63-72 - [c35]Jason D. Wood, Jungwook Seo, David J. Duke, Jeremy Walton
Flexible delivery of visualization software and services. ICCS 2010: 1719-1726
2000 – 2009
- 2009
- [c34]Nadia Boukhelifa, David J. Duke:
Uncertainty visualization: why might it fail? CHI Extended Abstracts 2009: 4051-4056 - [c33]Nadia Boukhelifa, David J. Duke:
Visualizing Heterogeneous Utility Data: A Case for Aesthetic Design. Eurographics (Areas Papers) 2009: 3-10 - [c32]David J. Duke, Rita Borgo
Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. PADL 2009: 31-45 - 2008
- [c31]Nadia Boukhelifa, David J. Duke:
The Aesthetics of the Underworld. CAe 2008: 41-48 - [c30]Jason D. Wood, Ken Brodlie
A Web Services Architecture for Visualization. eScience 2008: 1-7 - [c29]David J. Duke, Rita Borgo
Experience report: visualizing data through functional pipelines. ICFP 2008: 379-382 - [e3]David J. Duke, Lynda Hardman
Semantic Multimedia, Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings. Lecture Notes in Computer Science 5392, Springer 2008, ISBN 978-3-540-92234-6 [contents] - 2007
- [j41]David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 26(1) (2007) - [j40]David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 26(2) (2007) - [j39]David J. Duke, Roberto Scopigno:
Editorial. Comput. Graph. Forum 26(4) (2007) - 2006
- [j38]David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 25(1): i (2006) - [j37]David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 25(2): i (2006) - [j36]David J. Duke, Roberto Scopigno
Editorial. Comput. Graph. Forum 25(4): i (2006) - [j35]David J. Duke, Malcolm Wallace, Rita Borgo
Fine-grained Visualization Pipelines and Lazy Functional Languages. IEEE Trans. Vis. Comput. Graph. 12(5): 973-980 (2006) - 2005
- [j34]David J. Duke, Ken W. Brodlie
Do You See What I Mean? IEEE Computer Graphics and Applications 25(3): 6-9 (2005) - [e2]Ken Brodlie, David J. Duke, Kenneth I. Joy:
7th Joint Eurographics - IEEE VGTC Symposium on Visualization, Leeds, UK, June 1-3, 2005. Eurographics Association 2005, ISBN 3-905673-19-3 [contents] - 2004
- [j33]David J. Duke:
Drawing Attention to Meaning. Cyberpsychology Behav. Soc. Netw. 7(6): 673-682 (2004) - [c28]David J. Duke:
Linking Representation with Meaning. IEEE Visualization 2004: 5 - [c27]David J. Duke, Ken W. Brodlie, David A. Duce:
Building an Ontology of Visualization. IEEE Visualization 2004: 7 - [c26]Amir H. Youssefi, David J. Duke, Mohammed Javeed Zaki:
Visual web mining. WWW (Alternate Track Papers & Posters) 2004: 394-395 - 2003
- [j32]David J. Duke, Philip J. Barnard
Rendering and Affect. Comput. Graph. Forum 22(3): 359-368 (2003) - 2002
- [j31]David J. Duke, Roberto Scopigno:
Editorial. Comput. Graph. Forum 21(1): 3 (2002) - [j30]David J. Duke, Roberto Scopigno:
Editorial. Comput. Graph. Forum 21(2): 98 (2002) - [j29]David J. Duke, Roberto Scopigno:
Editorial. Comput. Graph. Forum 21(4): 659 (2002) - [j28]Jon May
Continuity in cognition. Univers. Access Inf. Soc. 1(4): 252-262 (2002) - 2001
- [j27]Ivan Herman, David J. Duke:
Minimal Graphics. IEEE Computer Graphics and Applications 21(6): 18-21 (2001) - [j26]Sabine Coquillart, David J. Duke:
Editorial. Comput. Graph. Forum 20(1): 2 (2001) - [j25]Sabine Coquillart, David J. Duke:
Editorial. Comput. Graph. Forum 20(2): 66 (2001) - [j24]David J. Duke, Roberto Scopigno:
Editorial. Comput. Graph. Forum 20(4): 178 (2001) - [c25]David J. Duke:
Modular Techniques in Information Visualization. InVis.au 2001: 11-18 - [c24]David J. Duke, David A. Duce, Philip J. Barnard, Jon May:
Human-computer protocols. HCI 2001: 296-300 - 2000
- [j23]Sabine Coquillart, David J. Duke:
Editorial. Comput. Graph. Forum 19(1): 2 (2000) - [j22]Sabine Coquillart, David J. Duke:
Editorial. Comput. Graph. Forum 19(2): 98 (2000) - [j21]David J. Duke:
Carla Vandoni - A Remarkable Lady. Comput. Graph. Forum 19(2): 99 (2000) - [j20]Shamus P. Smith
Binding Virtual Environments to Toolkit Capabilities. Comput. Graph. Forum 19(3): 81-89 (2000) - [j19]Sabine Coquillart, David J. Duke:
Editorial. Comput. Graph. Forum 19(4): 194 (2000) - [j18]Richard Butterworth, Ann Blandford
Demonstrating the Cognitive Plausibility of Interactive System Specifications. Formal Aspects Comput. 12(4): 237-259 (2000) - [j17]Philip J. Barnard
Systems, interactions, and macrotheory. ACM Trans. Comput. Hum. Interact. 7(2): 222-262 (2000) - [c23]David A. Duce, David J. Duke:
Syndetic Modelling: Computer Science Meets Cognitive Psychology. FM-Everywhere@FORTE/PSTV 2000: 50-74
1990 – 1999
- 1999
- [b2]David J. Duke, Ivan Herman, M. Scott Marshall:
PREMO: A Framework for Multimedia Middleware - Specification, Rationale, and Java Binding. Lecture Notes in Computer Science 1591, Springer 1999, ISBN 3-540-66720-2 - [j16]Shamus P. Smith
The Hybrid World of Virtual Environments. Comput. Graph. Forum 18(3): 297-308 (1999) - [j15]David A. Duce, David J. Duke, Giorgio P. Faconti, Ivan Herman
The Changing Face of Standardization: A Place for Formal Methods? Formal Aspects Comput. 11(1): 1-20 (1999) - [j14]David J. Duke, Bob Fields
A Case Study in the Specification and Analysis of Design Alternatives for a User Interface. Formal Aspects Comput. 11(2): 107-131 (1999) - [j13]David J. Duke, David A. Duce:
The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction. Formal Aspects Comput. 11(6): 665-689 (1999) - [j12]Richard Butterworth, Ann Blandford
Using Formal Models to Explore Display-Based Usability Issues. J. Vis. Lang. Comput. 10(4): 455-479 (1999) - [c22]Mieke Massink, David J. Duke, Shamus P. Smith
Towards Hybrid Interface Specifications for Virtual Environments. DSV-IS 1999: 30-51 - [c21]David J. Duke:
Discussion topics for the DSV-IS'99 working groups. DSV-IS 1999: 268-269 - [c20]Iván Herman, M. Scott Marshall, Guy Melançon, David J. Duke, Maylis Delest, Jean-Philippe Domenger:
Skeletal Images as Visual Cues in Graph Visualization. VisSym 1999: 13-22 - [e1]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, ISBN 3-211-83405-2 [contents] - 1998
- [j11]David J. Duke, Ivan Herman:
Programming Paradigms in an Object-Oriented Multimedia Standard. Comput. Graph. Forum 17(4): 249-261 (1998) - [j10]David J. Duke, Philip J. Barnard
Syndetic Modelling. Hum. Comput. Interact. 13(4): 337-393 (1998) - [j9]Ivan Herman
A Standard Model for Multimedia Synchronization: PREMO Synchronization Objects. Multim. Syst. 6(2): 88-101 (1998) - [c19]David J. Duke, Iván Herman:
A Standard for Multimedia Middleware. Eurographics (State of the Art Reports) 1998 - [c18]David Abramson
FPGA Based Implementation of a Hopfield Neural Network for Solving Constraint Satisfaction Problems. EUROMICRO 1998: 20688-20693 - [c17]David J. Duke, Ivan Herman:
A Standard for Multimedia Middleware. ACM Multimedia 1998: 381-390 - 1997
- [j8]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. Comput. Stand. Interfaces 18(6-7): 525-535 (1997) - [j7]Ann Blandford
Integrating user and computer system concerns in the design of interactive systems. Int. J. Hum. Comput. Stud. 46(5): 653-679 (1997) - 1996
- [j6]Victoria Bellotti, Ann Blandford, David J. Duke, David MacLean, Jon May
Interpersonal Access Control in Computer-Mediated Communications: A Systematic Analysis of the Design Space. Hum. Comput. Interact. 11(4): 357-432 (1996) - [c16]Simon Buckingham Shum
Multidisciplinary Modelling for User-Centred System Design: An Air-traffic Control Case Study. BCS HCI 1996: 201-219 - [c15]Giorgio P. Faconti, David J. Duke:
Device Models. DSV-IS 1996: 73-91 - [c14]J. K. Hyde, David J. Duke:
Fusion Engines and Melting Pots. DSV-IS 1996: 292-311 - 1995
- [j5]David J. Duke:
Reasoning About Gestural Interaction. Comput. Graph. Forum 14(3): 55-66 (1995) - [j4]David J. Duke, Michael D. Harrison:
Event model of human-system interaction. Softw. Eng. J. 10(1): 3-12 (1995) - [j3]David J. Duke, Michael D. Harrison:
Mapping user requirements to implementations. Softw. Eng. J. 10(1): 13-20 (1995) - [c13]David J. Duke, Philip J. Barnard, Jon May, David A. Duce:
Systematic Development of the Human Interface. APSEC 1995: 313- - [c12]Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart:
Are Formal Methods Relevant? APSEC 1995: 513 - [c11]David A. Duce, David J. Duke:
Interaction, Cognition and Visualization. DSV-IS 1995: 1-20 - [c10]David J. Duke, Michael D. Harrison:
Interaction and Task Requirements. DSV-IS 1995: 54-75 - 1994
- [j2]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) - [c9]David J. Duke, Giorgio P. Faconti, Michael D. Harrison
Unifying Views of Interactors. Advanced Visual Interfaces 1994: 143-152 - [c8]David J. Duke, Michael D. Harrison:
Folding Human Factors into Rigorous Development. DSV-IS 1994: 333-347 - [c7]David J. Duke, Michael D. Harrison:
A Theory of Presentations. FME 1994: 271-290 - [c6]Michael D. Harrison, David J. Duke:
A Review of Formalisms for Describing Interactive Behaviour. ICSE Workshop on SE-HCI 1994: 49-75 - [c5]David J. Duke, Michael D. Harrison:
From Formal Models to Formal Methods. ICSE Workshop on SE-HCI 1994: 159-173 - 1993
- [j1]David J. Duke, Michael D. Harrison:
Abstract Interaction Objects. Comput. Graph. Forum 12(3): 25-36 (1993) - [c4]David A. Carrington, David J. Duke, Ian J. Hayes
Deriving Modular Designs from Formal Specifications. SIGSOFT FSE 1993: 89-98 - 1992
- [b1]David J. Duke:
Object-oriented formal specification / by David John Duke. University of Queensland, Australia, 1992 - 1991
- [c3]David J. Duke:
Enhancing the Structure of Z Specifications. Z User Workshop 1991: 329-351 - 1990
- [c2]David J. Duke, Roger Duke:
Towards a Semantics for Object-Z. VDM Europe 1990: 244-261
1980 – 1989
- 1989
- [c1]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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: