David H. Jones

According to our database, David H. Jones authored at least 5 papers between 1998 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2005

Applying Semantic Web technology to the integration of corporate information.

Tom Barrett, David H. Jones, Jun Yuan, Mike Uschold

Int. J. Web Eng. Technol., 2005

Role of Rules and Rule Interchange in Semantic Integration & Interoperability.

David H. Jones, Michael Uschold

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

2001

Optimizing Symbolic Model Checking for Statecharts.

William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner

IEEE Trans. Software Eng., 2001

1999

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.

William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner

Proceedings of the 1999 International Conference on Software Engineering, 1999

1998

Semantic Integration of Embedded Systems Design Data in an Industrial Setting.

David H. Jones

Proceedings of the Third International Conference on Integrated Design and Process Technology, IDPT, 1998