Concepedia

Author

Mike Reeve

Imperial College London

Also Known As

M Reeve, Mike Reeve

14

Publications

244

Citations

6

H-Index

21

Concepts

All Affiliations

Imperial College London
MR

About

Mike Reeve is an author at Imperial College London specializing in automated reasoning, parallel programming, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

131

2

Computer Science

2

2

131

3

Medicine

1

1

13

4

Computer Engineering

1

1

118

5

Systems Engineering

1

1

118

Mike Reeve

×

3

Publications

150

Citations

3

H-Index

YearCitations

Page 1