Helen Lowe - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

2004

An architecture for supporting vicarious learning in a distributed environmentSteve Neely, Helen Lowe, David M. Eyers, Jean Bacon, Julian Newman, Xiaofeng Gong. SAC 2004: 963-970 [doi]

2003

Trusting Collaboration in Global Computing SystemsColin English, Waleed Wagealla, Paddy Nixon, Sotirios Terzis, Helen Lowe, Andrew D. McGettrick. itrust 2003: 136-149 [doi]

Trust Dynamics for Collaborative Global ComputingColin English, Sotirios Terzis, Waleed Wagealla, Helen Lowe, Paddy Nixon, Andrew D. McGettrick. wetice 2003: 283 [doi]

2000

System Description: Interactive Proof Critics in XBarnacleMichael Jackson, Helen Lowe. cade 2000: 502-506

1999

The Role of Proof in a Formal Specification of the Speedway RulebookHelen Lowe, John Lowe. iwfm 1999:

System Description: CyNTHIAJon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe. cade 1999: 388-392 [doi]

An ML Editor Based on Proofs-As-ProgramsJon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe. ASE 1999: 166-173 [doi]

1998

The Use of Proof Planning for Co-operative Theorem ProvingHelen Lowe, Alan Bundy, Duncan McLean. JSC, 25(2):239-261, 1998.

Proof planning for maintainable configuration systemsHelen Lowe, Michal Pechoucek, Alan Bundy. aiedam, 12(4):345-356, 1998. [doi]

1997

XBarnacle: Making Theorem Provers More AccessibleHelen Lowe, David Duncan. cade 1997: 404-407

The Use of Theorem Provers in the Teaching and Practice of Formal MethodsHelen Lowe. iwfm 1997:

An Editor for Helping Novices to Learn Standard MLJon Whittle, Alan Bundy, Helen Lowe. plilp 1997: 389-405

1994

Proof planning: A methodology for developing AI systems incorporating design issuesHelen Lowe. aiedam, 8(4):307-317, 1994. [doi]

1991

Extending the proof plan methodology to computer configuration problemsHelen Lowe. aai, 5(3):227-252, 1991.

Sign in or sign up to see more results.

runs on WebDSL