Extending the proof plan methodology to computer configuration problems. - Helen Lowe (Appl. Artif. Intell., 1991)

Proof planning: A methodology for developing AI systems incorporating design issues. - Helen Lowe (Artif. Intell. Eng. Des. Anal. Manuf., 1994)

XBarnacle: Making Theorem Provers More Accessible. - Helen Lowe; David Duncan (CADE, 1997)

The Use of Theorem Provers in the Teaching and Practice of Formal Methods. - Helen Lowe (IWFM, 1997)

An Editor for Helping Novices to Learn Standard ML. - Jon Whittle 001; Alan Bundy; Helen Lowe (PLILP, 1997)

Proof planning for maintainable configuration systems. - Helen Lowe; Michal Pechoucek; Alan Bundy (Artif. Intell. Eng. Des. Anal. Manuf., 1998)

The Use of Proof Planning for Co-operative Theorem Proving. - Helen Lowe; Alan Bundy; Duncan McLean (J. Symb. Comput., 1998)

System Description: CyNTHIA. - Jon Whittle 001; Alan Bundy; Richard J. Boulton; Helen Lowe (CADE, 1999)

The Role of Proof in a Formal Specification of the Speedway Rulebook. - Helen Lowe; John Lowe (IWFM, 1999)

An ML Editor Based on Proofs-As-Programs. - Jon Whittle 001; Alan Bundy; Richard J. Boulton; Helen Lowe (ASE, 1999)

System Description: Interactive Proof Critics in XBarnacle. - Mike Jackson 003; Helen Lowe (CADE, 2000)

Trusting Collaboration in Global Computing Systems. - Colin English; Waleed Wagealla; Paddy Nixon; Sotirios Terzis; Helen Lowe; Andrew D. McGettrick (iTrust, 2003)

Trust Dynamics for Collaborative Global Computing. - Colin English; Sotirios Terzis; Waleed Wagealla; Helen Lowe; Paddy Nixon; Andrew D. McGettrick (WETICE, 2003)

An architecture for supporting vicarious learning in a distributed environment. - Steve Neely; Helen Lowe; David M. Eyers; Jean Bacon; Julian Newman; Xiaofeng Gong (SAC, 2004)