David H. Jones
According to our database1, David H. Jones authored at least 6 papers between 1998 and 2011.
Legend:Book In proceedings Article PhD thesis Other
Convergence and Feedback: A Framework for Bounded Cellular Automata Design.
J. Cellular Automata, 2011
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
Optimizing Symbolic Model Checking for Statecharts.
IEEE Trans. Software Eng., 2001
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.
Proceedings of the 1999 International Conference on Software Engineering, 1999
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