Travelled to:1 × Canada
2 × France
Collaborated with:S.A.Dobson E.Locuratolo ∅ K.Golub J.Moon D.Tudhope C.Jones B.Puzon M.L.Nielsen
Talks about:tag (2) discoveri (1) standard (1) develop (1) databas (1) system (1) social (1) reason (1) formal (1) enhanc (1)
Person: Brian Matthews
DBLP: Matthews:Brian
Contributed to:
2000
1999
1993
2009Wrote 4 papers:
- ECOOP-2000-DobsonM
- Ionic Types (SAD, BM), pp. 296–312.
- FM-v1-1999-MatthewsL #database #development
- Formal Development of Databases in ASSO and B (BM, EL), pp. 388–410.
- RTA-1993-Matthews #equation #ml #named #reasoning #standard
- MERILL: An Equational Reasoning System in Standard ML (BM), pp. 441–445.
- JCDL-2009-GolubMTJMPN #named #social
- EnTag: enhancing social tagging for discovery (KG, JM, DT, CJ, BM, BP, MLN), pp. 163–172.