Concepedia

Author

Ian J. Hayes

The University of QueenslandORCID

Also Known As

Hayes, I. J., Hayes, Ian, Hayes, Ian J., Hayes, Ian James, I. Hayes, I. J. Hayes, I.J. Hayes, IAN HAYES, IAN J. HAYES, Ian Hayes

217

Publications

2.6K

Citations

22

H-Index

79

Concepts

All Affiliations

The University of QueenslandQueensland University of TechnologyUniversity of SheffieldUniversity of OxfordNewcastle University
IJ

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

17

27

1.1K

2

Language Studies

3

3

55

3

Management

2

2

67

4

Social Sciences

2

2

33

5

Cognitive Science

1

1

12

Ian J. Hayes

×

42

Publications

1.5K

Citations

20

H-Index

YearCitations

Page 1