Mike Reed

According to our database, Mike Reed authored at least 4 papers between 2004 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

A Survey on Ethical Principles of AI and Implementations.

Jianlong Zhou, Fang Chen, Adam Berry, Mike Reed, Shujia Zhang, Siobhan Savage

Proceedings of the 2020 IEEE Symposium Series on Computational Intelligence, 2020

2019

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.

Nickil Agni, Caroline Fairhurst, Catriona McDaid, Mike Reed, David J. Torgerson

F1000Research, 2019

2005

Integrating Theories and Techniques for Program Modelling, Design and Verification.

Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed

Proceedings of the Verified Software: Theories, 2005

2004

Order, Topology, and Recursion Induction in CSP.

Mike Reed

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004