David Shepherd

According to our database1, David Shepherd authored at least 16 papers between 1987 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Code Beats: A Virtual Camp for Middle Schoolers Coding Hip Hop.
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 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

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...