David Shepherd

Orcid: 0000-0003-2017-7842

According to our database1, David Shepherd authored at least 21 papers between 1987 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Wandercode: An Interaction Design for Code Recommenders to Reduce Information Overload, Ease Exploration, and Save Screen Space.
CoRR, 2024

Examining the Use of VR as a Study Aid for University Students with ADHD.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

2023
Mapping Learning Objectives of Project-Based Undergraduate Software Engineering Courses to CC2020 Competency Model.
Proceedings of the IEEE Frontiers in Education Conference, 2023

The Importance of Project-Scale Scaffolding for Retention and Experience in Computing Courses.
Proceedings of the IEEE Frontiers in Education Conference, 2023

The 2023 DREE Workshop on Designing and Running Project-Based Courses in Software Engineering Education.
Proceedings of the IEEE Frontiers in Education Conference, 2023

2021
From feeling like rape to a minor inconvenience: Victims' accounts of the impact of computer misuse crime in the United Kingdom.
Telematics Informatics, 2021

2020
Exploring the extent of openness of open government data - A critique of open government datasets in the UK.
Gov. Inf. Q., 2020

Keynote Speech I The Push to Product - Strategies for Taking Your Research Into Practice.
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020

2019
The barriers to the opening of government data in the UK: A view from the bottom.
Inf. Polity, 2019

An Adaptive Step Implicit Midpoint Rule for the Time Integration of Newton's Linearisations of Non-Linear Problems with Applications in Micromagnetics.
J. Sci. Comput., 2019

2015
Workflow Scheduling on Power Constrained VMs.
Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

2014
Why Adherence to HL7v2 Falls Short for Microbiology Data, and What to Do About It: Implementation of a Regional Electronic Infection Control Network.
Proceedings of the AMIA 2014, 2014

2009
A Comparison of Automated Methicillin-Resistant <i>Staphylococcus aureus</i> Identification with Current Infection Control Practice.
Proceedings of the AMIA 2009, 2009

2006
Fuzzy modelling and estimation of economic relationships.
Comput. Stat. Data Anal., 2006

2005
Using language clues to discover crosscutting concerns.
Proceedings of the 2005 Workshop on Modeling and Analysis of Concerns in Software, 2005

2003
Networked microsensors and the end of the world as we know it.
IEEE Technol. Soc. Mag., 2003

2000
Adjustment delays in production and the impact of cyclical shocks.
Int. J. Manuf. Technol. Manag., 2000

1991
Using HOL to produce custom verification tools.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

1990
Verified microcode design.
Microprocess. Microsystems, 1990

1989
Towards Totally Verified Systems.
Proceedings of the Mathematics of Program Construction, 1989

1987
The IMS T800 Transputer.
IEEE Micro, 1987


  Loading...