Jane E. Sinclair

Orcid: 0000-0002-2260-6594

Affiliations:
  • University of Warwick, Coventry, UK


According to our database1, Jane E. Sinclair authored at least 62 papers between 1991 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Development and Use of Domain-specific Learning Theories, Models, and Instruments in Computing Education.
ACM Trans. Comput. Educ., March, 2023

A Dialog About the Special Issues on Theory.
ACM Trans. Comput. Educ., March, 2023

Domain-Specific Theories of Teaching Computing: Do they Inform Practice?
Proceedings of the 23rd Koli Calling International Conference on Computing Education Research, 2023

The Evolution of Computing Education Research: A Meta-Analytic Perspective.
Proceedings of the Past, 2023

2022
Pedagogic Challenges in Teaching Cyber Security - a UK Perspective.
CoRR, 2022

2021
Innovation in ICT Course Provision: Meeting Stakeholders' Needs.
Proceedings of the Learning Technology for Education Challenges, 2021

2020
Computing education theories: what are they and how are they used?
Inroads, 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.
Educ. Inf. Technol., 2020

Evaluating E-learning systems success: An empirical study.
Comput. Hum. Behav., 2020

Theories and Models of Emotions, Attitudes, and Self-Efficacy in the Context of Programming Education.
Proceedings of the ICER 2020: International Computing Education Research Conference, 2020

2019
Co-creation Workshops for Work Life Oriented ICT Education.
Proceedings of the Learning Technology for Education Challenges, 2019

2018
Classroom-Based Research Projects for Computing Teachers: Facilitating Professional Learning.
ACM Trans. Comput. Educ., 2018

Try to See It My Way - How Students View the Use of Lecture Capture.
Proceedings of the Learning Technology for Education Challenges, 2018

How CS academics view student engagement.
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018

Contrasting CS student and academic perspectives and experiences of student engagement.
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018

Learning Analytics for Motivating Self-regulated Learning and Fostering the Improvement of Digital MOOC Resources.
Proceedings of the Mobile Technologies and Applications for the Internet of Things, 2018

Informing students about academic integrity in programming.
Proceedings of the 20th Australasian Computing Education Conference, Brisbane, QLD, Australia, January 30, 2018

2017
Perceptual Comparison of Source-Code Plagiarism within Students from UK, China, and South Cyprus Higher Education Institutions.
ACM Trans. Comput. Educ., 2017

Virtual learning environments: adoption without progression.
Int. J. Learn. Technol., 2017

Assessing Self-Regulation of Learning Dimensions in a Stand-alone MOOC Platform.
Int. J. Eng. Pedagog., 2017

Blended Learning as a Tool for Work-Life Oriented Master Courses.
Proceedings of the Learning Technology for Education Challenges, 2017

Understanding International Benchmarks on Student Engagement: Awareness and Research Alignment from a Computer Science Perspective.
Proceedings of the 2017 ITiCSE Working Group Reports, 2017

Understanding International Benchmarks on Student Engagement: Awareness, Research Alignment and Response from a Computer Science Perspective.
Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, 2017

2016
Student engagement in massive open online courses.
Int. J. Learn. Technol., 2016

A study of user participation across different delivery modes of a massive open online course.
Int. J. Learn. Technol., 2016

Teacher Research Projects in Computing.
Proceedings of the 11th Workshop in Primary and Secondary Computing Education, 2016

Investigating the Experience of Moodle Adoption Through Expert Voices.
Proceedings of the Learning Technology for Education in Cloud - The Changing Face of Education, 2016

Negotiating the Maze of Academic Integrity in Computing Education.
Proceedings of the 2016 ITiCSE Working Group Reports, 2016

A Multi-dimensional Investigation of Self-regulated Learning in a Blended Classroom Context: A Case Study on eLDa MOOC.
Proceedings of the Interactive Collaborative Learning - Proceedings of the 19th ICL Conference, 2016

Comparing international indicators of student engagement for computer science.
Proceedings of the Australasian Computer Science Week Multiconference, 2016

2015
Massive open online courses: a review of usage and evaluation.
Int. J. Learn. Technol., 2015

Exploring societal factors affecting the experience and engagement of first year female computer science undergraduates.
Proceedings of the 15th Koli Calling Conference on Computing Education Research, 2015

Measuring self-regulated learning in a novel e-learning platform: eLDa.
Proceedings of the 15th Koli Calling Conference on Computing Education Research, 2015

Engagement Measures in Massive Open Online Courses.
Proceedings of the Learning Technology for Education in Cloud - 4th International Workshop, 2015

Measures of Student Engagement in Computer Science.
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

2014
Incorporating technologies into a flexible teaching space.
Br. J. Educ. Technol., 2014

A Tale of Two Modes: Initial Reflections on an Innovative MOOC.
Proceedings of the Learning Technology for Education in Cloud. MOOC and Big Data, 2014

2013
A Practice-Oriented Review of Learning Objects.
IEEE Trans. Learn. Technol., 2013

Meeting learners' needs inside the educational cloud.
Int. J. Learn. Technol., 2013

What (Use) is a MOOC?
Proceedings of the 2nd International Workshop on Learning Technology for Education in Cloud, 2013

2012
Towards a Model to Support the Reconciliation of Security Actions across Enterprises.
Proceedings of the 2nd Workshop on Socio-Technical Aspects in Security and Trust, 2012

2011
Source Code Plagiarism - A Student Perspective.
IEEE Trans. Educ., 2011

2009
Categorising computer science education research.
Educ. Inf. Technol., 2009

BOF4WSS: A Business-Oriented Framework for Enhancing Web Services Security for e-Business.
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

Supporting the Comparison of Business-Level Security Requirements within Cross-Enterprise Service Development.
Proceedings of the Business Information Systems, 12th International Conference, 2009

2007
Responsiveness and stable revivals.
Formal Aspects Comput., 2007

2005
Machine-Verifiable Responsiveness.
Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

A Process-Based Semantics for Message Sequence Charts with Data.
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

Race-free Scenarios of Message Sequence Charts.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Race Conditions in Message Sequence Charts.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004
Responsiveness of interoperating components.
Formal Aspects Comput., 2004

Motivating Study of Formal Methods in the Classroom.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

2001
Combining Independent Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
Formal Specification from an Observation-oriented Perspective.
J. Univers. Comput. Sci., 2000

Refinement-Preserving Plug-In Components.
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

1999
Routing - A Challenge to Formal Methods.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development.
Proceedings of the Integrated Formal Methods, 1999

1998
Action systems, determinism and the development of secure systems.
PhD thesis, 1998

1997
Action Systems for Security Specification.
J. Comput. Secur., 1997

1995
Event Refinement in State-Based Concurrent Systems.
Formal Aspects Comput., 1995

1994
The Parallelization of the AEA Probabilistic Safety Assessment Program, MASCOT.
Proceedings of the High-Performance Computing and Networking, 1994

1991
Introduction to formal specification and Z.
Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-478702-2, 1991


  Loading...