Concepedia

Author

Andrew Ireland

Heriot-Watt UniversityORCID

Also Known As

A. Ireland, ANDREW IRELAND, Andrew Ireland, Ireland, Andrew

80

Publications

1.3K

Citations

14

H-Index

23

Concepts

All Affiliations

Heriot-Watt UniversityUniversity of Edinburgh
AI

About

Andrew Ireland is an author at Heriot-Watt University specializing in formal methods, formal verification, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

489

2

Computer Science

5

5

326

3

Software Analysis

3

3

90

4

Design

2

2

28

5

Computer Engineering

1

1

52

Andrew Ireland

×

10

Publications

556

Citations

10

H-Index

YearCitations

Page 1