The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Helen Lowe: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002