Software Systems Engineering Research Group



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.

Doctoral Researchers


Find out who is involved with the Software Systems Engineering Research Group.



Get in touch to get more information about Software Systems Engineering Research Group.