David H. Jones

According to our database, David H. Jones authored at least 5 papers between 1999 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

2000

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

David H. Jones

Trans. SDPS, 2000

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