Helen Lowe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1997–2004
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | SAC | An architecture for supporting vicarious learning in a distributed environment. | Steve Neely, Helen Lowe, David M. Eyers, Jean Bacon, Julian Newman, Xiaofeng Gong |
| 2003 | WETICE | Trust Dynamics for Collaborative Global Computing. | Colin English, Sotirios Terzis, Waleed Wagealla, Helen Lowe, Paddy Nixon, Andrew D. McGettrick |
| 2000 | CADE | System Description: Interactive Proof Critics in XBarnacle. | Mike Jackson, Helen Lowe |
| 1999 | CADE | System Description: CyNTHIA. | Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe |
| 1997 | CADE | XBarnacle: Making Theorem Provers More Accessible. | Helen Lowe, David Duncan |