2008 |
4 | EE | Liangxiu Han,
Dave Berry:
Semantic-supported and agent-based decentralized grid resource discovery.
Future Generation Comp. Syst. 24(8): 806-812 (2008) |
2007 |
3 | EE | Liangxiu Han,
Asen Asenov,
Dave Berry,
Campbell Millar,
Gareth Roy,
Scott Roy,
Richard O. Sinnott,
Gordon Stewart:
Towards a Grid-Enabled Simulation Framework for Nano-CMOS Electronics.
eScience 2007: 305-311 |
1993 |
2 | | Dave Berry:
Lessons from the Design of a Standard ML Library.
J. Funct. Program. 3(4): 527-552 (1993) |
1992 |
1 | | Dave Berry,
Robin Milner,
David N. Turner:
A Semantics for ML Concurrency Primitives.
POPL 1992: 119-129 |