David A. Duce

  • Oxford Brookes University, UK

According to our database1, David A. Duce authored at least 92 papers between 1976 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:



The role of usability engineering in the development of an intelligent decision support system.
Proceedings of the First Joint Workshop on AI in Health organized as part of the Federated AI Meeting (FAIM 2018), 2018

The Role of Usability Engineering in the Development of an Intelligent Decision Support System.
Proceedings of the Artificial Intelligence in Health - First International Workshop, 2018

Automating the semantic mapping between regulatory guidelines and organizational processes.
Serv. Oriented Comput. Appl., 2016

SWiFT Seeing the Wood From the Trees: helping people make sense of their health data.
Proceedings of the Eurographics Workshop on Visual Computing for Biology and Medicine, 2015

GKS-94 to SVG: Some Reflections on the Evolution of Standards for 2D Graphics.
Proceedings of the Computer Graphics and Visual Computing, 2015

RP-Match: A Framework for Automatic Mapping of Regulations with Organizational Processes.
Proceedings of the IEEE 10th International Conference on e-Business Engineering, 2013

Evaluating Mobile Applications: A Spreadsheet Case Study.
Int. J. Mob. Hum. Comput. Interact., 2012

Extracting meaningful entities from regulatory text: Towards automating regulatory compliance.
Proceedings of the Fifth IEEE International Workshop on Requirements Engineering and Law, 2012

Modeling social media collaborative work.
Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

Methodologies for using Social Media Collaborative Work systems.
Proceedings of the First International Workshop on Requirements Engineering for Social Computing, 2011

Towards semantic methodologies for automatic regulatory compliance support.
Proceedings of the 4th workshop on Workshop for Ph.D. students in information & knowledge management, 2011

Semantic-ART: a framework for semantic annotation of regulatory text.
Proceedings of the fourth workshop on Exploiting Semantic Annotations in Information Retrieval, 2011

Introduction to the special issue on semantic and digital media technologies.
Multim. Tools Appl., 2010

Formal Aspects Comput., 2009

Formal Aspects Comput., 2009

The Oea framework for class-based object-oriented style JavaScript for web programming.
Comput. Stand. Interfaces, 2009

GraSSML: accessible smart schematic diagrams for all.
Univers. Access Inf. Soc., 2007

A P2P Network Protocol for Efficient Choreography of Web Services.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

An efficient composition of Web services with active network support.
Expert Syst. Appl., 2006

A component-based middleware framework for configurable and reconfigurable Grid computing.
Concurr. Comput. Pract. Exp., 2006

In Memoriam: Jürgen Schönhut.
Comput. Graph. Forum, 2006

GraSSML: Smart Schematic Diagrams, XML and Accessibility.
Proceedings of the EG UK Theory and Practice of Computer Graphics, 2006

Do You See What I Mean?
IEEE Computer Graphics and Applications, 2005

skML a Markup Language for Distributed Collaborative Visualization.
Proceedings of the EG UK Theory and Practice of Computer Graphics, 2005

Distributed and Collaborative Visualization.
Comput. Graph. Forum, 2004

Towards A Component-Based Middleware Framework for Configurable and Reconfigurable Grid Computing.
Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Building an Ontology of Visualization.
Proceedings of the 15th IEEE Visualization Conference, 2004

Visualization in Grid Computing Environments.
Proceedings of the 15th IEEE Visualization Conference, 2004

Agent-Oriented Formal Specification of Web Services.
Proceedings of the Grid and Cooperative Computing, 2004

GRIDKIT: Pluggable Overlay Networks for Grid Computing.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

Schematic Diagrams, XML and Accessibility.
Proceedings of the Theory and Practice of Computer Graphics 2003 (TPCG 2003), 2003

Web 2D Graphics File Formats.
Comput. Graph. Forum, 2002

Component-oriented approach to adaptive collaborative visualization.
Proceedings of the Visualization and Data Analysis 2002, 2002

XML for Visualization.
Proceedings of the Web and the Grid: from e-science to e-business. EuroWeb 2002 Conference, 2002

Syndetic Modelling: Computer Science Meets Cognitive Psychology.
Electron. Notes Theor. Comput. Sci., 2001

Haptic Device Control - Will it Fit Standardized Input Models?
Comput. Graph. Forum, 2001

Design and Application of TOAST: An Adaptive Distributed Multimedia Middleware Platform.
Proceedings of the Interactive Distributed Multimedia Systems, 2001

Human-computer protocols.
Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001

Web 2D Graphics: State-of-the-Art.
Proceedings of the 22nd Annual Conference of the European Association for Computer Graphics, 2001

SVG Primer.
Proceedings of the 22nd Annual Conference of the European Association for Computer Graphics, 2001

Systems, interactions, and macrotheory.
ACM Trans. Comput. Hum. Interact., 2000

The generation of representations of word meanings from dictionaries.
Proceedings of the Sixth International Conference on Spoken Language Processing, 2000

The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction.
Formal Aspects Comput., 1999

The Changing Face of Standardization: A Place for Formal Methods?
Formal Aspects Comput., 1999

On Satisfying Timing and Resource Constraints in Distributed Multimedia Systems.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

Working group 3 report.
Proceedings of the Design, 1999

A Standard Model for Multimedia Synchronization: PREMO Synchronization Objects.
Multim. Syst., 1998

Syndetic Modelling.
Hum. Comput. Interact., 1998

Reference Models for Distributed Cooperative Visualization.
Comput. Graph. Forum, 1998

Distributed Cooperative Visualization.
Proceedings of the 19th Annual Conference of the European Association for Computer Graphics, 1998

Integrating Joint Behaviour and Dialogue Description.
Proceedings of the Design, 1998

Theory and Practice in Internationally Rich Distributed Systems.
Proceedings of the SOFSEM '97: Theory and Practice of Informatics, 1997

The notion of trajectory in graphical user interfaces.
Proceedings of the Design, 1997

GKS-94: an overview.
IEEE Computer Graphics and Applications, 1995

Interaction, Cognition and Visualization.
Proceedings of the Design, 1995

Systematic Development of the Human Interface.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

GKS-9x: The Design Output Primitive, an Approach to a Specification.
Comput. Graph. Forum, 1994

PREMO - An Initial Approach to a Formal Definition.
Comput. Graph. Forum, 1994

Image communication open architecture.
Comput. Graph., 1994

Guest editors' introduction.
Comput. Graph., 1994

PREMO: An ISO Standard for Presentation Environment for Multimedia Objects.
Proceedings of the Second ACM International Conference on Multimedia '94, 1994

Working Group Discussions: Users.
Proceedings of the Design, 1994

The ARGOSI application demonstrator.
Vis. Comput., 1993

The ARGOSI Classification Scheme for Graphics and Networking Applications.
Comput. Graph. Forum, 1993

A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model.
Comput. Graph. Forum, 1993

GKS-9x: Some Implementation Considerations.
Comput. Graph. Forum, 1993

Integration of Graphics and OSI Standards
Research reports ESPRIT / project 2463 / ARGOSI 1, Springer, ISBN: 978-3-540-57015-8, 1993

Formal Specification in the Revision of GKS: An Illustrative Example.
Comput. Graph. Forum, 1992

project for ISO/IEC graphics and networking standards.
Comput. Aided Des., 1991

The new Graphical Kernel System.
Comput. Aided Des., 1991

An Approach to Hierarchical Input Devices.
Comput. Graph. Forum, 1990

Life cycles in software and knowledge engineering: a comparative review.
Knowl. Eng. Rev., 1989

Components, Frameworks and GKS Input.
Proceedings of the 10th European Computer Graphics Conference and Exhibition, 1989

GKS, Structures and Formal Specification.
Proceedings of the 10th European Computer Graphics Conference and Exhibition, 1989

Formal specification of a small example based on GKS.
ACM Trans. Graph., 1988

Computer graphics at Rutherford Appleton Laboratory.
Comput. Graph., 1988

Formal Specification - A Comparison of Two Techniques.
Comput. J., 1987

An Approach to the Formal Specification of Configurable Models of Graphics Systems.
Proceedings of the 8th European Computer Graphics Conference and Exhibition, 1987

Ausgraph '86.
Comput. Graph. Forum, 1986

Teaching Workshop - December 1985.
Comput. Graph. Forum, 1986

Towards a Formal Specification of the GKS Output Primitives.
Proceedings of the 7th European Computer Graphics Conference and Exhibition, 1986

GKS Graphics and Text Processing.
Comput. Graph. Forum, 1985

Better Understanding through Formal Specification.
Comput. Graph. Forum, 1985

Concerning the Specification of User Interfaces.
Comput. Graph. Forum, 1985

Executive Committee Elections.
Comput. Graph. Forum, 1985

Comput. Graph. Forum, 1984

Change of Chief Editor.
Comput. Graph. Forum, 1984

Reports of EUROGRAPHICS '83 Panel Sessions.
Comput. Graph. Forum, 1983

The EEC Workshop on Formal Specification of Graphics Software Standards.
Comput. Graph. Forum, 1982

Gino Users' Group Meeting.
Comput. Graph. Forum, 1982

An interactive benchmark for a multi-user minicomputer system.
SIGMETRICS Perform. Evaluation Rev., 1976