Helen Lowe

According to our database, Helen Lowe authored at least 14 papers between 1991 and 2004.

Collaborative distances:

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

2004

An architecture for supporting vicarious learning in a distributed environment.

Steve Neely, Helen Lowe, David M. Eyers, Jean Bacon, Julian Newman, Xiaofeng Gong

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

2003

Trust Dynamics for Collaborative Global Computing.

Colin English, Sotirios Terzis, Waleed Wagealla, Helen Lowe, Paddy Nixon, Andrew D. McGettrick

Proceedings of the 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), 2003

Trusting Collaboration in Global Computing Systems.

Colin English, Waleed Wagealla, Paddy Nixon, Sotirios Terzis, Helen Lowe, Andrew D. McGettrick

Proceedings of the Trust Management, First International Conference, 2003

2000

System Description: Interactive Proof Critics in XBarnacle.

Mike Jackson, Helen Lowe

Proceedings of the Automated Deduction, 2000

1999

An ML Editor Based on Proofs-As-Programs.

Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

The Role of Proof in a Formal Specification of the Speedway Rulebook.

Helen Lowe, John Lowe

Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

System Description: CyNTHIA.

Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe

Proceedings of the Automated Deduction, 1999

1998

The Use of Proof Planning for Co-operative Theorem Proving.

Helen Lowe, Alan Bundy, Duncan McLean

J. Symb. Comput., 1998

Proof planning for maintainable configuration systems.

Helen Lowe, Michal Pechoucek, Alan Bundy

Artif. Intell. Eng. Des. Anal. Manuf., 1998

1997

An Editor for Helping Novices to Learn Standard ML.

Jon Whittle, Alan Bundy, Helen Lowe

Proceedings of the Programming Languages: Implementations, 1997

The Use of Theorem Provers in the Teaching and Practice of Formal Methods.

Helen Lowe

Proceedings of the 1st Irish Workshop on Formal Methods, 1997

XBarnacle: Making Theorem Provers More Accessible.

Helen Lowe, David Duncan

Proceedings of the Automated Deduction, 1997

1994

Proof planning: A methodology for developing AI systems incorporating design issues.

Helen Lowe

Artif. Intell. Eng. Des. Anal. Manuf., 1994

1991

Extending the proof plan methodology to computer configuration problems.

Helen Lowe

Appl. Artif. Intell., 1991