Concepedia

Author

Joe Hurd

Macquarie University

Also Known As

Joe Hurd

37

Publications

601

Citations

11

H-Index

13

Concepts

All Affiliations

Macquarie UniversityUNSW SydneyUniversity of Oxford
JH

About

Joe Hurd is an author at Macquarie University specializing in formal methods, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

106

2

Computer Science

3

3

106

3

Systems Engineering

2

2

88

4

Probability Theory

1

1

41

5

Software Analysis

1

1

18

Joe Hurd

×

6

Publications

296

Citations

6

H-Index

YearCitations

Page 1