2002

BRODA, Dr K

d'Avila Garcez, K. Broda, D. Gabbay
“Neural Symbolic Learning Systems”
Springer, 2002

Krysia Broda
A Decidable CLDS for some Propositional Resource Logics
In Festschrift for Bob Kowalski, Eds. A. C. Kakas and F. Sadri, 2002

K. Broda, D. Gabbay, L. Lamb, A. Russo
Labelled Natural Deduction for a Logic of Normative Conditionals 
Logic Journal of the IGPL, April, 2002

Bjorn Bjurling and Krysia Broda
Compiled Only Knowing
Technical Report 2002/9 Department of Computing, Imperial College, 2002.

CLARK, Professor K L

G. Uchyigit and K.Clark
Agent-Based Electronic Program Guide
Workshop on Personalization in Future TV, in conjunction with 2nd International Conference on Adaptive Hypermedia and Adaptive Web Based Systems, May 2002, to appear in Springer-Verlag Lecture Notes in Computer Science.

G. Uchyigit and K.Clark
Agents that Model and Learn user Interests for Dynamic Collaborative Filtering
in Co-operative Information Agents VI
Springer-Verlag LNAI 2246, 2002.

Gulden Uchyigit and Keith Clark
Agents which Learn to give Personalized TV Recommendations in Personalized Agents
AAAI Fall Symposium Series, AAAI Press Technical Report, 2002

COLTON, Dr S

S. Colton
“Automated Theory Formation in Pure Mathematics"
(Distinguished Dissertations Series). Springer Verlag, 2002. ISBN 1852336099.

S. Colton
"Making Conjectures about Maple Functions"
In proceedings of AISC/Calculemus'02, LNAI 2385, Springer.

A. Meier, V. Sorge and S. Colton
"Employing Theory Formation to Guide Proof Planning"
In proceedings of AISC/Calculemus'02, LNAI 2385, Springer.

S. Colton
"The HR Program for Theorem Generation"
Proceedings of CADE'02, Copenhagen, Denmark, 2002.

S. Colton
"Automated Puzzle Generation"
Proceedings of the AISB'02 Symposium on AI and Creativity in the Arts and Science, Imperial College, London, 2002.

S. Colton and L. Dennis
"The NumbersWithNames Program"
Proceedings of the Seventh AI and Maths Symposium, Fort Lauderdale, FL, 2002.

S. Colton and G. Sutcliffe
"Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems"
Proceedings of the Seventh AI and Maths Symposium, Fort Lauderdale, FL, 2002.

A. Pease, S. Colton, A. Smaill and J. Lee
"Semantic Negotiation: Modelling Ambiguity in Dialogue"
Proceedings of Edilog 2002, the 6th Workshop on the semantics and pragmatics of dialogue, Edinburgh, UK, 2002

S. Colton, R. McCasland, A. Bundy and T. Walsh
"Automated Theory Formation for Tutoring Tasks in Pure Mathematics"
Proceedings of the CADE'02 workshop on the Role of Automated Deduction in Mathematics,
Copenhagen, Denmark, 2002.

A. Pease, S. Colton, A. Smaill and J. Lee
"Lakatos and Machine Creativity"
Proceedings of the ECAI'02 workshop on creative systems,
Lyon, France, 2002.

J. Zimmer, S. Colton, A. Franke and G. Sutcliffe
"Integrating HR and tptp2x into MathWeb to Compare Automated Theorem Provers"
Proceedings of the CADE'02 workshop on Problems and Problem Sets,
Copenhagen, Denmark, 2002.

A. Pease, S. Colton, A. Smaill and J. Lee
"Lakatos-style Reasoning"
Proceedings of the Automated Reasoning Workshop, Imperial College, London, 2002.

Bundy, S. Colton, R. McCasland and T. Walsh
"Semi-Automated Discovery in Zariski Spaces (A Proposal)" 
Proceedings of the Automated Reasoning Workshop, Imperial College, London, 2002.

CUNNINGHAM, R J C

Shamimabi Paurobally and Jim Cunningham
Safety and Liveness of Negotiation Protocols
Proceedings of the AISB'02 symposium on Intelligent agents and Virtual Markets, April 2002,
ISBN 1 902956 29 9. Society for the study of Artificial Intelligence and the Simulation of Behaviour

Alexander Yip and Jim Cunningham
Some Issues on Agent Ownership
in G. Sartor, E.Weitzenböck (eds) The Law of Electronic Agents: Selected Revised Papers
Proceedings of the LEA workshop, CIRSFID, University of Bologna, July 2002, pp 13-22.

Shamimabi Paurobally and Jim Cunningham
"Verification of Protocols for Negotiation between Agents"
Proceedings of the European Conference on Artificial Intelligence,
ed Frank van Harmelen (ECAI 2002), pp43-47,
IOS Press ISSN: 0922-6389, 2002

DARLINGTON, Professor J

N Furmento, A Mayer, S McGough, S Newhouse, T Field and J. Darlington
"Optimisation of Component Applications within a Grid Environment"
Parallel Computing, 28(12) 1753--1772, 2002.  

 N Furmento, W Lee, A Mayer, S Newhouse and J. Darlington 
"An Open Grid Service Architecture Implemented with Jini"
SuperComputing 2002, Baltimore, USA, Nov. 2002.  

A Mayer, S McGough, M Gulamali, L Young,  J Stanton, S Newhouse and J Darlington
"Meaning and Behaviour in Grid Oriented Components"
3rd International Workshop on Grid Computing 2002,
volume 2536 Lecture Notes in Computer Science, Baltimore, USA, Nov. 2002.                                      

J Stanton, S Newhouse and J Darlington
"Implementing a Scientific Visualisation Capability Within a Grid Enabled Component Framework"
8th International Euro-Par Conference,
volume 2400, Lecture Notes in Computer Science, Paderborn, Germany, Aug. 2002.

S Newhouse, A Mayer, N Furmento, S McGough, J Stanton and J. Darlington.
"Laying the Foundations for the Semantic Grid"
AISB'02 Symposium AI and GRID Computing, Apr. 2002. ISBN 1 902956 24 8.

DROSSOPOULOU, Dr S

David Clarke, Sophia Drossopoulou
Ownership, Encapsulation and the Disjointness of Types and Effects
OOPSLA 2002, October 2002, Seattle

Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
FickleII More Dynamic Object Reclassification
ACM Transactions on Programming Languages and Systems, 2002,
volume 24, number 2, pages 153-191

Christopher Anderson, Sophia Drossopoulou
Delta an object based calculus for delegation
USE Workshop for at ECOOP 2002, June 2002, Malaga

DULAY, Dr N

Dulay N, Damianou N, Lupu E, Sloman M.
A Policy Language for the Management of Distributed Agents
Agent-Oriented Software Engineering II (LNCS 2222)
Ed: M. Wooldridge, G. Weiss, P. Ciancarini. pp 85-102, Springer-Verlag, 2002.

Damianou N, Dulay N, Lupu E, Sloman M, Tonouchi T.
Tools for Policy Management of Distributed Systems
NOMS 2002: Network Operations and Management Symposium
Florence, Italy, April 2002.

Lee T, Yusuf S, Luk W, Sloman M, Lupu E, Dulay N.
Development Framework for Firewall Processors
ICFPT 2002: IEEE Intl Conference on Field Programmable Technology (FTP)
Hong Kong, December 2002.

EDALAT, Professor A

A. Edalat, and P. Pananagden
Bisimulation for labelled Markov processes
Information and Computation, 179:163-193, 2002.

A. Edalat and A. Lieutier
Foundation of a computable solid modelling
Theoretical Computer Science, 284(2):319-345, 2002.

A. Edalat and R. Heckmann
Computing with real numbers:
(i) LFT approach to real computation
(ii) Domain-theoretic model of computational geometry
In G. Barthe, P. Dybjer, L. Pinto, and J. Saraiva, editors. 
Applied Semantics: Advanced Lectures,
volume 2395 of Lecture Notes in Computer science, pages 193-267. Springer, 2002.

A. Edalat and A. Lieutier
Domain theory and differential calculus (Functions of one variable)
In Seventh Annual IEEE Symposium on Logic in Computer Science. 
IEEE Computer Society Press, 2002.

A. A. Khanban, A. Edalat, and A. Lieutier 
Computability of partial Delaunay triangulation and Voronoi diagram
Electronic Notes in Theoretical Computer Science, 66(1), 2002.

FIELD, Dr A J

Field, A.J., Harder, U. and Harrison, P.G.
"Network Traffic Behaviour in Switched Ethernet Systems"
Proc. MASCOTS 2002, pp. 33-42

Field, A.J., Hansen, T.L. and Kelly, P.H.J.
"Optimising Shared Reduction Variables in MPI Programs"
Proc. Europar 2002, pp. 630-639.

Pearce, D.J., Kelly, P.H.J., Field, A.J. and Harder, U.
"GILK: A Dynamic Instrumentation Tool for the Linux Kernel",
Proc. 12th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
April 2002, pp. 220-226.

Field, A.J., Harder, U. and Harrison, P.G.
"Network Traffic Measurments in a Switched Ethernet Systems"
Proc. UKPEW 2002, pp.47-58

HANKIN, Professor C L

D. Clark, C. Hankin, S. Hunt
Information flow for Algol-like languages
Journal of Computer Languages, Systems and Structures 28, pp3--28, 2002

C. Hankin, T. Jensen
Security and Safety through Static Analysis
ERCIM News, April 2002.

A. Di Pierro, C. Hankin, H. Wiklicky
On Approximate Non-interference
Proceedings of WITS'02,
http://www.dsi.unive.it/IFIPWG1_7/WITS2002

A. Di Pierro, C. Hankin, H. Wiklicky
Approximate Non-interference
IEEE Computer Security Foundations Workshop (CSFW-15),
IEEE Press, 2002.

A. Di Pierro, C. Hankin, H. Wiklicky
Analysing Approximate Confinement under Uniform Attacks
Static Analysis Symposium (SAS 2002),
Springer Verlag, LNCS 2477, 2002.

C. Hankin, R. Nagarajan, P. Sampath
Flow Analysis: Games and Nets
in "The Essence of Computation",
Springer Verlag, LNCS 2566, 2002.
 

HARRISON, Professor P G

Peter G. Harrison and Sergio Coury
On the Asymptotic Behaviour of Closed Multiclass Queueing Networks
Performance Evaluation Journal, 2002.

Peter G. Harrison and Catalina M. Llado
A new blocking problem from Java-based schedulers
Performance Evaluation Journal, 2002.

Peter G Harrison and William J Knottenbelt
Passage Time Distributions in Large Markov Chains
In proc. Sigmetrics 2002, Marina del Rey, California, June 2002.

Peter G Harrison
Turning Back Time in Markovian Process Algebra
Theoretical Computer Science, 2002.

Peter G Harrison
The MM CPP/GE/c G-Queue: sojourn time distribution
Queueing Systems 39, 2002.

Tony Field, Peter G. Harrison, Jeremy Bradley and Uli Harder (eds)
Proceedings of the 12th International Conference on Modelling, Techniques and Tools for Computer Performance Evaluation, London, April, 2002
Springer-Verlag Lecture Notes on Computer Science, Volume 1786, 2002.

Peter G Harrison
An M/M/1 Queue with Aging Priority
In proc. International Conference on Stochastic Modelling and the IV International Workshop on Retrial Queues,
Cochin, India, December 2002.

Peter G Harrison
Mechanical Solution of G-networks via Markovian Process Algebra
In proc. International Conference on Stochastic Modelling and the IV International Workshop on Retrial Queues,
Cochin, India, December 2002.

Nicolas Dingle, Peter G Harrison and William J Knottenbelt
Response Time Densities in Generalised Stochastic Petri net models
In proc. 3rd International Workshop on Software and Performance, WOSP2002,
Rome, Italy, July, 2002.

Tony Field, Uli Harder and Peter Harrison
Network Traffic Behaviour in Switched Ethernet Systems
MASCOTS 2002, pp. 33-42

Catalina M Llado, Johannes Lueth and Peter G Harrison
Studying Sensitivities of an EJB Performance Model
MASCOTS 2002, pp. 33-42

Peter G Harrison
Stochastic Process Algebra, Reversed Processes and Product-Forms
In proc 17th Int. Symp. on Computer and Information Sciences
Orlando, Florida, invited plenary paper, October 2002.

Peter Harrison, David Thornley, Harf Zatschler
Geometrically Batched Networks
In proc 17th Int. Symp. on Computer and Information Sciences, 
Orlando, Florida, October 2002.

Peter G Harrison
Product-forms from a CAT and DOG.
Performance Evaluation Review, ACM, December 2002.

HODKINSON, Dr I

R Hirsch and I Hodkinson
Relation algebras by games
Studies in Logic and the Foundations of Mathematics,
Volume 147 North-Holland, 2002, ISBN: 0-444-50932-1

Hirsch, R., Hodkinson, I., Maddux, R.
Provability with finitely many variables
Bull. Symbolic Logic 8 (2002) 348-379.

Hirsch, R., Hodkinson, I., Maddux, R.
Relation algebra reducts of cylindric algebras and an application to proof theory
J. Symbolic Logic 67 (2002) 197--213.

Hirsch, R., Hodkinson, I.
Strongly representable atom structures of relation algebras
Proc. Amer. Math. Soc. 130 (2002) 1819-1831.

Hirsch, R., Hodkinson, I., Kurucz, A.
On modal logics between KxKxK and S5xS5xS5
J. Symbolic Logic 67 (2002) 221-234.

Hodkinson, I.
Loosely guarded fragment has finite model property
Studia Logica 70 (2002) 205-240.

Hodkinson, I.
Monodic packed fragment with equality is decidable
Studia Logica 72 (2002) 185-197.

I Hodkinson, F Wolter, M Zakharyaschev
Decidable and undecidable fragments of first-order branching temporal logics
Proc. 17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002), pp. 393--402.

S Bauer, I Hodkinson, F Wolter, M Zakharyaschev
On non-local propositional and one-variable quantified CTL*. 
Proc. 9th International Symposium on TEMPORAL REPRESENTATION AND REASONING (TIME-2002) ,
IEEE Inc., pp2-9.

HUTH, Dr M

Michael Huth
"Model checking modal transition systems using Kripke structures''
Proc. of Third International Workshop on Verification, Model Checking and Abstract Interpretation (VMCAI'2002),
21-22 January, Venice, Italy,
Lecture Notes in Computer Science 2294, pp. 302-316, Springer Verlag.

Michael Huth
"Possibilistic and Probabilistic Abstraction-Based Model Checking''
In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification.
Proc. of Second Joint International Workshop PAPM-PROBMIV 2002, 25-26 July 2002, Copenhagen, Denmark,
Lecture Notes in Computer Science 2399, pp. 115--134, Springer Verlag.

KELLY, Dr P H J

David J Pearce and Paul H J Kelly
"GILK - a dynamic instrumentation tool for the Linux kernel''
In "Proceedings of the 12th International Conference on Computer Performance Evaluation -
Modelling techniques and tools (TOOLS'02)'' (Tony Field, Peter G. Harrison, Jeremy Bradley and Uli Harder, eds)
Springer Verlag LNCS 2324, 2002

A.J. Field, P.H.J. Kelly and T.L. Hansen
"Optimising Shared Reduction Variables in MPI Programs''
In "Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference'',
Burkhard Monien and Rainer Feldmann, eds
Springer Verlag LNCS 2400, 2002. pp.630-639.

P.H.J. Kelly, S. Pelagatti and M. Rossiter
"Instant-access cycle-stealing for parallel applications requiring interactive response''
In "Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference'',
Burkhard Monien and Rainer Feldmann, eds
Springer Verlag LNCS 2400, 2002. pp.863-872.

Jeyarajan Thiyagalingam and Paul H J Kelly
"Is Morton layout competitive for large two-dimensional arrays?''
In "Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference'',
Burkhard Monien and Rainer Feldmann, eds
Springer Verlag LNCS 2400, 2002. pp.280-288.

Peter Liniker, Olav Beckmann and Paul H J Kelly
"Delayed Evaluation, Self-Optimising Software Components as a Programming Model''
In "Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference'',
Burkhard Monien and Rainer Feldmann, eds
Springer Verlag LNCS 2400, 2002. pp.666-674.
 

KNOTTENBELT, Dr W J

P.G. Harrison and W.J. Knottenbelt
Passage Time Distributions in Large Markov Models
Proceedings of ACM SIGMETRICS 2002,
Marina Del Rey, California, USA, June 2002, pp 77-85.

N.J. Dingle, P.G. Harrison and W.J. Knottenbelt
Response time Densities in Generalised Stochastic Petri net Models. 3rd ACM
Workshop on Software and Performance (WOSP 2002),
Rome, Italy, July 2002, pp. 46-54.

I. Davies, W.J. Knottenbelt and P.S. Kritzinger
Symbolic Methods for the State Space Exploration of GSPN Models
Lecture notes in Computer Science 2324:
Proceedings of the 12th International Conference on Modelling Techniques and Tools (TOOLS 2002),
London, UK, April 2002, pp. 188-199.

J.T. Bradley, W.J. Knottenbelt, P.G. Harrison and C.J. Vowden
Transient and Passage-Time Distributions in Semi-Markov Processes
Proceedings of the 18th UK Performance Engineering Workshop (UKPEW 2002),
Glasgow, UK, July 2002, pp. 153-162.

N.J. Dingle and W.J. Knottenbelt
Distributed Solution of Large Markov Models using Asynchronous Iterations and Graph Partitioning
Proceedings of the 18th UK Performance Engineering Workshop (UKPEW 2002),
Glasgow, UK, July 2002, pp. 27-34.

KOWALSKI, Professor R A

Kowalski, R.A.
"Directions for Logic Programming"
Computational Logic: Logic Programming and Beyond (eds. A C Kakas and F Sadri)
Springer, 2002, pp. 26-32.

KRAMER, Professor J

 Uchitel S., Kramer J. and Magee J.,
“Implied Scenario Detection in the Presence of Behaviour Constraints”
International Workshop on Validation and Implementation of Scenario-based Specifications (VISS 2002),
Grenoble, April 2002

A., Russo, R. Miller, A., Nuseibeh, B. and Kramer, J.
“An abductive approach for analysing event-based requirements specifications”,
International Conference on Logic Programming
Copenhagen,Denmark, July 29th - August 1st, 2002
(Best Applications Paper Award).

Uchitel S., Kramer J. and Magee J.
“Negative Scenarios for Implied Scenario Elicitation”
ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE-10),
Charleston, South Carolina, November 18-22, 2002

Georgiadis I., Magee J. and Kramer J.
“Self-Organising Software Architectures for Distributed Systems”
ACM SIGSOFT Workshop on Self-Healing Systems (WOSS ‘02),
Charleston, South Carolina, November 18, 2002

LUK, Dr W

Wiangtong, T., Cheung, P.Y.K. and Luk, W.
"Comparing three heuristic search methods for functional partitioning in hardware-software codesign''
J. Design Automation for Embedded systems 6:4, (July 2002), 425-449.

Abdul Gaffar, A., Luk, W., Cheung, P.Y.K. and Shirazi, N.
"Customising floating-point designs"
in "Proc.  IEEE Symp. on Field-Programmable Custom Computing Machines''
(IEEE Computer Society Press) 2002, 315-317.

Constantinides, G.A., Cheung, P.Y.K. and Luk, W.
"Optimum wordlength allocation''
in "Proc.  IEEE Symp. on Field-Programmable Custom Computing Machines''
(IEEE Computer Society Press) 2002, 219-228.

Gause, J., Cheung, P.Y.K. and Luk, W.
"Reconfigurable shape-adaptive template matching architecture''
in "Proc.  IEEE Symp. on Field-Programmable Custom Computing Machines''
(IEEE Computer Society Press) 2002, 98-107.

Melis, W.J.C., Cheung, P.Y.K. and Luk, W.
"Image registration of real-time video data using the SONIC reconfigurable computer platform''
in "Proc. IEEE Symp. on Field-Programmable Custom Computing Machines''
(IEEE Computer Society Press) 2002, 3-12.

Styles, H. and Luk, W.
"Accelerating radiosity calculations using reconfiguration platforms''
in "Proc. IEEE Symp. on Field-Programmable Custom Computing Machines''
(IEEE Computer Society Press) 2002, 279-281.

Wiangtong, T., Cheung, P.Y.K. and Luk, W.
"Tabu search with intensification strategy for functional partitioning in hardware-software codesign''
in "Proc.  IEEE Symp. on Field-Programmable Custom Computing Machines''
(IEEE Computer Society Press) 2002, 297-298.

Jiang, J., Schmidt, S., Luk, W. and Rueckert, D.
"Parameterizing reconfigurable designs for image warping''
in "Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications'',
Proc. SPIE, Vol. 4867, 2002, 86-97.

Thomas, D. and Luk, W.
"A framework for development and distribution of hardware acceleration''
in ''Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications'',
Proc. SPIE, Vol. 4867, 2002, 48-59.

De Figueiredio Coutinho, J.G., Luk, W. and Weinhardt, M.
"Optimising parallel programs for hardware implementation''
in ''Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications'',
Proc. SPIE, Vol. 4867, 2002, 60-70.

Abdul Gaffar, A., Luk, W., Cheung, P.Y.K., Shirazi, N.and Hwang, J
"Automating customisation of floating-point designs''
in ''Field-Programmable Logic and Applications'',
(LNCS 2438, Springer) 2002, 523-533.

Seng, S.P., Luk, W. and Cheung, P.Y.K.
"Run-time adaptive flexible instruction processors''
in ''Field-Programmable Logic and Applications'',
(LNCS 2438, Springer) 2002, 545-555.

Melis, W.J.C., Cheung, P.Y.K. and Luk, W.
"Image registration of real-time broadcast video using the UltraSONIC reconfigurable computer''
in ''Field-Programmable Logic and Applications'',
(LNCS 2438, Springer) 2002, 1148-1151.

McKeever, S., Luk, W. and Derbyshire, A.
"Compiling hardware descriptions with relative placement information for parametrised libraries''
in "Proc. Formal Methods in Computer-Aided Design''
(LNCS 2517, Springer) 2002, 342-359.

Derbyshire, A.  and Luk, W.
"Compiling run-time parametrisable designs''
in Proc. IEEE Int. Conf. on Field-Prog. Technology, 2002.

De Figueiredio Coutinho, J.G. and Luk, W.
"Optimising and adapting high-level hardware Designs''
in Proc. IEEE Int. Conf. on Field-Prog. Technology, 2002.

Abdul Gaffar, A., Mencer, O., Luk, W., Cheung, P.Y.K. and Shirazi, N.
"Floating-point bitwidth analysis via automatic differentiation''
in Proc. IEEE Int. Conf. on Field-Prog. Technology, 2002.

Fidjeland, A., Luk, W. and Muggleton, S.
"Scalable acceleration of inductive logic programs''
in Proc. IEEE Int. Conf. on Field-Prog. Technology, 2002.

Lee, T.K., Yusuf, S., Luk, W., Sloman, M. and Lupu, E.
"Development framework for firewall processors''
in Proc. IEEE Int. Conf. on Field-Prog. Technology, 2002.

Jiang, J., Luk, W. and Rueckert, D.
"FPGA-based free-form deformation''
in Proc. IEEE Int. Conf. on Field-Prog. Technology, 2002.

Lee, D.U., Lee, T.K., Luk, W. and Cheung, P.Y.K.
"Incremental programming for reconfigurable engines''
in Proc. IEEE Int. Conf. on Field-Prog. Technology, 2002.

Seng, S.P., Palem, K.V., Rabbah, R.M., Wong, W.F., Luk, W. and Cheung, P.Y.K.
"PD-XML: extensible markup language for processor description''
in Proc. IEEE Int. Conf. on Field-Prog. Technology, 2002.

Ip, H., Low, J.,  Cheung, P.Y.K., Constantinides, G., Luk, W., Seng, S.P. and Metzgen, P.
"Strassen's matrix multiplication for customisable processors''
in Proc. IEEE Int. Conf. on Field-Prog. Technology, 2002.

McKeever, S., Luk, W. and Derbyshire, A.
"Towards verifying parametrised hardware libraries with relative placement information''
in "Proc. Int. Conf. on System Sciences'',
(IEEE Computer Society Press) 2003.

Todman, T. and Luk, W.
"Combining imperative and declarative hardware descriptions''
in "Proc. Int. Conf. on System Sciences'',
(IEEE Computer Society Press) 2003.

Seng, S.P., Luk, W. and Cheung, P.Y.K.
"Customising flexible instruction processors: a tutorial''
Proc. Int. Samos Workshop on Systems, Architectures, modelling, and simulation, 2002.
 

LUPU, Dr E

T. Lee, S. Yusuf, W. Luk, M. Sloman, E. Lupu and N. Dulay.
Compiling Policy Descriptions into Reconfigurable Firewall Processors
IEEE Conference on Field Programmable Technology. (FPT),
Hong Kong, Dec. 2002.

S.-L. Keoh and E. Lupu.
Towards Flexible Credential Verification in Mobile Ad-Hoc Networks
ACM Workshop on Principles of Mobile Computing.
Toulouse, France, Oct. 2002.

D. Ganesarajah and E. Lupu.
Workflow-based composition of web-services: a business model or a programming paradigm?
IEEE International Conference on Enterprise Distributed Object Computing (EDOC 2002),
Lausanne, Switzerland, Sept. 2002.

L. Lymberopoulos, E. Lupu and M. Sloman.
An Adaptive Policy-Based Framework for Differentiated Services Networks
IEEE 3rd International Workshop on Policies for Distributed Systems and Networks (Policy 2002).
Monterey, USA, June 2002.

N. Damianou, N. Dulay, E. Lupu, M. Sloman and T. Tonouchi.
Policy Tools for Domain Based Distributed Systems Management
IFIP/IEEE Symposium on Network Operations and Management.
Florence, Italy, Apr. 2002.

N. Dulay, N. Damianou, E. Lupu and M. Sloman.
A policy language for the management of distributed agents
Agent-Oriented Software Engineering II, eds. M. Wooldridge, G. Weiss and P. Ciancarini,
Lecture Notes in Computer Science vol. 2222, Springer-Verlag, pp. 85—102, 2002.

MAGEE, Professor J N

S. Uchitel, J. Kramer and J. Magee.
Negative Scenarios for Implied Scenario Elicitation
10th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'02),
Nov 18-19, 2002, Charleston, SC, USA.

S. Uchitel, J. Kramer and J. Magee.
Implied Scenarios Detection in the Presence of Behaviour Constraints
In proceedings of the ETAPS 2002
Satellite Workshop on Validation and Implementation of Scenario-Based Specifications (VISS),
Grenoble, April 2002.

I. Georgiadis, J. Magee, and J. Kramer,
Self-Organising Software Architectures for Distributed Systems
ACM workshop on Self-healing systems (WOSS '02), Nov 18-19, 2002,
Charleston, SC, USA.

MAROS, Dr I

Maros, I. and Khaliq, M.H.
Advances in Design and Implementation of Optimization Software
European Journal of Operational Research, vol. 140, 2002, pp. 322-337

Gulpinar, N., Mitra, G. and Maros, I.
Creating Advanced Bases For Linear Programs Exploiting Embedded Network Structure
Computational Optimization and Applications, vol 21, 2002, pp. 71-93.

Maros, I.
An enhanced piecewise linear dual phase-1 algorithm for the simplex method
DoC Departmental Technical Reports 2002/15, 2002.

McBRIEN, Dr P

M. Boyd, P.J. McBrien and N. Tong
The AutoMed Schema Integration Repository
In Proceedings of BNCOD02, Springer Verlag LNCS,
Volume 2405, Pages 42-45, 2002

P.J. McBrien and A. Poulovassilis
Schema Evolution in Heterogeneous Database Architectures, A Schema Transformation Approach
In Proceedings of CAiSE02, Springer Verlag LNCS,
Volume 2348, Pages 484-499, 2002

McCANN, Dr J A

P. Kostkova, McCann J.A.
'Support for Mobile Location-aware Applications in MAGNET'
2nd Annual International Workshop on Web Databases,
Springer-Verlag Lecture Notes in Computer Science (LNCS),
Thuringia, Germany, October 2002

McCann J .A.
'Adaptivity for Improving Web Streaming Application Performance'
chapter in Adaptive Evolutionary Information Systems. ed. N. V. Patel,  2002. pp 172-191

P. Kostkova, McCann J .A.
'Support for Dynamic Trading and Runtime Adaptability in Mobile Environments'
chapter in Adaptive Evolutionary Information Systems. ed. N. V. Patel,  2002.pp 229-260

MENCER, Dr O

Altaf A. Gaffar, Oskar Mencer, Wayne Luk, Peter Y.K. Cheung, Nabeel Shirazi
Floating Point Bitwidth Analysis via Automatic Differentiation, Field Programmable Technology (FPT)
Hong Kong, Dec. 2002,

Wayne Luk, Tom Kean, Arran Derbyshire, Jorn Gause, Steve McKeever, Oskar Mencer, Allen Yeow
Parameterized Hardware Libraries for Configurable System-On-Chip Technology
Can. J. Elect. & Comp. Eng., Vol 26, No. 3/4, July/Oct 2002.

Oskar Mencer, Zhining Huang, Lorenz Huelsbergen
HAGAR: Multi-Context Hardware Graph Accelerators, Field-Programmable Logic (FPL)
Montpellier, France, September 2002.

Oskar Mencer
PAM-Blox II: Design and Evaluation of C++ Module Generation for Computing with FPGAs
IEEE Symp. on Field-Programmable Custom Computing Machines (FCCM),
Napa, California, April 2002.

NEWHOUSE, Dr S

N Furmento, A Mayer, S McGough, S Newhouse, T Field and J. Darlington.
"Optimisation of Component Applications within a Grid Environment"
Parallel Computing, 28(12) 1753--1772, 2002.  

N Furmento, W Lee, A Mayer, S Newhouse and J. Darlington
"An Open Grid Service Architecture Implemented with Jini"
SuperComputing 2002, Baltimore, USA, Nov. 2002.

A Mayer, S McGough, M Gulamali, L Young,  J Stanton, S Newhouse and J Darlington
"Meaning and Behaviour in Grid Oriented Components"
3rd International Workshop on Grid Computing 2002,
volume 2536 Lecture Notes in Computer Science, Baltimore, USA, Nov. 2002.

J Stanton, S Newhouse and J Darlington
"Implementing a Scientific Visualisation Capability Within a Grid Enabled Component Framework"
8th International Euro-Par Conference,
volume 2400, Lecture Notes in Computer Science, Paderborn, Germany, Aug. 2002.

S Newhouse, A Mayer, N Furmento, S McGough, J Stanton and J. Darlington.
"Laying the Foundations for the Semantic Grid"
AISB'02 Symposium AI and GRID Computing, Apr. 2002. ISBN 1 902956 24 8.

PHILLIPS, Dr I C C

Irek Ulidowski and Iain Phillips
Ordered SOS Process Languages for Branching and Eager Bisimulations
Information and Computation, Vol. 178, No. 1, Oct 2002, pp. 180-213.

Maria Grazia Vigliotti and Iain Phillips
Barbs and Congruences for Safe Mobile Ambients
Proceedings of F-WAN: Workshop on Foundations of Wide-area Network Computing, Malaga, July 2002.
ENTCS, Volume 66, Issue 3, September 2002.

Iain Phillips and Maria Grazia Vigliotti.
On Reduction Semantics for the Push and Pull Ambient Calculus
Proceedings of IFIP International Conference on Theoretical Computer Science (TCS 2002),
IFIP 17th World Computer Congress,
August 2002, Montreal. Kluwer, 2002

RUECKERT, Dr D

C. R. Maurer Jr., T. Rohlfing, D. Dean, J. B. West, D. Rueckert, K. Mori, R. Shaidi, D. P. Martin, M. P. Heilbrun, and R. J. Maciunas.
Sources of error in image registration for cranial imageguided neurosurgery
In I. M. Germano, editor, Advanced Techniques in Image-Guided Brain and Spine Surgery, pages 10-36. Thieme, 2002.

A. F. Frangi, D. Rueckert, J. A. Schnabel, and W. J. Niessen
Automatic construction of multipleobject three-dimensional statistical shape models: Application to cardiac modeling
IEEE Transactions on Medical Imaging, 21(9), 2002. In press.

A. Rao, G. I. Sanchez-Ortiz, M. Lorenzo-Valdes R. Chandrashekara, R. Mohiaddin, and D. Rueckert
Comparison of cardiac motion across subjects using non-rigid registration
In Fifth Int. Conf. on Medical Image Computing and Computer-Assisted Intervention (MICCAI 02),
Lecture Notes in Computer Science, pages 722-729. Springer-Verlag, 2002.

M. Lorenzo-Valdes, G. I. Sanchez-Ortiz, R. Mohiaddin, and D. Rueckert.
Atlas-based segmentation and tracking of 3D cardiac MR images using non-rigid registration
In Fifth Int. Conf. on Medical Image Computing and Computer-Assisted Intervention (MICCAI 02),
Lecture Notes in Computer Science, pages 642-650. Springer-Verlag, 2002.

D. L. G. Hill, J. V. Hajnal, D. Rueckert, S. M. Smith, T. Hartkens, and K. McLeish
A dynamic brain atlas
In Fifth Int. Conf. on Medical Image Computing and Computer-Assisted Intervention (MICCAI 02),
Lecture Notes in Computer Science, pages 532-539. Springer-Verlag, 2002.

M. Lorenzo-Valdes, G. I. Sanchez-Ortiz, R. Mohiaddin, and D. Rueckert.
Atlas-based segmentation of 4D cardiac MR sequences using non-rigid registration
In Proc. of Medical Image Understanding and Analysis 02, pages 189-192, 2002.

R. Chandrashekara, R. Mohiaddin, and D. Rueckert
Analysis of myocardial motion in tagged MR images using non-rigid image registration
In Proc. of Medical Image Understanding and Analysis 02, pages 1-4, 2002.

J. Jiang,W. Luk, and D. Rueckert
Parameterising reconfigurable designs for image warping
In Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications,
Proc. SPIE, volume 4867, 2002.

D. Rueckert, G. I. Sanchez-Ortiz M. Lorenzo-Valdes, R. Chandrashekara, and R. Mohiaddin
Non-rigid registration of cardiac MR: Application to motion modelling and atlas-based segmentation
In IEEE International Symposium on Biomedical Imaging, pages 481-484, 2002.

D. Rueckert, A. F. Frangi, and J. A. Schnabel
Automatic construction of 3D statistical deformation models: Application to patients with schizophrenia
In Proc. Workshop on Bildverarbeitung fuer die Medizin, Informatik Aktuell, pages 291-294,
Leipzig, Germany, March 2002. Springer- Verlag.

T. Hartkens, D. Rueckert, J. A. Schnabel, D. J. Hawkes, and D. L. G. Hill
VTK-CISG registration toolkit:
An open source software package for affine and non-rigid registration of singleand multimodal 3D images
In Proc. Workshop on Bildverarbeitung fuer die Medizin, Informatik Aktuell, pages 409-412,
Leipzig, Germany, March 2002. Springer-Verlag.

D. Rueckert and C. R. Maurer Jr.
Automated camera calibration for image-guided surgery using intensity-based registration
In Proc. SPIE Medical Imaging 2002: Visualization, Image-Guided Procedures, and Display, pages 463-471,
San Diego, CA, February 2002.

R. Chandrashekara, R. H. Mohiaddin, and D. Rueckert
Analysis of myocardial motion in tagged MR images using non-rigid image registration
In Proc. SPIE Medical Imaging 2002: Image Processing, pages 1168-1179,
San Diego, CA, February 2002.

RUEGER, Dr S

M J Pickering, S M Rüger and D Sinclair
Video Retrieval by Feature Learning in Key Frames
Proceedings of Challenges of Image and Video Retrieval 2002 (CVIR, London, Jul 2002),
LNCS 2383, pp 309-317, Springer-Verlag, 2002

S Doraisamy and S M Rüger
A comparative and fault-tolerance study of the use of n-grams with polyphonic music
Proceedings of the 3rd International Conference on Music Information Retrieval
(ISMIR, Paris, 13-17 Oct 2002), pp 101-106, 2002

P Lal and S M Rüger
Extract-based Summarization with Simplification
Proceedings of the Workshop on Text Summarization (DUC 2002), pp 90-96

D Heesch and S M Rüger
Combining Features for Content-Based Sketch Retrieval - A Comparative Evaluation of Retrieval Performance
Proceedings of the 24th European Colloquium on Information Retrieval Research (ECIR,
Glasgow, 25-27 Mar 2002), LNCS 2291, pp 41-52, Springer-Verlag, 2002

M J Pickering and S M Rüger
Multi-timescale video shot-change detection
Proceedings of TREC-10, NIST (Gaithersburg, MD, 13 - 16 Nov 2001),
NIST Special Publication 500-250, pp 275-278, 2002

J Gevrey and S M Rüger
Link-based approaches for text retrieval
Proceedings of TREC-10, NIST (Gaithersburg, MD, 13 - 16 Nov 2001),
NIST Special Publication 500-250, pp 279-285, 2002

RUSSO, Dr A

Broda, K., Gabbay D., Lamb L. and Russo, A.
"Labelled Natural Deduction for Conditional Logic of Normality"
Logic Journal of the IGPL, Vol. 10(2) March 2002, 123-163, Oxford University Press.

A., Russo, R. Miller, A., Nuseibeh, B. and Kramer, J.
“An abductive approach for analysing event-based requirements specifications”
International Conference on Logic Programming
Copenhagen,Denmark, July 29th - August 1st, 2002
(Best Applications Paper Award).

RUSTEM, Professor B

B. Rustem, V. Wieland and S. Zakovic
"A continuous minimax problem and its application to inflation targeting''
In G. Zaccour (ed.) Decision and Control in Management Science, Essays in Honor of Alan Haurie,
Kluwer Academic Publishers, Dordrecht, 2002, p. 201-221.

S. Asprey, B. Rustem and S. Zakovic
"Minimax Algorithms with Applications in Finance and Engineering''
in R. Neck (ed.) Modeling and Control of Economic Systems,
North Holland, Amsterdam, 2002.

Gulpinar, N., B.Rustem, R.Settergren
"Multistage Stochastic Programming in Computational Finance''
In  Computational Methods in Decision Making, Economics and Finance:  Optimization Models,
Ed. E.J. Kontoghiorghes, B. Rustem, S. Siokos,
Kluwer Academic Publishers, Dordrecht, 2002, p.33--45.

Osorio, M.A., R. Settergren, B. Rustem, N. Gulpinar
"Post Tax Optimal Investments''
Financial Engineering, E-Commerce and Supply Chain,
Ed. P.M. Pardalos, V.K. Tsitsiringos,
Kluwer Academic Publishers, Dordrecht, 2002, p. 153--173.

B.Rustem, R.Settergren
"Robost Portfolio Analysis''
In Computational Methods in Decision Making, Economics and Finance: Optimization Models,
Ed. E.J. Kontoghiorghes, B. Rustem, S. Siokos,
Kluwer Academic Publishers, Dordrecht, 2002, p.77--88.

B. Rustem, M. Howe
"Algorithms for Worst-Case Design and Applications to Risk Management"
Princeton University Press,
Princeton, NJ, 2002.

E. Kontoghiorghes, B. Rustem, S. Siokos (Editors)
"Computational Methods in Decision-Making, Economics & Finance"
Kluwer Academic Publishers,
Dordrecht, 2002.

SADRI, Dr F

Co-editor of a book Computational Logic, Logic Programming and Beyond
Springer Verlag Lecture Notes in Artificial Intelligence, Vol 2407, 2002

Co-editor of a book Computational Logic, Logic Programming and Beyond
Springer Verlag Lecture Notes in Artificial Intelligence, Vol 2408, 2002

F. Sadri, F. Toni, P. Torroni
Resource reallocation via negotiation through abductive logic programming
Proc. JELIA 2002, Springer Verlag LNAI 2424, pp 419-431

P. Torroni,  P. Mello, . Maudet, M. Alberti, A. Ciampolini, E. Lamma, F. Sadri, F. Toni
A logic-based approach to modelling interaction among computees
Proceedings of UKMAS, 2002

F. Sadri, F. Toni, P. Torroni
A multi-stage negotiation architecture for sharing resources amongst logic-based agents
Proceedings of UKMAS, 2002

U. Endriss, N. Maudet, F. Sadri, F. Toni
Conditions for optimal outcomes of negotiations over resources
Proceedings of UKMAS, 2002

U. Endriss, N. Maudet, F. Sadri, F. Toni
Communication protocols for logic-based agents
Proceedings of UKMAS, 2002

F. Sadri, F. Toni, P. Torroni
An abductive logic programming approach for negotiation and communication in multi-agent systems
Technical Report, 2002

Co-editor of the area of logic-based agents of the Newsletter of the Association of Logic Programming, 2002

SERGOT, Professor M J

A.Artikis, J.Pitt, and M.J. Sergot
Animated specifications of computational societies
In Cristiano Castelfranchi and W. Lewis Johnson, editors,
Proceedings 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'02),
Bologna, July 2002 , pages 1053--1062. ACM Press, 2002.

A. Artikis, M.J. Sergot, and J. Pitt
Specifying electronic societies with the Causal Calculator
In Fausto Giunchiglia, James Odell, and Gerhard Weiss, editors, Agent-Oriented Software Engineering III.
Proceedings 3rd International Workshop (AOSE 2002),
Bologna, July 2002 , LNCS 2585, pages 1--15.Springer, 2003.

A.K. Daskalopulu and M.J. Sergot
Computational aspects of the FLBC framework
Decision Support Systems , 33(3):267--290, July 2002.

A. Lomuscio, F. Raimondi, and M. J. Sergot
Towards model checking interpreted systems
In Proceedings International Workshop on Model Checking and Artificial Intelligence (MoChArt'02).
Lyon, August 2002 , 2002.

A. Lomuscio and M. J. Sergot
On multi-agent systems specification via deontic logic
In J-J. Ch. Meyer and M. Tambe, editors, Intelligent Agents VIII:
Proceedings 8th International Workshop, Seattle, July 2001 (ATAL 2001) ,
LNCS 2333, pages 86--99. Springer Verlag, 2002.

A. Lomuscio and M.J. Sergot
The bit transmission problem revisited
In Cristiano Castelfranchi and W. Lewis Johnson, editors,
Proceedings 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'02),
Bologna, July 2002 , pages 946--947. ACM Press, 2002.

A. Lomuscio and M.J. Sergot
Violation, error recovery, and enforcement in the bit transmission problem
In J. Horty and A.J.I. Jones, editors,
Proceedings 6th International Workshop on Deontic Logic in Computer Science (DEON'02),
London, May 2002 , pages 181--201, 2002.

M. J. Sergot.
Bob Kowalski: A Portrait
In A. Kakas and F. Sadri, editors, Computational Logic: Logic Programming and Beyond.
Essays in Honour of Robert A. Kowalski.
Part I , LNAI 2407, pages 5--25. Springer, 2002.

B. Sadighi Firozabadi and M.J. Sergot
Contractual access control
In Security Protocols. 10th International Workshop,
Cambridge, April 2002 , pages 134--145. Springer. To appear.

B. Sadighi Firozabadi and M.J. Sergot
Revocation schemes for delegated authorities
In Proceedings 3rd Int. Workshop on Policies for Distributed Systems and Networks (POLICY 2002) .
IEEE Press, 2002.

B. Sadighi Firozabadi, M.J. Sergot, and O. Bandemann
Using authority certificates to create management structures
In Bruce Christianson, Bruno Crispo, James A. Malcolm, and Michael Roe, editors, Security Protocols.
9th International Workshop, Cambridge, April 2001 ,
LNCS 2467, pages 134--145. Springer, 2002.

A.S. Witherden, M. Hafezparast, S.J. Nichoson, A. Ahmas-Annuar, N. Bermingham, D. Arac, J. Rankin, M. Iravani, H. Hummerich, S. Ball, J. Peters, J.E.Martin, D. Huntley, M.J. Sergot, and E.M.C. Fisher.
An Integrated Genetic, Radiation Hybrid, Physical and Transcription map of a Region of Distal Mouse Chromosome 12, including an Imprinted Locus and the 'Legs at odd angles' ( Loa) Mutation
Gene, 283(1-2):71-82, 2002.

SLOMAN, Professor M S

Sloman M., E. Lupu
Security and Management Policy Specification
IEEE Network Special Issue on Policy,16:2, 
March 2002, pp.10-19. 

Damianou N., N.  Dulay, E. Lupu, M. Sloman, T. Tonouchi
Tools for Domain-based Policy Management of Distributed Systems
IEEE/IFIP Network Operations and Management Symposium (NOMS2002),
Florence, Italy, 15-19 April, 2002

Lymberopoulos L., E. Lupu and M. Sloman
An Adaptive Policy Based Management Framework for Differentiated Services Networks
Proc. 3rd IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2002),
Monterey, California, June 2002, pp147-158

Grandison T, Sloman M
Specifying and Analysing Trust for Internet Applications
Proc IFIP - 2nd International Conference on e-commerce, e-business and e-government,
Lisbon, Oct 2002

Krishnakumar K. T., Sloman M.
Constraint Based Network Adaptation (Extended abstract & Poster)
IWAN 2002, Dec. 2002, ETH Zürich, Switzerland.

Lee T., Yusuf S., Luk W., Sloman M, Lupu E., Dulay N.
Compiling Policy Descriptions into Reconfigurable Firelwall Processors
IEEE Conf. On Field Programmable Technology, (FPT 02),
Hong Kong, Dec 2002

TONI, Dr F

Y. Dimopoulos, B. Nebel, F. Toni
On the computational complexity of assumption-based argumentation for default reasoning
Artificial Intelligence, 141, pp 57-78, October 2002.

P.M. Dung, P. Mancarella, F. Toni
Argumentation-based proof procedures for credulous and sceptical non-monotonic reasoning
Computational Logic: Logic Programming and Beyond - Essays in Honour of Robert A. Kowalski,
Springer Verlag LNAI 2408, 289-310, 2002

F. Toni, K. Stathis
Access-as-you-need: a computational logic framework for flexible resource access in artificial societies
Proc. ESAW 2002, to appear as Springer Verlag LNAI

P. Torroni,  P. Mello, . Maudet, M. Alberti, A. Ciampolini, E. Lamma, F. Sadri, F. Toni
A logic-based approach to modelling interaction among computees (Preliminary Report)
Proceedings of UKMAS, 2002

F. Sadri, F. Toni, P. Torroni
Resource reallocation via negotiation through abductive logic programming
Proc. JELIA 2002, Springer Verlag LNAI 2424, pp 419-431

F. Sadri, F. Toni, P. Torroni
A multi-stage negotiation architecture for sharing resources amongst logic-based agents (extended abstract / poster)
Proceedings of UKMAS, 2002

U. Endriss, N. Maudet, F. Sadri, F. Toni
Conditions for optimal outcomes of negotiations over resources
Proceedings of UKMAS, 2002

U. Endriss, N. Maudet, F. Sadri, F. Toni
Communication protocols for logic-based agents (poster)
Proceedings of UKMAS, 2002

VAN BAKEL, Dr S

S. van Bakel, F. Barbanera, M. Dezani-Ciancaglini, and F.J. de Vries
Intersection Types for lambda-Trees
Theoretical Computer Science, 272 (Theories of Types and Proofs 1997):3-40, 2002.

C. Braghin, A. Cortesi, R. Focardi, and S. van Bakel
Boundary Inference for Enforcing Security Policies in Mobile Ambients
Proceedings of 2nd IFIP International Conference on Theoretical Computer Science (TCS'02),
Montreal, Canada, pages 383-395, 2002.

S. van Bakel, M. Dezani-Ciancaglini
Characterising Strong Normalisation for Explicit Substitutions
Proceedings of LATIN'02,
Volume 2286, Lecture Notes in Computer Science, pages 356-370, Springer-Verlag, 2002.

S. van Bakel
Rank 2 Type Assignment for Applicative Term Graph Rewriting (Extended Abstract)
Workshop Types in Programming (TIP'02), Dagstuhl, Germany, July 2002,
ENTCS, volume 75.

S. van Bakel
Strongly Normalising Cut-Elimination with Strict Intersection Types
2nd International Workshop on Intersection Types and Related Systems (ITRS'02), Copenhagen, Denmark, July 2002,
ENTCS, volume 70.1.

WIKLICKY, Dr H

Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky
Analysing approximative confinement under uniform attacks
In M.V. Hermenegildo and G. Puebla, editors, SAS'02 - 9^th International Static Analysis Symposium,
number 2477 in Lecture Notes in Computer Science, pages 310-325,
Berlin - Heidelberg - New York, 2002. Springer Verlag.

Antonio Brogi, Alessandra Di Pierro, and Herbert Wiklicky
Linear embedding for a quantitative comparison of language expressiveness
In A. Di Pierro and H. Wiklicky, editors,
QAPL'01 - ACM Workshop on Quantitative Aspects of Programming Languages,
volume 59:3 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002.

Alessandra Di Pierro and Herbert Wiklicky
Probabilistic abstract interpretation and statistical testing
In PAPM/PROBMIV'02 - 2nd Joint International Workshop on Process Algebra and Performance Modelling
and Probabilistic Methods in Verification,
number 2399 in Lecture Notes in Computer Science,
Berlin - Heidelberg - New York, 2002. Springer Verlag.

Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky
Approximate non-interference
In I. Cervesato, editor, CSFW'02 - 15th IEEE Computer Security Foundation Workshop,
pages 3-17. IEEE, June 2002.

Thom Frühwirth, Alessandra Di Pierro, and Herbert Wiklicky
An implementation of probabilistic constraint handling rules
In M. Falaschi, editor, Pre-Proceedings of WFLP'02 -
11th International Workshop on Functional and (Constraint) Logic Programming, Grado, Italy, June 2002.
Dipartimento di Matematica e Informatica, University of Udine.

Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky
On approximate non-interference
In J. Guttman, editor, Proceedings of WITS'02 - Workshop on Issues in the Theory of Security.
IFIP WG 1.7 on Theoretical Foundations of Security Analysis and Design, 2002.

YANG, Professor G Z

Sørensen M B, Collins P, Ong P J L, Webb C M, Hayward C S, Asbury E A, Gatehouse P D,  Elkington A G, Yang G Z, Kubba A, Pennell DJ.
Long-term use of contraceptive depot medroxyprogesterone acetate in young women impairs arterial endothelial function assessed by cardiovascular magnetic resonance.
Circulation, 2002 Sep 24;106(13):1646-51.

S Masood, JX Gao, GZ Yang
Virtual Tagging: numerical considerations and phantom validation
IEEE Transactions on Medical Imaging, 2002 Sep;21(9):1123-31. L.

Dempere-Marco, X-P. Hu, S. L. S. MacDonald, S. M. Ellis, D. M. Hansell and G-Z. Yang
The Use of Visual Search for Knowledge Gathering in Image Decision Support
IEEE Transactions on Medical Imaging, 2002 Jul;21(7):741-54.

Mohiaddin RH, Gatehouse D, Moon JC, Youssuffidin M, Yang GZ, Firmin DN, Pennell DJ.
Assessment of reactive hyperaemia using real time zonal echo-planar flow imaging
J Cardiovasc Magn Reson. 2002;4(2):283-7.

Panting JR, Gatehouse PD, Yang GZ, Grothues F, Firmin DN, Collins PD, Pennell DJ.
Abnormal subendocardial perfusion in cardiac syndrome-X detected by cardiovascular magnetic resonance.
New Engl J Med 2002;346: 1948-53.

Mohiaddin RH, Gatehouse PD, Moon JCC, Youssuffidin M, Yang GZ, Firmin DN, Pennell DJ.
Assessment of reactive hyperaemia using real time zonal echo-planar flow imaging.
J Cardiovasc Magn Reson 2002; 4: 283-7.

Yang GZ, Dempere-Marco L, Hu XP, Rowe A.
Visual Search: Psychophysical Models and Practical Applications
Image and Vision Computing, 20, pp. 291-305, 2002.

Yang GZ, Myerson S, Chabat F, Pennell D, Firmin DN.
Automatic MRI Adipose Tissue Mapping Using Overlapping Mosaics
MAGMA, 2002 Mar;14(1):39-44.

Keegan J, Gatehouse PD, Yang GZ, Firmin DN.
Coronary artery motion with the respiratory cycle during breath-holding and free-breathing:
implications for slice-followed coronary artery imaging
Magn Reson Med, 2002, Mar;47(3):476-81.

Kilner PJ, Yang GZ, Firmin DN.
Morphodynamics of flow through sinuous curvatures of the heart
Biorheology,2002;39(3-4):409-17.

N Ablitt, J Gao, P Gatehouse, GZ Yang
Motion Decoupling and Registration for 3D Magnetic Resonance Myocardial Perfusion Imaging
ICCS Amsterdam April 21-24 2002. Lo BPL

Yang GZ
Neuro-Fuzzy Shadow Filter
European Conference on Computer Vision (ECCV) 2002, Part III pp. 381-392, May 2002.

R Merrifield, GZ Yang 
Multi-Spectral Cardiac MRI with Generalized Series Reconstruction For Reduced k-Space Encoding
MIUA, July 2002.

P Horkaew, C O'Sullivan, W Li, M Henein, GZ Yang
Assessment of Mitral Valve Dynamic with 3D Echocardiography
MIUA, 2002.

P Horkaew, G Melina, MB Rubens, MH Yacoub, GZ Yang
Serial Assessment of Postoperative Valve Calcification
MIUA 2002.

M. Ellis, X-P. Hu, L. Dempere-Marco, G-Z. Yang, D. M. Hansell
How do radiologists assimilate HRCT images: an assessment based on eye movements
The Fleischner Society and The European Society of Thoracic Imaging Conference 2002.

S. M. Ellis, X-P. Hu, L. Dempere-Marco, G-Z. Yang, D. M. Hansell
Viewing efficiency of soft-copy reading of high-resolution CT of the lungs
European Radiology, 2002;12:suppl 1, p133.

S. N Ablitt, J Gao, P Gatehouse, D Firmin, D Pennel, G.Z. Yang
Adaptive Free-Form Registration For First Pass MR Myocardial Perfusion Imaging
Society for Cadiovascular Magnetic Resonance 5th Annual Scientific Meeting in Florida. 
Journal of Cardiovascular Magnetic Resonance 4 (1), pp127, 2002.

N.A. Ablitt, J.X. Gao, A.G. Elkington, D.J. Pennell, G.Z. Yang
Predictive registration for myocardial perfusion imaging
Euro CMR 2002, June 21-22 Basel Switzerland.

S Masood, PD Gatehouse, DN Firmin, GZ Yang
The Effect of Respiratory Motion on the Accuracy of HARP Imaging
ISMRM 10th Annual Scientific Meeting, May 2002.

Crowe, LA, Gatehouse PD, Charrier C, Yang GZ, Firmin DN.
A Volume-Selective 3D Turbo Spin Echo Sequence for Vessel Wall Imaging and Compliance Measurement
ISMRM 10th Annual Scientific Meeting, May 2002.

N.A. Ablitt, P.D. Gatehouse, J.X. Gao, D.N. Firmin, G.Z. Yang
Cardiac Motion Tracking for 3D Myocardial Perfusion Imaging
International Society for Magnetic Resonance in Medicine Meeting in Hawaii, May 2002

JX Gao, NA Ablitt, GZ Yang
Self-Adaptive Free-form Registration for First Pass Myocardial Perfusion Imaging with PLSR
International Society for Magnetic Resonance in Medicine Meeting in Hawaii, May 2002.

R. Merrifield, J. Keegan, D. Firmin, G.Z.Yang
A Comparison of Reduced k-Space Encoding Schemes For Dual Contrast TrueFISP Imaging
International Society for Magnetic Resonance in Medicine Meeting in Hawaii, May 2002.

R. Merrifield,  D. Pennell, G. Z. Yang
Interactive Cardiac Modelling for Ventricular Volume and Mass Measurement
Society for Cadiovascular Magnetic Resonance 5th Annual Scientific Meeting in Florida.
Journal of Cardiovascular Magnetic Resonance 4 (1), pp127, 2002.

P Horkaew, R. Merrifield, J Keegan, D Firmin, GZ Yang
Watershed Segmentation for Dual RF Flip Angle TrueFISP Images
SCMR, 5th Annual Scientific Sessions, Florida, USA, Jan, 2002.

YOSHIDA, Dr N

Nobuko Yoshida and Matthew Hennessy
"Assigning Types to Processes''
Journal of Information and Computation,
Volume 174, Issue 2, Pages 143-179, Academic Press, 2002.

Nobuko Yoshida
"Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators''
Journal of Theoretical Computer Science, Theoretical Computer Science,
Volume 274, Issue 1, Page 231--276, 2002, North Holland.

Kohei Honda and Nobuko Yoshida
"A Uniform Type Structure for Secure Information Flow''
POPL'02 Conference Record of the 29st Annual Symposium on Principles of Programming Languages,
pp.81--92, ACM SIGACT-SIGPLAN, ACM Press, 2002.

Nobuko Yoshida, Kohei Honda and Martin Berger.
"Linearity and Bisimulation''
Proc. FoSSaCs'02, the 5th International Conference, Foundations of Software Science and Computation Structures,
held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002,
Lecture Notes in Computer Science 2303, pp.417--433, Springer-Verlag, France, 2002. 

Jose Luis Vivas and Nobuko Yoshida
"Dynamic Channel Screening in the Higher Order Pi-Calculus''
Proceeding of FWAN'02, Foundations of Wide Area Network Computing,
Electronic Notes in Theoretical Computer Science, Elsevier Science, September, 2002.

Nobuko Yoshida
"Type-Based Liveness Guarantee in the Presence of Nontermination and Nondeterminism''
April, 2002. MCS Report 20/2002, MCS, University of Leicester, 2002.

Jose Luis Vivas and Nobuko Yoshida
"Dynamic Channel Screening in the Higher Order Pi-Calculus" (full version)
MCS Technical Report 22/2002, July 2002.

Kohei Honda and Nobuko Yoshida
"A Uniform Type Structure for Secure Information Flow''
DoC Technical Report 2002/13, Department of Computing, Imperial College of Science, Technology and Medicine, September, 2002. 73 pages. 

Kohei Honda and Nobuko Yoshida
"Non-interference Proofs through Information Flow Analysis''
DoC Technical Report 2002/14, Department of Computing, Imperial College of Science, Technology and Medicine, September, 2002. 12 pages.