Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Helen
Last name:	Lowe
DBLP:	32/4868
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 13  

Select a publication
Show	Title	Venue	Rating	Date
	Steve Neely, Helen Lowe, David M. Eyers, Jean Bacon, Julian Newman, Xiaofeng Gong. An architecture for supporting vicarious learning in a distributed environment.	Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004 2004	(0)	2004
	Colin English, Waleed Wagealla, Paddy Nixon, Sotirios Terzis, Helen Lowe, Andrew D. McGettrick. Trusting Collaboration in Global Computing Systems.	Trust Management, First International Conference, iTrust 2003, Heraklion, Crete, Greece, May 28-30, 2002, Proceedings 2003	(0)	2003
	Colin English, Sotirios Terzis, Waleed Wagealla, Helen Lowe, Paddy Nixon, Andrew D. McGettrick. Trust Dynamics for Collaborative Global Computing.	12th IEEE International Workshops on Enabling Technologies (WETICE 2003), Infrastructure for Collaborative Enterprises, 9-11 June 2003, Linz, Austria 2003	(0)	2003
	Michael Jackson, Helen Lowe. System Description: Interactive Proof Critics in XBarnacle.	Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings 2000	(0)	2000
	Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe. System Description: CyNTHIA.	Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings 1999	(0)	1999
	Helen Lowe, John Lowe. The Role of Proof in a Formal Specification of the Speedway Rulebook.	3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999 1999	(0)	1999
	Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe. An ML Editor Based on Proofs-As-Programs.	ASE 1999	(0)	1999
	Helen Lowe, Michal Pechoucek, Alan Bundy. Proof planning for maintainable configuration systems.	AI EDAM 1998, Volume 12	(0)	1998
	Helen Lowe, Alan Bundy, Duncan McLean. The Use of Proof Planning for Co-operative Theorem Proving.	J. Symb. Comput. 1998, Volume 25	(0)	1998
	Helen Lowe, David Duncan. XBarnacle: Making Theorem Provers More Accessible.	Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings 1997	(0)	1997

Your query returned 13 matches in the database.