Andrew Heaton

According to our database, Andrew Heaton authored at least 3 papers between 1997 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Assessing Vehicle Health Management Requirements for Unmanned Air Systems.

Andrew Heaton, Ip-Shing Fan, Craig Lawson, Jim McFeat, Julian Hill

Proceedings of the Infotech@Aerospace 2012, 2012

2000

Abstract Domains for Universal and Existential Properties.

Andrew Heaton, Patricia M. Hill, Andy King

Proceedings of the Programming Languages and Systems, 2000

1997

Analysis of Logic Programs with Delay.

Andrew Heaton, Patricia M. Hill, Andy King

Proceedings of the Logic Programming Synthesis and Transformation, 1997