An Iterative Powerdomain Construction. - Alex Ferguson; R. John M. Hughes (Functional Programming, 1989)

Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary). - Alex Ferguson; John Hughes 001 (Functional Programming, 1992)

A Loop-Detecting Interpreter for Lazy, Higher-Order Programs. - John Hughes 001; Alex Ferguson (Functional Programming, 1992)

Fast Abstract Interpretation Using Sequential Algorithms. - Alex Ferguson; John Hughes 001 (WSA, 1993)

Higher order strictness analysis by abstract interpretation over finite domains. - Alexander B. Ferguson (1995)

Partial Orders and Indifference Relations: Being Purposefully Vague in Case-Based Retrieval. - Alex Ferguson; Derek G. Bridge (EWCBR, 2000)

Diverse Product Recommendations Using an Expressive Language for Case Retrieval. - Derek G. Bridge; Alex Ferguson (ECCBR, 2002)

An Expressive Query Language for Product Recommender Systems. - Derek G. Bridge; Alex Ferguson (Artif. Intell. Rev., 2002)

Umpire: A Reference Implementation of the Condensed Graph Model. - Alan Hamilton; Alex Ferguson; John Morrison (PDPTA, 2003)

Boosting Constraint Satisfaction Using Decision Trees. - Barry O'Sullivan; Alex Ferguson; Eugene C. Freuder (ICTAI, 2004)

Relaxations and Explanations for Quantified Constraint Satisfaction Problems. - Alex Ferguson; Barry O'Sullivan (CP, 2006)

Pastures: Towards Usable Security Policy Engineering. - Sergey Bratus; Alex Ferguson; Doug McIlroy; Sean W. Smith (ARES, 2007)

Quantified Constraint Satisfaction Problems: From Relaxations to Explanations. - Alex Ferguson; Barry O'Sullivan (IJCAI, 2007)

Rapid optimization of blast wave mitigation strategies using Quiet Direct Simulation and Genetic Algorithm. - Matthew R. Smith 001; Fang-An Kuo; Chih-Wei Hsieh; Jen-Perng Yu; Jong-Shinn Wu; Alex Ferguson (Comput. Phys. Commun., 2010)