`Travelled to:`

1 × Australia

1 × Cyprus

1 × Italy

1 × USA

1 × United Kingdom

`Collaborated with:`

J.Whittle A.Bundy M.Jackson R.J.Boulton D.Duncan S.Neely D.M.Eyers J.Bacon J.Newman X.Gong

`Talks about:`

descript (2) barnacl (2) system (2) editor (2) proof (2) learn (2) ml (2) architectur (1) distribut (1) standard (1)

## Person: Helen Lowe

### DBLP: Lowe:Helen

### Contributed to:

### Wrote 6 papers:

- SAC-2004-NeelyLEBNG #architecture #distributed #learning
- An architecture for supporting vicarious learning in a distributed environment (SN, HL, DME, JB, JN, XG), pp. 963–970.
- CADE-2000-JacksonL #interactive #proving
- System Description: Interactive Proof Critics in XBarnacle (MJ, HL), pp. 502–506.
- ASE-1999-WhittleBBL #editing #ml
- An ML Editor Based on Proofs-As-Programs (JW, AB, RJB, HL), pp. 166–173.
- CADE-1999-WhittleBBL
- System Description: CyNTHIA (JW, AB, RJB, HL), pp. 388–392.
- CADE-1997-LoweD #named #proving #theorem proving
- XBarnacle: Making Theorem Provers More Accessible (HL, DD), pp. 404–407.
- PLILP-1997-WhittleBL #editing #ml #standard
- An Editor for Helping Novices to Learn Standard ML (JW, AB, HL), pp. 389–405.