We stand with Ukraine  

Mike Reed

Orcid: 0000-0002-6309-2710

Affiliations:
  • United Nations University, International Institute for Software Technology, Macao
  • Oxford University, Computing Laboratory, UK (former)


According to our database1, Mike Reed authored at least 5 papers between 2004 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Homeostasis Patterns.
[BibTeX]
[DOI]
William Duncan
,
Fernando Antoneli
,
Janet Best
,
Martin Golubitsky
,
Jiaxin Jin
,
H. Frederik Nijhout
,
Mike Reed
,
Ian Stewart
SIAM J. Appl. Dyn. Syst., 2024

2020
A Survey on Ethical Principles of AI and Implementations.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Nickil Agni
,
Caroline Fairhurst
,
Catriona McDaid
,
Mike Reed
,
David J. Torgerson
F1000Research, 2019

2005
Integrating Theories and Techniques for Program Modelling, Design and Verification.
[BibTeX]
[DOI]
Bernhard K. Aichernig
,
Jifeng He
,
Zhiming Liu
,
Mike Reed
Proceedings of the Verified Software: Theories, 2005

2004
Order, Topology, and Recursion Induction in CSP.
[BibTeX]
[DOI]
Mike Reed
Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004


  Loading...