| 2007 |
|---|
| 5 | EE | Rhodri H. Davies,
Carole J. Twining,
Tomos G. Williams,
Chris J. Taylor:
Group-Wise Correspondence of Surfaces Using Non-Parametric Regularisation and Shape Images.
ISBI 2007: 1208-1211 |
| 2002 |
|---|
| 4 | | Chris J. Taylor,
Eerke A. Boiten,
John Derrick:
Interpreting ODP Viewpoint Specification: Observations from a Case Study.
FMOODS 2002: 61-76 |
| 3 | | Chris J. Taylor,
Eerke A. Boiten,
John Derrick:
ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z.
IEE Proceedings - Software 149(2): 57-63 (2002) |
| 2000 |
|---|
| 2 | EE | Chris J. Taylor,
John Derrick,
Eerke A. Boiten:
A Case Study in Partial Specification: Consistency and Refinement for Object-Z.
ICFEM 2000: 177- |
| 1997 |
|---|
| 1 | EE | Mukesh J. Patel,
Benedict du Boulay,
Chris J. Taylor:
Comparison of contrasting Prolog trace output formats.
Int. J. Hum.-Comput. Stud. 47(2): 289-322 (1997) |
