RESEARCH PROFILE

Formal methods; computer security; computer science education.

SELECTED PUBLICATIONS

• Joy, M., Cosma, G., Yau, J. Y. and Sinclair, J.(2011) 'Source code plagiarism - a student perspective' IEEE Transactions On Education 54 (1), 125 - 132 (0018-9359)
• Sinclair J E,Reed J N, Roscoe A W , (2007) 'Responsiveness and Stable Revivals ' Formal Aspects Of Computing (0934-5043)
• J E Sinclair(2005) 'Action Systems: A Method Combining State-Based and Event-Based Specification' in Software Specification Methods, Frappier and Hebrias (eds), 81 - 95, London: Springer (FACIT)
• Reed J N,J E Sinclair, A W Roscoe, (2004) 'Responsiveness of Interoperating Components' Formal Aspects Of Computing 16 394 - 411 (0934-5043)
• Reed J N,Sinclair J E, (2001) 'Combining Independent Specifications' in Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, Volume 2029 / 2001, Editors: H. Hussmann (0302-9743), Heidelberg: Springer Berlin