Search the dblp DataBase

Publications of Author

1. Michael Jackson, Helen Lowe
   System Description: Interactive Proof Critics in XBarnacle. [Citation Graph (0, 0)][DBLP]
   CADE, 2000, pp:502-506 [Conf]
   
2. Helen Lowe, David Duncan
   XBarnacle: Making Theorem Provers More Accessible. [Citation Graph (0, 0)][DBLP]
   CADE, 1997, pp:404-407 [Conf]
   
3. Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
   System Description: CyNTHIA. [Citation Graph (0, 0)][DBLP]
   CADE, 1999, pp:388-392 [Conf]
   
4. 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]
   
5. Helen Lowe
   The Use of Theorem Provers in the Teaching and Practice of Formal Methods. [Citation Graph (0, 0)][DBLP]
   IWFM, 1997, pp:- [Conf]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. 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]
   
10. 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]
    
11. 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]
    
12. 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]
    
13. 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]