David H. Jones

According to our database1, David H. Jones authored at least 7 papers between 1998 and 2011.

Collaborative distances :

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Convergence and Feedback: A Framework for Bounded Cellular Automata Design.
J. Cellular Automata, 2011

2005
Applying Semantic Web technology to the integration of corporate information.
Int. J. Web Eng. Technol., 2005

Role of Rules and Rule Interchange in Semantic Integration & Interoperability.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

2001
Optimizing Symbolic Model Checking for Statecharts.
IEEE Trans. Software Eng., 2001

2000
Semantic Integration of Embedded Systems Design Data in an Industrial Setting.
Transactions of the SDPS, 2000

1999
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.
Proceedings of the 1999 International Conference on Software Engineering, 1999

1998
Semantic Integration of Embedded Systems Design Data in an Industrial Setting.
Proceedings of the Third International Conference on Integrated Design and Process Technology, IDPT, 1998


  Loading...