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