Introduction to formal specification and Z. - Ben Potter; Jane E. Sinclair; David Till (Prentice Hall, 1991)

The Parallelization of the AEA Probabilistic Safety Assessment Program, MASCOT. - H. W. Yau; K. Andrew Cliffe; Jane E. Sinclair; P. J. Sumner (HPCN, 1994)

Event Refinement in State-Based Concurrent Systems. - Jane E. Sinclair; Jim Woodcock 001 (Formal Aspects Comput., 1995)

Action Systems for Security Specification. - Jane E. Sinclair (J. Comput. Secur., 1997)

Action systems, determinism and the development of secure systems. - Jane E. Sinclair (1998)

Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. - Joy N. Reed; Jane E. Sinclair; F. Guigand (IFM, 1999)

Routing - A Challenge to Formal Methods. - Joy N. Reed; Jane E. Sinclair (PDPTA, 1999)

Refinement-Preserving Plug-In Components. - Joy N. Reed; Jane E. Sinclair (MFCSIT, 2000)

Formal Specification from an Observation-oriented Perspective. - Meurig Beynon; Jaratsri Rungrattanaubol; Jane E. Sinclair (J. Univers. Comput. Sci., 2000)

Combining Independent Specifications. - Joy N. Reed; Jane E. Sinclair (FASE, 2001)

Motivating Study of Formal Methods in the Classroom. - Joy N. Reed; Jane E. Sinclair (TFM, 2004)

Responsiveness of interoperating components. - Joy N. Reed; Jane E. Sinclair; A. W. Roscoe 001 (Formal Aspects Comput., 2004)

Race Conditions in Message Sequence Charts. - Chien-An Chen; Sara Kalvala; Jane E. Sinclair (APLAS, 2005)

Race-free Scenarios of Message Sequence Charts. - Chien-An Chen; Sara Kalvala; Jane E. Sinclair (APSEC, 2005)

A Process-Based Semantics for Message Sequence Charts with Data. - Chien-An Chen; Sara Kalvala; Jane E. Sinclair (Australian Software Engineering Conference, 2005)

Machine-Verifiable Responsiveness. - Joy N. Reed; A. W. Roscoe 001; Jane E. Sinclair (AVoCS, 2005)

Responsiveness and stable revivals. - Joy N. Reed; A. W. Roscoe 001; Jane E. Sinclair (Formal Aspects Comput., 2007)

Supporting the Comparison of Business-Level Security Requirements within Cross-Enterprise Service Development. - Jason R. C. Nurse; Jane E. Sinclair (BIS, 2009)

BOF4WSS: A Business-Oriented Framework for Enhancing Web Services Security for e-Business. - Jason R. C. Nurse; Jane E. Sinclair (ICIW, 2009)

Categorising computer science education research. - Mike Joy; Jane E. Sinclair; Shanghua Sun; Jirarat Sitthiworachart; Javier López-González (Educ. Inf. Technol., 2009)

Source Code Plagiarism - A Student Perspective. - Mike Joy; Georgina Cosma; Jane Yau; Jane E. Sinclair (IEEE Trans. Educ., 2011)

Towards a Model to Support the Reconciliation of Security Actions across Enterprises. - Jason R. C. Nurse; Jane E. Sinclair (STAST, 2012)

What (Use) is a MOOC? - Russell Boyatt; Mike Joy; Claire Rocks; Jane E. Sinclair (LTEC, 2013)

Meeting learners' needs inside the educational cloud. - Russell Boyatt; Jane E. Sinclair (Int. J. Learn. Technol., 2013)

A Practice-Oriented Review of Learning Objects. - Jane E. Sinclair; Mike Joy; Jane Yin-Kim Yau; Stephen Hagan (IEEE Trans. Learn. Technol., 2013)

A Tale of Two Modes: Initial Reflections on an Innovative MOOC. - Jane E. Sinclair; Russell Boyatt; Jonathan Foss; Claire Rocks (LTEC@KMO, 2014)

Incorporating technologies into a flexible teaching space. - Mike Joy; Jonathan Foss; Emma King; Jane E. Sinclair; Jirarat Sitthiworachart; Rachel Davis (Br. J. Educ. Technol., 2014)

Measures of Student Engagement in Computer Science. - Jane E. Sinclair; Matthew Butler 002; Michael Morgan; Sara Kalvala (ITiCSE, 2015)

Engagement Measures in Massive Open Online Courses. - Jane E. Sinclair; Sara Kalvala (LTEC@KMO, 2015)

Measuring self-regulated learning in a novel e-learning platform: eLDa. - Daniel Friday Owoichoche Onah; Jane E. Sinclair (Koli Calling, 2015)

Exploring societal factors affecting the experience and engagement of first year female computer science undergraduates. - Jane E. Sinclair; Sara Kalvala (Koli Calling, 2015)

Massive open online courses: a review of usage and evaluation. - Jane E. Sinclair; Russell Boyatt; Claire Rocks; Mike Joy (Int. J. Learn. Technol., 2015)

Comparing international indicators of student engagement for computer science. - Matthew Butler 002; Jane E. Sinclair; Michael Morgan; Sara Kalvala (ACSW, 2016)

A Multi-dimensional Investigation of Self-regulated Learning in a Blended Classroom Context: A Case Study on eLDa MOOC. - Daniel F. O. Onah; Jane E. Sinclair (ICL (2), 2016)

Negotiating the Maze of Academic Integrity in Computing Education. - Simon; Judy Sheard; Michael Morgan; Andrew Petersen 001; Amber Settle; Jane E. Sinclair; Gerry W. Cross; Charles Riedesel (ITiCSE-WGR, 2016)

Investigating the Experience of Moodle Adoption Through Expert Voices. - Jane E. Sinclair; Anne-Maria Aho (LTEC@KMO, 2016)

Teacher Research Projects in Computing. - Sue Sentance; Jane E. Sinclair; Carl Simmons; Andrew Paul Csizmadia (WiPSCE, 2016)

A study of user participation across different delivery modes of a massive open online course. - Jane E. Sinclair; Russell Boyatt; Jonathan Foss; Claire Rocks (Int. J. Learn. Technol., 2016)

Student engagement in massive open online courses. - Jane E. Sinclair; Sara Kalvala (Int. J. Learn. Technol., 2016)

Understanding International Benchmarks on Student Engagement: Awareness, Research Alignment and Response from a Computer Science Perspective. - Michael Morgan; Matthew Butler 002; Jane E. Sinclair; Gerry W. Cross; Janet Fraser; Jana Jacková; Neena Thota (ITiCSE, 2017)

Understanding International Benchmarks on Student Engagement: Awareness and Research Alignment from a Computer Science Perspective. - Michael Morgan; Jane E. Sinclair; Matthew Butler 002; Neena Thota; Janet Fraser; Gerry W. Cross; Jana Jacková (ITiCSE-WGR, 2017)

Blended Learning as a Tool for Work-Life Oriented Master Courses. - Anne-Maria Aho; Jane E. Sinclair (LTEC@KMO, 2017)

Assessing Self-Regulation of Learning Dimensions in a Stand-alone MOOC Platform. - Daniel Friday Owoichoche Onah; Jane E. Sinclair (Int. J. Eng. Pedagog., 2017)

Virtual learning environments: adoption without progression. - Jane E. Sinclair; Anne-Maria Aho (Int. J. Learn. Technol., 2017)

Perceptual Comparison of Source-Code Plagiarism within Students from UK, China, and South Cyprus Higher Education Institutions. - Georgina Cosma; Mike Joy; Jane E. Sinclair; Margarita Andreou; Dongyong Zhang; Beverley Cook; Russell Boyatt (ACM Trans. Comput. Educ., 2017)

Informing students about academic integrity in programming. - Simon; Judy Sheard; Michael Morgan; Andrew Petersen 001; Amber Settle; Jane E. Sinclair (ACE, 2018)

Learning Analytics for Motivating Self-regulated Learning and Fostering the Improvement of Digital MOOC Resources. - Daniel Friday Owoichoche Onah; Elaine L. L. Pang; Jane E. Sinclair; James Uhomoibhi (IMCL, 2018)

Contrasting CS student and academic perspectives and experiences of student engagement. - Michael Morgan; Matthew Butler 002; Jane E. Sinclair; Christabel Gonsalvez; Neena Thota (ITiCSE (Companion), 2018)

How CS academics view student engagement. - Michael Morgan; Matthew Butler 002; Neena Thota; Jane E. Sinclair (ITiCSE, 2018)

Try to See It My Way - How Students View the Use of Lecture Capture. - Jane E. Sinclair; Anne-Maria Aho (LTEC@KMO, 2018)

Classroom-Based Research Projects for Computing Teachers: Facilitating Professional Learning. - Sue Sentance; Jane E. Sinclair; Carl Simmons; Andrew Paul Csizmadia (ACM Trans. Comput. Educ., 2018)

Co-creation Workshops for Work Life Oriented ICT Education. - Anne-Maria Aho; Jane E. Sinclair (LTEC, 2019)

Theories and Models of Emotions, Attitudes, and Self-Efficacy in the Context of Programming Education. - Lauri Malmi; Judy Sheard; Päivi Kinnunen; Simon; Jane E. Sinclair (ICER, 2020)

Evaluating E-learning systems success: An empirical study. - Dimah Al-Fraihat; Mike Joy; Ra'ed Masa'deh; Jane E. Sinclair (Comput. Hum. Behav., 2020)

Cognitive optimism of distinctive initiatives to foster self-directed and self-regulated learning skills: A comparative analysis of conventional and blended-learning in undergraduate studies. - Daniel F. O. Onah; Elaine L. L. Pang; Jane E. Sinclair (Educ. Inf. Technol., 2020)

Computing education theories: what are they and how are they used? - Lauri Malmi; Judy Sheard; Päivi Kinnunen; Simon; Jane E. Sinclair (Inroads, 2020)

Innovation in ICT Course Provision: Meeting Stakeholders' Needs. - Jane E. Sinclair; Anna Kriskova; Anne-Maria Aho (LTEC, 2021)

Pedagogic Challenges in Teaching Cyber Security - a UK Perspective. - Harjinder Lallie; Jane E. Sinclair; Mike Joy; Helge Janicke; Blaine A. Price; Richard Howley (CoRR, 2022)

The Evolution of Computing Education Research: A Meta-Analytic Perspective. - Lauri Malmi; Jane E. Sinclair; Judy Sheard; Simon; Päivi Kinnunen (Past, Present and Future of Computing Education Research, 2023)

Domain-Specific Theories of Teaching Computing: Do they Inform Practice? - Lauri Malmi; Judy Sheard; Jane E. Sinclair; Päivi Kinnunen; Simon (Koli Calling, 2023)

A Dialog About the Special Issues on Theory. - Amy J. Ko; Steve Draper; Joseph Maguire 001; John Pajunen; Matti Tedre; Jane E. Sinclair; Claudia Szabo (ACM Trans. Comput. Educ., 2023)

Development and Use of Domain-specific Learning Theories, Models, and Instruments in Computing Education. - Lauri Malmi; Judy Sheard; Päivi Kinnunen; Simon; Jane E. Sinclair (ACM Trans. Comput. Educ., 2023)

An investigation of self-regulated learning in a novel MOOC platform. - Daniel F. O. Onah; Elaine L. L. Pang; Jane E. Sinclair (J. Comput. High. Educ., 2024)

Correction to: An investigation of self-regulated learning in a novel MOOC platform. - Daniel F. O. Onah; Elaine L. L. Pang; Jane E. Sinclair (J. Comput. High. Educ., 2024)