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:
2004
2000
199919991997
1997Wrote 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.