![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Jane E. Sinclair
Person information
- affiliation: University of Warwick, Coventry, UK
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1998
- [b2]Jane E. Sinclair:
Action systems, determinism and the development of secure systems. Open University, Milton Keynes, UK, 1998 - 1991
- [b1]Ben Potter, Jane E. Sinclair, David Till:
Introduction to formal specification and Z. Prentice Hall International Series in Computer Science, Prentice Hall 1991, ISBN 978-0-13-478702-2, pp. I-XIII, 1-304
Journal Articles
- 2024
- [j24]Daniel F. O. Onah
, Elaine L. L. Pang, Jane E. Sinclair:
An investigation of self-regulated learning in a novel MOOC platform. J. Comput. High. Educ. 36(1): 57-90 (2024) - [j23]Daniel F. O. Onah
, Elaine L. L. Pang, Jane E. Sinclair:
Correction to: An investigation of self-regulated learning in a novel MOOC platform. J. Comput. High. Educ. 36(1): 91-92 (2024) - 2023
- [j22]Lauri Malmi
, Judy Sheard
, Päivi Kinnunen
, Simon
, Jane E. Sinclair
:
Development and Use of Domain-specific Learning Theories, Models, and Instruments in Computing Education. ACM Trans. Comput. Educ. 23(1): 6:1-6:48 (2023) - [j21]Amy J. Ko
, Steve Draper
, Joseph Maguire
, John Pajunen
, Matti Tedre
, Jane E. Sinclair
, Claudia Szabo
:
A Dialog About the Special Issues on Theory. ACM Trans. Comput. Educ. 23(1): 8:1-8:5 (2023) - 2020
- [j20]Dimah Al-Fraihat
, Mike Joy
, Ra'ed Masa'deh
, Jane E. Sinclair:
Evaluating E-learning systems success: An empirical study. Comput. Hum. Behav. 102: 67-86 (2020) - [j19]Daniel F. O. Onah, Elaine L. L. Pang, Jane E. Sinclair:
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. 25(5): 4365-4380 (2020) - [j18]Lauri Malmi, Judy Sheard, Päivi Kinnunen, Simon, Jane E. Sinclair:
Computing education theories: what are they and how are they used? Inroads 11(1): 54-64 (2020) - 2018
- [j17]Sue Sentance
, Jane E. Sinclair, Carl Simmons, Andrew Paul Csizmadia:
Classroom-Based Research Projects for Computing Teachers: Facilitating Professional Learning. ACM Trans. Comput. Educ. 18(3): 14:1-14:26 (2018) - 2017
- [j16]Daniel Friday Owoichoche Onah, Jane E. Sinclair:
Assessing Self-Regulation of Learning Dimensions in a Stand-alone MOOC Platform. Int. J. Eng. Pedagog. 7(2): 4-21 (2017) - [j15]Jane E. Sinclair, Anne-Maria Aho:
Virtual learning environments: adoption without progression. Int. J. Learn. Technol. 12(4): 326-347 (2017) - [j14]Georgina Cosma
, Mike Joy
, Jane E. Sinclair, Margarita Andreou, Dongyong Zhang, Beverley Cook, Russell Boyatt:
Perceptual Comparison of Source-Code Plagiarism within Students from UK, China, and South Cyprus Higher Education Institutions. ACM Trans. Comput. Educ. 17(2): 8:1-8:16 (2017) - 2016
- [j13]Jane E. Sinclair, Russell Boyatt, Jonathan Foss, Claire Rocks:
A study of user participation across different delivery modes of a massive open online course. Int. J. Learn. Technol. 11(2): 93-113 (2016) - [j12]Jane E. Sinclair, Sara Kalvala:
Student engagement in massive open online courses. Int. J. Learn. Technol. 11(3): 218-237 (2016) - 2015
- [j11]Jane E. Sinclair, Russell Boyatt, Claire Rocks, Mike Joy
:
Massive open online courses: a review of usage and evaluation. Int. J. Learn. Technol. 10(1): 71-93 (2015) - 2014
- [j10]Mike Joy
, Jonathan Foss, Emma King, Jane E. Sinclair, Jirarat Sitthiworachart, Rachel Davis:
Incorporating technologies into a flexible teaching space. Br. J. Educ. Technol. 45(2): 272-284 (2014) - 2013
- [j9]Russell Boyatt
, Jane E. Sinclair:
Meeting learners' needs inside the educational cloud. Int. J. Learn. Technol. 8(1): 61-85 (2013) - [j8]Jane E. Sinclair, Mike Joy
, Jane Yin-Kim Yau
, Stephen Hagan:
A Practice-Oriented Review of Learning Objects. IEEE Trans. Learn. Technol. 6(2): 177-192 (2013) - 2011
- [j7]Mike Joy
, Georgina Cosma
, Jane Yau
, Jane E. Sinclair:
Source Code Plagiarism - A Student Perspective. IEEE Trans. Educ. 54(1): 125-132 (2011) - 2009
- [j6]Mike Joy
, Jane E. Sinclair, Shanghua Sun, Jirarat Sitthiworachart, Javier López-González:
Categorising computer science education research. Educ. Inf. Technol. 14(2): 105-126 (2009) - 2007
- [j5]Joy N. Reed, A. W. Roscoe, Jane E. Sinclair:
Responsiveness and stable revivals. Formal Aspects Comput. 19(3): 303-319 (2007) - 2004
- [j4]Joy N. Reed, Jane E. Sinclair, A. W. Roscoe:
Responsiveness of interoperating components. Formal Aspects Comput. 16(4): 394-411 (2004) - 2000
- [j3]Meurig Beynon, Jaratsri Rungrattanaubol, Jane E. Sinclair:
Formal Specification from an Observation-oriented Perspective. J. Univers. Comput. Sci. 6(4): 407-421 (2000) - 1997
- [j2]Jane E. Sinclair:
Action Systems for Security Specification. J. Comput. Secur. 5(2): 129-154 (1997) - 1995
- [j1]Jane E. Sinclair, Jim Woodcock
:
Event Refinement in State-Based Concurrent Systems. Formal Aspects Comput. 7(3): 266-288 (1995)
Conference and Workshop Papers
- 2023
- [c39]Lauri Malmi
, Judy Sheard
, Jane E. Sinclair
, Päivi Kinnunen
, Simon
:
Domain-Specific Theories of Teaching Computing: Do they Inform Practice? Koli Calling 2023: 17:1-17:15 - 2021
- [c38]Jane E. Sinclair, Anna Kriskova, Anne-Maria Aho:
Innovation in ICT Course Provision: Meeting Stakeholders' Needs. LTEC 2021: 197-207 - 2020
- [c37]Lauri Malmi
, Judy Sheard, Päivi Kinnunen, Simon, Jane E. Sinclair:
Theories and Models of Emotions, Attitudes, and Self-Efficacy in the Context of Programming Education. ICER 2020: 36-47 - 2019
- [c36]Lauri Malmi
, Judy Sheard, Päivi Kinnunen, Simon, Jane E. Sinclair:
Computing Education Theories: What Are They and How Are They Used? ICER 2019: 187-197 - [c35]Anne-Maria Aho, Jane E. Sinclair:
Co-creation Workshops for Work Life Oriented ICT Education. LTEC 2019: 302-312 - 2018
- [c34]Simon, Judy Sheard, Michael Morgan, Andrew Petersen, Amber Settle, Jane E. Sinclair:
Informing students about academic integrity in programming. ACE 2018: 113-122 - [c33]Daniel Friday Owoichoche Onah, Elaine L. L. Pang, Jane E. Sinclair, James Uhomoibhi
:
Learning Analytics for Motivating Self-regulated Learning and Fostering the Improvement of Digital MOOC Resources. IMCL 2018: 14-21 - [c32]Michael Morgan, Matthew Butler
, Jane E. Sinclair, Christabel Gonsalvez, Neena Thota:
Contrasting CS student and academic perspectives and experiences of student engagement. ITiCSE (Companion) 2018: 1-35 - [c31]Michael Morgan, Matthew Butler
, Neena Thota, Jane E. Sinclair:
How CS academics view student engagement. ITiCSE 2018: 284-289 - [c30]Michael Morgan, Matthew Butler
, Jane E. Sinclair, Christabel Gonsalvez, Neena Thota:
Contrasting CS student and academic perspectives and experiences of student engagement. ITiCSE 2018: 338-339 - [c29]Jane E. Sinclair
, Anne-Maria Aho
:
Try to See It My Way - How Students View the Use of Lecture Capture. LTEC@KMO 2018: 142-154 - 2017
- [c28]Michael Morgan, Jane E. Sinclair, Matthew Butler
, Neena Thota, Janet Fraser, Gerry W. Cross, Jana Jacková
:
Understanding International Benchmarks on Student Engagement: Awareness and Research Alignment from a Computer Science Perspective. ITiCSE-WGR 2017: 1-24 - [c27]Michael Morgan, Matthew Butler
, Jane E. Sinclair, Gerry W. Cross, Janet Fraser, Jana Jacková, Neena Thota:
Understanding International Benchmarks on Student Engagement: Awareness, Research Alignment and Response from a Computer Science Perspective. ITiCSE 2017: 383-384 - [c26]Anne-Maria Aho, Jane E. Sinclair:
Blended Learning as a Tool for Work-Life Oriented Master Courses. LTEC@KMO 2017: 110-121 - 2016
- [c25]Matthew Butler
, Jane E. Sinclair, Michael Morgan, Sara Kalvala:
Comparing international indicators of student engagement for computer science. ACSW 2016: 6 - [c24]Daniel F. O. Onah, Jane E. Sinclair:
A Multi-dimensional Investigation of Self-regulated Learning in a Blended Classroom Context: A Case Study on eLDa MOOC. ICL (2) 2016: 63-85 - [c23]Simon
, Judy Sheard, Michael Morgan, Andrew Petersen
, Amber Settle, Jane E. Sinclair, Gerry W. Cross, Charles Riedesel:
Negotiating the Maze of Academic Integrity in Computing Education. ITiCSE-WGR 2016: 57-80 - [c22]Jane E. Sinclair, Anne-Maria Aho:
Investigating the Experience of Moodle Adoption Through Expert Voices. LTEC@KMO 2016: 90-102 - [c21]Sue Sentance
, Jane E. Sinclair, Carl Simmons, Andrew Paul Csizmadia:
Teacher Research Projects in Computing. WiPSCE 2016: 110-111 - 2015
- [c20]Jane E. Sinclair, Matthew Butler
, Michael Morgan, Sara Kalvala:
Measures of Student Engagement in Computer Science. ITiCSE 2015: 242-247 - [c19]Jane E. Sinclair, Sara Kalvala:
Engagement Measures in Massive Open Online Courses. LTEC@KMO 2015: 3-15 - [c18]Jane E. Sinclair, Sara Kalvala:
Exploring societal factors affecting the experience and engagement of first year female computer science undergraduates. Koli Calling 2015: 107-116 - [c17]Daniel Friday Owoichoche Onah, Jane E. Sinclair:
Measuring self-regulated learning in a novel e-learning platform: eLDa. Koli Calling 2015: 167-168 - 2014
- [c16]Jane E. Sinclair, Russell Boyatt, Jonathan Foss, Claire Rocks:
A Tale of Two Modes: Initial Reflections on an Innovative MOOC. LTEC@KMO 2014: 49-60 - 2013
- [c15]Russell Boyatt, Mike Joy, Claire Rocks, Jane E. Sinclair:
What (Use) is a MOOC? LTEC 2013: 133-145 - 2012
- [c14]Jason R. C. Nurse, Jane E. Sinclair:
Towards a Model to Support the Reconciliation of Security Actions across Enterprises. STAST 2012: 11-18 - 2009
- [c13]Jason R. C. Nurse, Jane E. Sinclair:
Supporting the Comparison of Business-Level Security Requirements within Cross-Enterprise Service Development. BIS 2009: 61-72 - [c12]Jason R. C. Nurse, Jane E. Sinclair:
BOF4WSS: A Business-Oriented Framework for Enhancing Web Services Security for e-Business. ICIW 2009: 286-291 - 2005
- [c11]Chien-An Chen, Sara Kalvala, Jane E. Sinclair:
Race Conditions in Message Sequence Charts. APLAS 2005: 195-211 - [c10]Chien-An Chen, Sara Kalvala, Jane E. Sinclair:
Race-free Scenarios of Message Sequence Charts. APSEC 2005: 138-148 - [c9]Chien-An Chen, Sara Kalvala, Jane E. Sinclair:
A Process-Based Semantics for Message Sequence Charts with Data. Australian Software Engineering Conference 2005: 130-139 - [c8]Joy N. Reed, A. W. Roscoe, Jane E. Sinclair:
Machine-Verifiable Responsiveness. AVoCS 2005: 185-200 - 2004
- [c7]Joy N. Reed, Jane E. Sinclair:
Motivating Study of Formal Methods in the Classroom. TFM 2004: 32-46 - 2001
- [c6]Joy N. Reed, Jane E. Sinclair:
Combining Independent Specifications. FASE 2001: 45-59 - 2000
- [c5]Joy N. Reed, Jane E. Sinclair:
Refinement-Preserving Plug-In Components. MFCSIT 2000: 304-322 - 1999
- [c4]Joy N. Reed, Jane E. Sinclair, F. Guigand:
Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. IFM 1999: 375-394 - [c3]Joy N. Reed, Jane E. Sinclair:
Routing - A Challenge to Formal Methods. PDPTA 1999: 305-311 - 1996
- [c2]Jane E. Sinclair:
Action Systems for Security Specification. CSFW 1996: 102- - 1994
- [c1]H. W. Yau, K. Andrew Cliffe, Jane E. Sinclair, P. J. Sumner:
The Parallelization of the AEA Probabilistic Safety Assessment Program, MASCOT. HPCN 1994: 346-351
Parts in Books or Collections
- 2023
- [p1]Lauri Malmi, Jane E. Sinclair, Judy Sheard, Simon, Päivi Kinnunen:
The Evolution of Computing Education Research: A Meta-Analytic Perspective. Past, Present and Future of Computing Education Research 2023: 51-77
Editorship
- 2014
- [e1]Lorna Uden, Jane E. Sinclair, Yu-Hui Tao, Dario Liberona:
Learning Technology for Education in Cloud. MOOC and Big Data - Third International Workshop, LTEC 2014, Santiago, Chile, September 2-5, 2014. Proceedings. Communications in Computer and Information Science 446, Springer 2014, ISBN 978-3-319-10670-0 [contents]
Informal and Other Publications
- 2022
- [i1]Harjinder Lallie, Jane E. Sinclair, Mike Joy, Helge Janicke, Blaine A. Price, Richard Howley:
Pedagogic Challenges in Teaching Cyber Security - a UK Perspective. CoRR abs/2212.06584 (2022)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint