Helen Lowe

14 papers A* 1A 3C 1Misc 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2004 Misc conf
An architecture for supporting vicarious learning in a distributed environment.
SAC
Steve Neely, Helen Lowe, David M. Eyers, Jean Bacon, Julian Newman, Xiaofeng Gong
2003 C conf
Trust Dynamics for Collaborative Global Computing.
WETICE
Colin English, Sotirios Terzis, Waleed Wagealla, Helen Lowe, Paddy Nixon, Andrew D. McGettrick
2003 — conf
Trusting Collaboration in Global Computing Systems.
iTrust
Colin English, Waleed Wagealla, Paddy Nixon, Sotirios Terzis, Helen Lowe, Andrew D. McGettrick
2000 A conf
System Description: Interactive Proof Critics in XBarnacle.
CADE
Mike Jackson, Helen Lowe
1999 A* conf
An ML Editor Based on Proofs-As-Programs.
ASE
Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
1999 A conf
System Description: CyNTHIA.
CADE
Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
1999 — conf
The Role of Proof in a Formal Specification of the Speedway Rulebook.
IWFM
Helen Lowe, John Lowe
1998 J jnl
Proof planning for maintainable configuration systems.
Artif. Intell. Eng. Des. Anal. Manuf.
Helen Lowe, Michal Pechoucek, Alan Bundy
1998 J jnl
The Use of Proof Planning for Co-operative Theorem Proving.
J. Symb. Comput.
Helen Lowe, Alan Bundy, Duncan McLean
1997 — conf
An Editor for Helping Novices to Learn Standard ML.
PLILP
Jon Whittle, Alan Bundy, Helen Lowe
1997 — conf
The Use of Theorem Provers in the Teaching and Practice of Formal Methods.
IWFM
Helen Lowe
1997 A conf
XBarnacle: Making Theorem Provers More Accessible.
CADE
Helen Lowe, David Duncan
1994 J jnl
Proof planning: A methodology for developing AI systems incorporating design issues.
Artif. Intell. Eng. Des. Anal. Manuf.
Helen Lowe
1991 J jnl
Extending the proof plan methodology to computer configuration problems.
Appl. Artif. Intell.
Helen Lowe