David H. Jones

Publication Activity (10 Years)

Years Active: 1998-2005
Publications (10 Years): 0

Publications

Tom Barrett, David H. Jones, Jun Yuan, Mike Uschold
Applying Semantic Web technology to the integration of corporate information. Int. J. Web Eng. Technol. 2 (2/3) (2005)
David H. Jones, Michael Uschold
Role of Rules and Rule Interchange in Semantic Integration & Interoperability. Rule Languages for Interoperability (2005)
William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner
Optimizing Symbolic Model Checking for Statecharts. IEEE Trans. Software Eng. 27 (2) (2001)
David H. Jones
Semantic Integration of Embedded Systems Design Data in an Industrial Setting. Trans. SDPS 4 (2) (2000)
William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts. ICSE (1999)
David H. Jones
Semantic Integration of Embedded Systems Design Data in an Industrial Setting. IADT (1998)