Login / Signup
Mike Reed
ORCID
Publication Activity (10 Years)
Years Active: 2004-2020
Publications (10 Years): 2
Top Topics
Communication Protocol
Digital Content
John Mccarthy
Coloured Petri Nets
Top Venues
SSCI
F1000Research
</>
Publications
</>
Jianlong Zhou
,
Fang Chen
,
Adam Berry
,
Mike Reed
,
Shujia Zhang
,
Siobhan Savage
A Survey on Ethical Principles of AI and Implementations.
SSCI
(2020)
Nickil Agni
,
Caroline Fairhurst
,
Catriona McDaid
,
Mike Reed
,
David J. Torgerson
Protocol for a factorial randomised controlled trial, embedded within WHiTE 8 COPAL, of an Enhanced Trainee Principal Investigator Package and Additional Digital Nudge to increase recruitment rates.
F1000Research
8 (2019)
Bernhard K. Aichernig
,
Jifeng He
,
Zhiming Liu
,
Mike Reed
Integrating Theories and Techniques for Program Modelling, Design and Verification.
VSTTE
(2005)
Mike Reed
Order, Topology, and Recursion Induction in CSP.
25 Years Communicating Sequential Processes
(2004)