Concepedia

Author

Julian Mackay

Victoria University of WellingtonORCID

Also Known As

Julian Mackay, Mackay, Julian

22

Publications

97

Citations

5

H-Index

10

Concepts

All Affiliations

Victoria University of Wellington
JM

About

Julian Mackay is an author at Victoria University of Wellington specializing in automated reasoning, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

38

2

Computer Science

2

2

38

3

Software Analysis

2

2

38

4

Automated Reasoning

2

2

38

5

Formal Methods

2

2

38

Julian Mackay

×

3

Publications

56

Citations

3

H-Index

YearCitations

Page 1