Mike Brayshaw

According to our database1, Mike Brayshaw authored at least 21 papers between 1987 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Why the Educational Metaverse Is Not All About Virtual Reality Apps.
Proceedings of the Learning and Collaboration Technologies, 2023

2022
Flexible Ontology-Driven Educational Apps and Social Media for Learners with a Disability.
Proceedings of the Learning and Collaboration Technologies. Designing the Learner and Teacher Experience, 2022

2019
A Flexible Approach to Introductory Programming: Engaging and motivating students.
Proceedings of the 3rd Conference on Computing Education Practice, 2019

2017
Flexible Virtual Environments: Gamifying Immersive Learning.
Proceedings of the HCI International 2017 - Posters' Extended Abstracts, 2017

Collaborative Hybrid Agent Provision of Learner Needs Using Ontology Based Semantic Technology.
Proceedings of the Learning and Collaboration Technologies. Technology in Education, 2017

2016
Heuristic Evaluation for Serious Immersive Games and M-instruction.
Proceedings of the Learning and Collaboration Technologies, 2016

2015
Facilitating Learning Resource Retrieval for Students with Disabilities through an Ontology-Driven and Disability-Aware Virtual Learning Environment.
Int. J. Inf. Retr. Res., 2015

2014
Designing and Reflecting on Disability-Aware E-learning Systems: The Case of ONTODAPS.
Proceedings of the IEEE 14th International Conference on Advanced Learning Technologies, 2014

Investigating Heuristic Evaluation as a Methodology for Evaluating Pedagogical Software: An Analysis Employing Three Case Studies.
Proceedings of the Learning and Collaboration Technologies. Designing and Developing Novel Learning Experiences, 2014

2011
Describing and Assessing Image Descriptions for Visually Impaired Web Users with IDAT.
Proceedings of the Third International Conference on Intelligent Human Computer Interaction (IHCI 2011), 2011

1994
An Experimental Evaluation of Different Proposals for Teaching Prolog.
Proceedings of the 6th Annual Workshop of the Psychology of Programming Interest Group, 1994

1993
Intelligent Inference For Debugging Concurrent Systems.
Proceedings of the Database and Expert Systems Applications, 4th International Conference, 1993

1992
An information management model of program debugger design and its application to parallel logic languages.
Proceedings of the 4th Annual Workshop of the Psychology of Programming Interest Group, 1992

1991
A Practical Graphical Tracer for Prolog.
Int. J. Man Mach. Stud., 1991

An Architecture for Visualizing the Execution of Parallel Logic Programs.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

The transparent Prolog machine - visualizing logic programs.
Intellect Books, ISBN: 978-0-7923-1447-9, 1991

1989
The Legacy of TPM.
Proceedings of the 1st Annual Workshop of the Psychology of Programming Interest Group, 1989

1988
The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming.
J. Log. Program., 1988

Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM.
Proceedings of the Logic Programming, 1988

The Incremental Analogy Machine: A Computational Model of Analogy.
Proceedings of the Third European Working Session on Learning, 1988

1987
Graphical Debugging with the Transparent PROLOG Machine (TPM).
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987


  Loading...