- Bolotov, A and Shangin, V. Natural Deduction System in Paraconsistent Setting: Proof Search for PCont. Journal of Intelligent Systems, Volume 21, Issue 1, Pages 1–24, ISSN (Online) 2191-026X, ISSN (Print), 0334-1860,DOI: 10.1515/jisys-2011-0021, February 2012.
- Bolotov, A and Shangin, V. Natural Deduction in Paracomplete Setting. Logical Investigations, Vol. 20, 2014, pp 224-247, Moscow – St Petersburg, ISBN 978-5-98712- 197-3.
- Bolotov, A. and Shangin, V. Tackling Incomplete System S ecifications Using Natural Deduction in the Paracomplete Setting. COMPSAC 2014: 91-96, Vasteras, Sweden, July 2014.
- Bolotov, A. and Shangin, V. Towards Generalised Proof Search for Natural Deduction Systems for logics I<α,β>. Proceedings of the Automated Reasoning Workshop, Liverpool, May 2016.
- Udoh, E., Getov, V., and Bolotov, A. Sensor Intelligence for Tackling Energy-Drain Attacks on Wireless Sensor Networks. Proceedings of the Automated Reasoning Workshop, Liverpool, May 2016.
- Howells, P., d’Inverno, M., Successful Termination in Timed CSP, Proceedings of Communicating Process Architectures 2013 (CPA2013), 2013. ISBN 978-0-9565409-7-3.
- Chondrogianni, M. A FDG Analysis of MG Segmental Markers, International Conference on Functional Discourse Grammar 2014, Jaen, Spain, September 2014.
- Chondrogianni, M. The Pragmatics of Modern Greek Segmental Markers, 11th International Conference on Greek Linguistics, Rhodes, Greece, September 2013.
- Hassan, H., Trwoga, P. and Kale, I. (2015) IF-MANET: Interoperable Framework for Mobile Ad Hoc Networks. In: 22st International Conference on Computer Networks (CN 2015), 17 Jun 2015, Silesian University of Technology, Poland.
- Howells, P., d’Inverno, M., Specifying Termination in CSP, Theoretical Computer Science, 503 (2013), pp31-60. DOI: 10.1016/j.tcs.2013.05.008
- Howells, P., d’Inverno, M., Specifying and Analysing Networks of Processes in CSPT (or In Search of Associativity), Proceedings of Communicating Process Architectures 2013 (CPA2013), 2013. ISBN 978-0-9565409-7-3.
- Jin, L., Porter, A., & Saunders, G. (2013). Technoself Enhanced Blended Learning via Social Interaction. The Second International Conference on E-Learning and E-Technologies in Education (ICEEE2013), 23-25 Sept, pp. 74-80, Lodz, Poland, 2013. ISBN: 978-1-4673-5093-8, doi: 10.1109/ICeLeTE.2013.6644351 (Best Paper Award)
- Jin, L (2012). A New Trend in Education: Technoself Enhanced Social Learning, Handbook of Research of Technoself: Identity in a Technological Society, October, 2012, IGI Global Publishing.
- Jin, L., Wen, Z. & Gough, N. (2010). Social Virtual Worlds for Technology Enhanced Learning on an Augmented Learning Platform, Journal of Learning, Media and Technology, 35 (2). pp. 139-153, 2010, Routledge, ISSN: 1743-9884.
- Hool, A., Ollivier, M. B., and Roubert, F. (2013, April). Managing Operating Procedures in Distributed Collaborative Projects. In Journal of Physics: Conference Series, 429, 012071. IOP Publishing.
- Roubert, F., and Perry, M. (2013). Putting the Lab in the Lab Book: Supporting Coordination in Large, Multi-site Research. Proceedings of BCS HCI 2013. Hofmann-Amtenbrink, M., Hofmann, H., Hool, A., and Roubert, F. (2014). Nanotechnology in medicine: European research and its implications. Swiss medical weekly, 144, w14044-w14044.