Mike Brayshaw

21 papers A* 2B 1C 1Journal 3Unranked 13
YearRankTypeTitle / Venue / Authors
2023 — conf
Why the Educational Metaverse Is Not All About Virtual Reality Apps.
HCI (31)
Mike Brayshaw, Neil A. Gordon, Francis Kambili-Mzembe, Tareq Aljaber
2022 — conf
Flexible Ontology-Driven Educational Apps and Social Media for Learners with a Disability.
HCI (27)
Julius Tanyu Nganji, Mike Brayshaw, Neil A. Gordon
2019 — conf
A Flexible Approach to Introductory Programming: Engaging and motivating students.
CEP
Neil A. Gordon, Mike Brayshaw, Simon Grey
2017 — conf
Collaborative Hybrid Agent Provision of Learner Needs Using Ontology Based Semantic Technology.
HCI (26)
Mike Brayshaw, Julius Tanyu Nganji, Neil A. Gordon
2017 — conf
Flexible Virtual Environments: Gamifying Immersive Learning.
HCI (30)
Neil A. Gordon, Mike Brayshaw
2016 — conf
Heuristic Evaluation for Serious Immersive Games and M-instruction.
HCI (23)
Neil A. Gordon, Mike Brayshaw, Tareq Aljaber
2015 J jnl
Facilitating Learning Resource Retrieval for Students with Disabilities through an Ontology-Driven and Disability-Aware Virtual Learning Environment.
Int. J. Inf. Retr. Res.
Julius Tanyu Nganji, Mike Brayshaw
2014 B conf
Designing and Reflecting on Disability-Aware E-learning Systems: The Case of ONTODAPS.
ICALT
Julius Tanyu Nganji, Mike Brayshaw
2014 — conf
Investigating Heuristic Evaluation as a Methodology for Evaluating Pedagogical Software: An Analysis Employing Three Case Studies.
HCI (14)
Mike Brayshaw, Neil A. Gordon, Julius Tanyu Nganji, Lipeng Wen, Adele Butterfield
2011 — conf
Describing and Assessing Image Descriptions for Visually Impaired Web Users with IDAT.
IHCI
Julius Tanyu Nganji, Mike Brayshaw, Brian C. Tompsett
1994 — conf
An Experimental Evaluation of Different Proposals for Teaching Prolog.
PPIG
Mike Brayshaw, Helen Pain, Paul Brna, Andrew Bowles, David Robertson
1993 C conf
Intelligent Inference For Debugging Concurrent Systems.
DEXA
Mike Brayshaw
1992 — conf
An information management model of program debugger design and its application to parallel logic languages.
PPIG (1)
Mike Brayshaw
1991 J jnl
A Practical Graphical Tracer for Prolog.
Int. J. Man Mach. Stud.
Mike Brayshaw, Marc Eisenstadt
1991 A* conf
An Architecture for Visualizing the Execution of Parallel Logic Programs.
IJCAI
Mike Brayshaw
1991 — book
The transparent Prolog machine - visualizing logic programs.
Marc Eisenstadt, Mike Brayshaw, Jocelyn Paine
1989 — conf
The Legacy of TPM.
PPIG
Mike Brayshaw
1988 — conf
Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM.
ICLP/SLP
Mike Brayshaw, Marc Eisenstadt
1988 — conf
The Incremental Analogy Machine: A Computational Model of Analogy.
EWSL
Mark T. Keane, Mike Brayshaw
1988 J jnl
The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming.
J. Log. Program.
Marc Eisenstadt, Mike Brayshaw
1987 A* conf
Graphical Debugging with the Transparent PROLOG Machine (TPM).
IJCAI
Marc Eisenstadt, Mike Brayshaw