| 2005 |
|---|
| 7 | EE | Paul Baker,
Paul Bristow,
Clive Jervis,
David J. King,
Robert Thomson,
Bill Mitchell,
Simon Burton:
Detecting and resolving semantic pathologies in UML sequence diagrams.
ESEC/SIGSOFT FSE 2005: 50-59 |
| 6 | EE | Norman Scaife,
Susumu Horiguchi,
Greg Michaelson,
Paul Bristow:
A parallel SML compiler based on algorithmic skeletons.
J. Funct. Program. 15(4): 615-650 (2005) |
| 2004 |
|---|
| 5 | EE | Bill Mitchell,
Robert Thomson,
Paul Bristow:
Scenario Synthesis from Imprecise Requirements.
SAM 2004: 122-137 |
| 4 | | Bill Mitchell,
Robert Thomson,
Paul Bristow:
Model Synthesis from Imprecise Specifications.
VVEIS 2004: 20-25 |
| 2002 |
|---|
| 3 | EE | Paul Baker,
Paul Bristow,
Clive Jervis,
David J. King,
Bill Mitchell:
Automatic Generation of Conformance Tests from Message Sequence Charts.
SAM 2002: 170-198 |
| 1998 |
|---|
| 2 | EE | Paul Bristow,
Matthew White:
A Publishing System to Support Secondary School Teaching and Learning.
Computer Networks 30(1-7): 610-611 (1998) |
| 1 | EE | David G. Green,
Paul Bristow,
Jeff Ash,
Larry Benton,
Pam Milliken,
David Newth:
Network Publishing Languages.
Computer Networks 30(1-7): 636-637 (1998) |
