Butler, M., Dghaym, D., Hoang, T. S., Omitola, T., Snook, C., Fellner, A., Schlick, R., Tarrach, T., Fischer, T., & Tummeltshammer, P. (Accepted/In press). Behaviour-driven formal model development of the ETCS hybrid level 3. In The 24th International Conference on Engineering Of Complex Computer Systems: ICECCS 2019 (pp. 1-10)
Omitola, T., Downes, J., Wills, G., Zwolinski, M., & Butler, M. (2018). Securing navigation of unmanned maritime systems. In S. M. Schillai, & N. C. Townsend (Eds.), Proceedings of the 11th International Robotic Sailing Conference: Southampton, United Kingdom, August 31st - September 1st, 2018. (Vol. 2331, pp. 53-62). CEUR-WS. http://ceur-ws.org/Vol-2331/paper5.pdf
Omitola, T., Zuo, L., Gutteridge, C., Millard, I., Glaser, H., Gibbins, N., & Shadbolt, N. (2011). Tracing the Provenance of Linked Data using voiD. Paper presented at The International Conference on Web Intelligence, Mining and Semantics (WIMS'11), Norway.
Salvadores, M., Correndo, G., Omitola, T., Gibbins, N., Harris, S., & Shadbolt, N. (2010). 4s-reasoner: RDFS Backward Chained Reasoning Support in 4store. Paper presented at Web-scale Knowledge Representation, Retrieval, and Reasoning (Web-KR3), Canada.
Omitola, T., & Greaves, D. J. (2006). Towards a UbiSafe Environment Using Rules. Paper presented at Second International Conference on Rules and Rule Markup Languages for the Semantic Web, .
Lu, Y-E., Huang, Y-H., & Omitola, T. (2004). Modelling Receptor Mediated Endocytosis. Paper presented at International Conference on Systems Biology, Germany.
Omitola, T., & Greaves, D. J. (2003). Agile Programming For Mobile Adaptive Systems. Paper presented at ANWIRE Workshop 2003 at the 6th IFIP WG 6.1 International Conference on Formal Methods for Object-based Distributed Systems (FMOODS), .