Helen Lowe

2004
13	EE	Steve Neely, Helen Lowe, David M. Eyers, Jean Bacon, Julian Newman, Xiaofeng Gong: An architecture for supporting vicarious learning in a distributed environment. SAC 2004: 963-970
2003
12	EE	Colin English, Sotirios Terzis, Waleed Wagealla, Helen Lowe, Paddy Nixon, Andrew D. McGettrick: Trust Dynamics for Collaborative Global Computing. WETICE 2003: 283-
11	EE	Colin English, Waleed Wagealla, Paddy Nixon, Sotirios Terzis, Helen Lowe, Andrew D. McGettrick: Trusting Collaboration in Global Computing Systems. iTrust 2003: 136-149
2000
10		Michael Jackson, Helen Lowe: System Description: Interactive Proof Critics in XBarnacle. CADE 2000: 502-506
1999
9	EE	Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe: An ML Editor Based on Proofs-As-Programs. ASE 1999: 166-173
8	EE	Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe: System Description: CyNTHIA. CADE 1999: 388-392
7		Helen Lowe, John Lowe: The Role of Proof in a Formal Specification of the Speedway Rulebook. IWFM 1999
1998
6	EE	Helen Lowe, Michal Pechoucek, Alan Bundy: Proof planning for maintainable configuration systems. AI EDAM 12(4): 345-356 (1998)
5		Helen Lowe, Alan Bundy, Duncan McLean: The Use of Proof Planning for Co-operative Theorem Proving. J. Symb. Comput. 25(2): 239-261 (1998)
1997
4		Helen Lowe, David Duncan: XBarnacle: Making Theorem Provers More Accessible. CADE 1997: 404-407
3		Helen Lowe: The Use of Theorem Provers in the Teaching and Practice of Formal Methods. IWFM 1997
2		Jon Whittle, Alan Bundy, Helen Lowe: An Editor for Helping Novices to Learn Standard ML. PLILP 1997: 389-405
1991
1		Helen Lowe: Extending the proof plan methodology to computer configuration problems. Applied Artificial Intelligence 5(3): 227-252 (1991)

Coauthor Index

1	Jean Bacon	[13]
2	Richard J. Boulton	[8] [9]
3	Alan Bundy	[2] [5] [6] [8] [9]
4	David Duncan	[4]
5	Colin English	[11] [12]
6	David M. Eyers	[13]
7	Xiaofeng Gong	[13]
8	Michael Jackson	[10]
9	John Lowe	[7]
10	Andrew D. McGettrick	[11] [12]
11	Duncan McLean	[5]
12	Steve Neely	[13]
13	Julian Newman	[13]
14	Paddy Nixon (Patrick Nixon)	[11] [12]
15	Michal Pechoucek	[6]
16	Sotirios Terzis	[11] [12]
17	Waleed Wagealla	[11] [12]
18	Jon Whittle (Jonathan Whittle)	[2] [8] [9]

Colors in the list of coauthors