Concepedia

Author

John Pirie

Cornell University

Also Known As

John Pirie

3

Publications

23

Citations

2

H-Index

14

Concepts

All Affiliations

Cornell University
JP

About

John Pirie is an author at Cornell University specializing in formal verification, approximate computing, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

14

2

Computer Engineering

1

1

14

3

Computer Science

1

1

14

4

Compilers

1

1

14

5

Software Analysis

1

1

14

John Pirie

×

1

Publications

14

Citations

1

H-Index

YearCitations

Page 1