Follow
David Duke
David Duke
Professor Emeritus of Computer Science, University of Leeds
Verified email at leeds.ac.uk - Homepage
Title
Cited by
Cited by
Year
Abstract interaction objects
DJ Duke, MD Harrison
Computer Graphics Forum 12 (3), 25-36, 1993
3111993
Object-Z: An object-oriented extension to Z
D Carrington
Proc. FORTE'89, 281-296, 1990
2851990
Systems, interactions, and macrotheory
P Barnard, J May, D Duke, D Duce
ACM Transactions on Computer-Human Interaction (TOCHI) 7 (2), 222-262, 2000
1562000
Syndetic modelling
DJ Duke, PJ Barnard, DA Duce, J May
Human-Computer Interaction 13 (4), 337-393, 1998
1271998
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
1162007
Towards a semantics for Object-Z
D Duke, R Duke
International Symposium of VDM Europe, 244-261, 1990
1161990
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
1152014
Joint contour nets
H Carr, D Duke
IEEE Transactions on Visualization and Computer Graphics 20 (8), 1100-1113, 2014
812014
A review of formalisms for describing interactive behaviour
MD Harrison, DJ Duke
Workshop on Software Engineering and Human-Computer Interaction, 49-75, 1994
791994
Mapping user requirements to implementations
DJ Duke, MD Harrison
Software Engineering Journal 10 (1), 13-20, 1995
771995
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
702005
Unifying views of interactors
D Duke, G Faconti, M Harrison, F Paternò
Proceedings of the workshop on Advanced visual interfaces, 143-152, 1994
691994
Event model of human-system interaction
DJ Duke, MD Harrison
Software Engineering Journal 10 (1), 3-12, 1995
651995
Demonstrating the cognitive plausibility of interactive system specifications
R Butterworth, A Blandford, D Duke
Formal Aspects of Computing 12, 237-259, 2000
582000
Uncertainty visualization: why might it fail?
N Boukhelifa, DJ Duke
CHI'09 Extended Abstracts on Human Factors in Computing Systems, 4051-4056, 2009
562009
Systematic development of the human interface
DJ Duke, PJ Barnard, J May, DA Duce
Proceedings 1995 Asia Pacific Software Engineering Conference, 313-321, 1995
561995
A standard model for multimedia synchronization: PREMO synchronization objects
I Herman, N Correia, DA Duce, DJ Duke, GJ Reynolds, J Van Loo
Multimedia systems 6, 88-101, 1998
541998
The hybrid world of virtual environments
S Smith, D Duke, M Massink
Computer Graphics Forum 18 (3), 297-308, 1999
521999
Reasoning about gestural interaction
DJ Duke
Computer Graphics Forum 14 (3), 55-66, 1995
521995
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
512015
The system can't perform the operation now. Try again later.
Articles 1–20