David Duke

Cited by

	All	Since 2020
Citations	3504	321
h-index	32	10
i10-index	69	10

200

100

150

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 33 29 61 96 184 130 159 109 175 104 152 97 111 106 132 113 134 102 118 105 76 93 94 112 105 104 106 72 102 78 67 59 60 53 4

Public access

View all

7 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Michael HarrisonProfessor of Informatics, Newcastle UniversityVerified email at ncl.ac.uk
Ivan HermanCenter for Mathematics and Computer Science, CWIVerified email at cwi.nl
Jon MayProfessor of Psychology, Plymouth UniversityVerified email at plymouth.ac.uk
Philip BarnardMedical Research Council Cambridge (retired)Verified email at mrc-cbu.cam.ac.uk
Shamus P. SmithGriffith UniversityVerified email at griffith.edu.au
Ann BlandfordProfessor of Human–Computer Interaction, UCLVerified email at ucl.ac.uk
Rita BorgoInformatics Department, King's College LondonVerified email at kcl.ac.uk
Mieke MassinkCNR-ISTIVerified email at isti.cnr.it
Nicolas SchunckLawrence Livermore National LaboratoryVerified email at llnl.gov
Graeme SmithThe University of QueenslandVerified email at itee.uq.edu.au
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
Nadia BoukhelifaINRAE / Université Paris-SaclayVerified email at inrae.fr
Aaron KnollResearch Scientist, University of Utah, and Guest Researcher, Argonne National LaboratoryVerified email at sci.utah.edu
Guy MelançonProfessor of Computer Science, Université de BordeauxVerified email at u-bordeaux.fr
Amit ChattopadhyayInternational Institute of Information Technology, BangaloreVerified email at iiitb.ac.in
Osamu SaekiKyushu UniversityVerified email at imi.kyushu-u.ac.jp
Iain DavidsonProfessor of Archaeology, University of New EnglandVerified email at une.edu.au
Jeremy P.R.B. WaltonUK Met OfficeVerified email at metoffice.gov.uk
Victoria BellottiBloombergVerified email at bloomberg.net
Ian James HayesProfessor of Software Engineering, The University of QueenslandVerified email at uq.edu.au

David Duke

Emeritus Professor of Computer Science, University of Leeds

No verified email

formal methods programming software engineering computational science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Abstract interaction objects DJ Duke, MD Harrison Computer Graphics Forum 12 (3), 25-36, 1993	312	1993
Object-Z: An object-oriented extension to Z DA Carrington, DJ Duke, R Duke, P King, GA Rose, G Smith Proceedings of the IFIP TC/WG6. 1 Second International Conference on Formal …, 1989	287	1989
Systems, interactions, and macrotheory P Barnard, J May, D Duke, D Duce ACM Transactions on Computer-Human Interaction (TOCHI) 7 (2), 222-262, 2000	158	2000
Syndetic modelling DJ Duke, PJ Barnard, DA Duce, J May Human-Computer Interaction 13 (4), 337-393, 1998	125	1998
Differentiation in cognitive and emotional meanings: an evolutionary analysis PJ Barnard, DJ Duke, RW Byrne, I Davidson Cognition and Emotion 21 (6), 1155-1183, 2007	122	2007
Towards a semantics for Object-Z D Duke, R Duke International Symposium of VDM Europe, 244-261, 1990	122	1990
Description of induced nuclear fission with Skyrme energy functionals: Static potential energy surfaces and fission fragment properties N Schunck, D Duke, H Carr, A Knoll Physical Review C 90 (5), 054305, 2014	120	2014
Joint contour nets H Carr, D Duke IEEE Transactions on Visualization and Computer Graphics 20 (8), 1100-1113, 2014	89	2014
A review of formalisms for describing interactive behaviour MD Harrison, DJ Duke Workshop on Software Engineering and Human-Computer Interaction, 49-75, 1994	82	1994
Mapping user requirements to implementations DJ Duke, MD Harrison Software Engineering Journal 10 (1), 13-20, 1995	77	1995
Do you see what I mean?[Data visualization] DJ Duke, KW Brodlie, DA Duce, I Herman IEEE Computer Graphics and Applications 25 (3), 6-9, 2005	74	2005
Unifying views of interactors D Duke, G Faconti, M Harrison, F Paternò Proceedings of the workshop on Advanced visual interfaces, 143-152, 1994	70	1994
Event model of human-system interaction DJ Duke, MD Harrison Software Engineering Journal 10 (1), 3-12, 1995	65	1995
Demonstrating the cognitive plausibility of interactive system specifications R Butterworth, A Blandford, D Duke Formal Aspects of Computing 12, 237-259, 2000	59	2000
Uncertainty visualization: why might it fail? N Boukhelifa, DJ Duke CHI'09 Extended Abstracts on Human Factors in Computing Systems, 4051-4056, 2009	58	2009
Systematic development of the human interface DJ Duke, PJ Barnard, J May, DA Duce Proceedings 1995 Asia Pacific Software Engineering Conference, 313-321, 1995	57	1995
The hybrid world of virtual environments S Smith, D Duke, M Massink Computer Graphics Forum 18 (3), 297-308, 1999	55	1999
Reasoning about gestural interaction DJ Duke Computer Graphics Forum 14 (3), 55-66, 1995	54	1995
Description of induced nuclear fission with Skyrme energy functionals. II. Finite temperature effects N Schunck, D Duke, H Carr Physical Review C 91 (3), 034327, 2015	52	2015
Rendering and affect DJ Duke, PJ Barnard, N Halper, M Mellin Computer Graphics Forum 22 (3), 359-368, 2003	52	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors