David Duke
David Duke
School of Computing, 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
3011993
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
2561989
Systems, interactions, and macrotheory
P Barnard, J May, D Duke, D Duce
ACM Transactions on Computer-Human Interaction (TOCHI) 7 (2), 222-262, 2000
1442000
Syndetic modelling
DJ Duke, PJ Barnard, DA Duce, J May
Human-Computer Interaction 13 (4), 337-393, 1998
1251998
Towards a semantics for Object-Z
D Duke, R Duke
International Symposium of VDM Europe, 244-261, 1990
981990
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
892007
A review of formalisms for describing interactive behaviour
MD Harrison, DJ Duke
Workshop on Software Engineering and Human-Computer Interaction, 49-75, 1994
761994
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
732014
Mapping user requirements to implementations
DJ Duke, MD Harrison
Software Engineering Journal 10 (1), 13-20, 1995
651995
Unifying views of interactors
D Duke, G Faconti, M Harrison, F Paternˇ
Proceedings of the workshop on Advanced visual interfaces, 143-152, 1994
641994
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
622005
Event model of human-system interaction
DJ Duke, MD Harrison
Software Engineering Journal 10 (1), 3-12, 1995
581995
Joint contour nets
H Carr, D Duke
IEEE Transactions on Visualization and Computer Graphics 20 (8), 1100-1113, 2014
562014
Demonstrating the cognitive plausibility of interactive system specifications
R Butterworth, A Blandford, D Duke
Formal Aspects of Computing 12 (4), 237-259, 2000
522000
Systematic development of the human interface
DJ Duke, PJ Barnard, J May, DA Duce
Proceedings 1995 Asia Pacific Software Engineering Conference, 313-321, 1995
521995
The hybrid world of virtual environments
S Smith, D Duke, M Massink
Computer Graphics Forum 18 (3), 297-308, 1999
511999
Reasoning about gestural interaction
DJ Duke
Computer Graphics Forum 14 (3), 55-66, 1995
511995
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 (2), 88-101, 1998
501998
Skeletal images as visual cues in graph visualization
I Herman, MS Marshall, G Melanšon, DJ Duke, M Delest, JP Domenger
Data Visualization’99, 13-22, 1999
451999
Skeletal images as visual cues in graph visualization
I Herman, MS Marshall, G Melanšon, DJ Duke, M Delest, JP Domenger
Data Visualization’99, 13-22, 1999
451999
The system can't perform the operation now. Try again later.
Articles 1–20