Concepedia

Author

Robert J. Colvin

The University of QueenslandORCID

Also Known As

, Colvin, Robert, Colvin, Robert J., Mimram, Samuel, R. Colvin, R. J. Colvin, ROBERT COLVIN, Robert Colvin, Robert J. Colvin

72

Publications

690

Citations

16

H-Index

49

Concepts

All Affiliations

The University of QueenslandARC Centre of Excellence for Engineered Quantum SystemsVictoria University of Wellington
RJ

About

Robert J. Colvin is an author at The University of Queensland specializing in formal methods, engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

10

11

317

2

Computer Science

9

9

268

3

Computer Engineering

6

6

172

4

Systems Engineering

5

5

179

5

Management

1

1

20

Robert J. Colvin

×

13

Publications

358

Citations

12

H-Index

YearCitations

Page 1