Taylor, Chris and Boiten, Eerke Albert and Derrick, John
(2002)
Interpreting ODP viewpoint specifications: Observations from a Case Study.
In: Formal Methods for Open Object-Based Distributed Systems V, March 20-22, 2002, Enschede, The Netherlands.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

van Leemput, Koen and Maes, Frederik and Bello, Fernando and Vandermeulen, Dirk and Colchester, Alan C. F. and Suetens, Paul
(1999)
Automated segmentation of MS lesions from multi-channel MR images.
In: 2nd International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 99), Sep 19-22, 1999, Cambridge, England.
(doi:10.1007/10704282_2)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

1994

Patel, Mukesh J. and Taylor, Chris and du Boulay, Benedict
(1994)
Textual Tree (Prolog) Tracer: An Experimental Evaluation.
In: Gilmore, D. and Winder, R. and Detienne, F., eds.
User-Centred Requirements for Software Engineering Environments.
NATO ASI Series (Series F: Computer and Systems Sciences), 123
.
Springer-Verlag, Berlin, pp. 127-141.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Taylor, Chris and du Boulay, Benedict and Patel, Mukesh J.
(1994)
Textual Tree Trace Notation for Prolog: An Overview.
In: Proc. of Post-Conf. Workshop on Logic Programming and Education, Internat. Conf. on Logic Programming.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

1993

Taylor, Chris and Naik, Yogesh
(1993)
Conflict Prediction Prototype (Test Harness and Results).
Technical report.
Dept. of Comp. Science, City University, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Taylor, Chris and Naik, Yogesh
(1993)
Conflict Prediction Prototype (User Guide).
Technical report.
Dept. of Comp. Science, City University, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Taylor, Chris
(1993)
A Formal Logical Analysis of Causal Relations.
Doctor of Philosophy (PhD) thesis, University of Sussex.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Taylor, Chris and Naik, Yogesh
(1993)
Conflict Prediction Specification (Domain Objects).
Technical report.
Dept. of Comp. Science, City University, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris
(1993)
Evaluation of Contrasting Prolog Trace Output Formats.
Technical report.
University of Sussex
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

1992

Taylor, Chris and Naik, Yogesh
(1992)
Interim Progress Report on Analysis of MATS-2.
Technical report.
Internal, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Taylor, Chris and Naik, Yogesh
(1992)
Definition of a Theoretical Form for MATS-2.
Technical report.
Dept of Comp Science, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Taylor, Chris and Naik, Yogesh
(1992)
Initial Domain Analysis of MATS-2.
Technical report.
Dept of Comp Science, London
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

du Boulay, Benedict and Patel, Mukesh J. and Taylor, Chris
(1992)
Programming Environments for Novices.
In: Proc. of NATO Advanced Research Workshop on Cognitive Models and Intelligent Environments.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

1991

Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris
(1991)
Effect of Format on Information and Problem Solving.
In: Proc. of 13th Ann. Conf. of the Cognitive Science Society.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Patel, Mukesh J. and du Boulay, Benedict and Taylor, Chris
(1991)
Prolog Tracers and Information Access.
In: Proc. of 1st Moscow Internat. HCI Workshop.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)