Concepedia

Author

Alex Hixon

Data61

Also Known As

Alex Hixon, Hixon, Alex

6

Publications

84

Citations

4

H-Index

13

Concepts

All Affiliations

Data61
AH

About

Alex Hixon is an author at Data61 specializing in formal specification, formal methods, and system software.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

67

2

Computer Engineering

1

1

67

3

Computer Science

1

1

67

4

Software Analysis

1

1

67

5

Software Engineering

1

1

67

Alex Hixon

×

1

Publications

67

Citations

1

H-Index

YearCitations

Cogent

Sidney Amani, Alex Hixon, Zilin Chen,

2016

67

Page 1