2000

BRODA, Dr K

K. Broda and D. Gabbay
“Labelled Abduction (I): Compiled Labelled Abductive Systems”
in Labelled Deduction, Eds. M. D'Agostino, D. Basin, D. Gabbay, L. Vigano, Kluwer, 2000

K. Broda, A. Russo and D. Gabbay
“A Unified Compilation Style Natural Deduction System for Modal, Substructural and Fuzzy Logics”
in Discovering World with Fuzzy Logic: Perspectives and Approaches to Formalization of Human-consistent Logical Systems, Eds. V. Novak and I. Perfileva, Springer-Verlag, (December 2000)

K. Broda , C. Hogger and S. Watson
“Constructing Teleo-reactive Programs”
in Proc. ECAI-2000 Berlin, Ed. W. Horn, 2000

CLARK, Professor K L

T. Hong, K. L. Clark
“Using grammatical inference to automate information extraction from the web”
Proceedings of Second International Conference on Intelligent Data Engineering and Automated Learning, Hong Kong, to be published as vol. in Springer-Verlag LNCS, Dec. 2000.

CUNNINGHAM, Mr R J

Jim Cunningham and Dov Gabbay, eds
Proceedings FAPR2000
International Conference on Formal and Applied Practical Reasoning, Imperial College London, September 2000, ISSN 1469-4166

J. Cunningham, JJ Meyer, eds
Proceedings of the FAPR2000
Agentlink Workshop on Practical Reasoning Agents, Imperial College London, September 2000, ISSN 1469-4166

Jim Cunningham
"Towards an Axiomatic Theory of Consciousness"
Proceedings FAPR2000, International Conference of Formal and Applied Practical Reasoning, Imperial College London, September 2000, (Eds Jim Cunningham , Dov Gabbay) ISSN 1469-4166

S. Paurobally and J. Cunningham
"Negotiating Agents Searching for Successful Paths on a Layered Framework"
Proceedings of the FAPR2000 Agentlink Workshop on Practical Reasoning Agents (Eds J Cunningham, JJ Meyer), ISSN 1469-4166

DARLINGTON, Professor J

F. Bunnin , J Darlington, Y Guo and Y. Ren
“Parallel Pseudospectral Solution of Financial PDES”
Journal of Parallel Algorithms and Applications, Vol.15, 3-13, 2000.

F Bunnin, J Darlington,Y Guo, Y Ren
“Design of High Performance Financial Modelling Environment”
Journal of Parallel Computing, Special issue on Economics, Finance and Decision-Making, Vol 26, No 5: 601-622, 2000

J. Darlington, C.C. Pantelides, B. Rustem and B.A. Tanyi
“An efficient approximate algorithm for optimal decisions under uncertainty"
European Journal of Operations Research, V. 121, 343-362, (2000).

S Newhouse, A Mayer and J Darlington,
“A Software Architecture for HPC Grid Applications”
Proc. International Euro-Par Conference, pp686-689, Springer, 2000

DROSSOPOULOU, Dr S

Drossopoulou, S.
"Towards an abstract model of Java dynamic linking and verification"
in "ACM Sigplan Workshop on Types in Compilation”, Montreal, September 2000.

Ancona, D., Zucca, E., Drossopoulou, S.
"Overloading and Inheritance in Java"
in "2nd ECOOP Workshop on Formal techniques for Java Programs, ECOOP’00, Cannes, June 2000

DULAY, Dr N

Lupu E, Sloman M, Dulay N, Damianou N
“Ponder: Realising Enterprise Viewpoint Concepts”
4th International Conference Enterprise Distributed Object Computing Conference (EDOC 2000), Makuhari, Japan. September 2000.

Damianou N, Dulay N, Lupu E, Sloman M
“Managing Security in Object-Based Systems Using Ponder”
6th EUNICE Open European Summer School, Enschede, The Netherlands, September 2000.

Dulay N, Lupu E, Sloman M, Damianou N
“Towards a Runtime Object Model for the Ponder Policy Language”
7th Workshop of the Open View University Association (OVUA 2000), Santorini, Greece, June 2000.

Kramer J, Magee J, Ng K, Dulay N
“Software Architecture Description”
Chapter 2 of 'Software Architecture for Product Families: Principles and Practice', Jazayeri, Ran, and van der Linden (Ed.), Addison Wesley, 2000.

Damianou N, Dulay N, Lupu E, Sloman M
“Ponder: A Language for Specifying Security and Management Policies for Distributed Systems”
Version 2.2, Imperial College Research Report DoC 2000/1, July 2000

FIELD, Dr A J

Cheadle, A.M., Field, A.J., Marlow S., Peyton-Jones, S. and While, R.L.
"Non-stop Haskell"
Proc. Int. Conf. on Functional Programming, Montreal, September 2000, pp. 257-267.

GARDNER, Dr P

Phillipa Gardner and Lucian Wischik
“Explicit Fusions”
MFPS 2000.

Phillipa Gardner
“From Process Calculi to Process Frameworks”
invited submission, Concur 2000.

GILLIES, Dr D F

Kim J and Gillies D F
"Automated morphological classification of Neural Cells growing in culture"
Proceedings of the Fifth Joint Conference on Information Sciences Atlantic City February 2000, Volume II: P P Wang (ed) p358-361, Published by the association for intelligent machinery, ISBN 0-9643456-9-2

GUO, Dr Y

Bunnin F, Guo Y, Ren Y
“Option pricing under model and parameter uncertainty using predictive densities”
Journal of Statistics and Computing 2000

Bunnin F, Darlington J, Guo Y, Ren Y
“Parallel Pseudospectral Solution of Financial PDES”
Journal of Parallel Algorithms and Applications, Vol.15, 3-13, 2000.

Bunnin F, Darlington J, Guo Y, Ren Y
“Design of High Performance Financial Modelling Environment”
Journal of Parallel Computing, Special issue on Economics, Finance and Decision-Making, 2000.

Guo Y, Wendel P
“Developing A Distributed Scalable Enterprise JavaBean Server”
Proceedings of HPCN 2000 (3rd Best Paper Award)

HANKIN, Professor C L

D. Clark, C. Hankin and S. Hunt
“Safety of Strictness Analysis via Term Graph Rewriting”
Proceedings of SAS 2000, Springer Verlag LNCS 1824.

C. Hankin
“Coordination Languages”
Encyclopedia of Computer Science, pp 462-465, Nature Publishing Group, 2000.

A.Di Pierro, C. Hankin and H. Wiklicky
“Probabilistic Security Analysis in a Declarative Framework”
Proceedings IFIP Workshop on Issues in the Theory of Security, 2000.
http://www.dsi.unive.it/IFIPWG1_7/wits2000.html

D. Clark, C. Hankin, S. Hunt and R. Nagarajan
“Possibilistic Information Flow is safe for Probabilistic Non-interference”
Proceedings IFIP Workshop on Issues in the Theory of Security, 2000.
http://www.dsi.unive.it/IFIPWG1_7/wits2000.html

A.Di Pierro, C. Hankin and H. Wiklicky
“Probabilistic Confinement in a Declarative Framework”
Proceedings of the GULP-PRODE Joint Conference on Declarative Programming, December 2000

HARRISON, Professor P

Peter G Harrison and Ben Strulo
“SPADES - a Process Algebra for Discrete Event Simulation”
J. Logic Computat, 10, 1, pp3-42, 2000

P.G. Harrison
“Teaching M/G/1 theory with extension to priority queues”
IEE Proc. Comput. Digit. Tech., 147, 1, pp23-26, January 2000

Peter G Harrison, Naresh M Patel, Edwige Pitel
“Reliability modeling using G-queues”
European Journal of Operations Research, 126, pp273-287, 2000

Madhu D K Bhabuta and Peter G Harrison
“Optimising bandwidth of ABR sources”
Computer Networks 34, pp115-128, 2000

Peter G Harrison and Catalina M Llado
“Performance Evaluation of a Distributed Enterprise Data Mining System”
in LNCS 1786, Haverkort, B.R., Bohnenkomp, H.C. and Smith, C.U. eds., Proc. 11th Int. Conf. on Modelling, Techniques and Tools for Computer, Performance Evaluation, Tools 2000, pp. 117-131, Chicago, March, 2000.

Catalina M Llado and Peter G Harrison
“Performance Evaluation of an Enterprise JavaBean Implementation”
In proc. 2nd International Workshop on Software and Performance, WOSP2000, Ottawa, Canada, September, 2000, pp180-188

Peter G. Harrison and Catalina M. Llado
“A new blocking problem from Java-based schedulers”
In Proceedings 4th Int. Workshop on Queueing Networks with Finite Capacity (QNETs~2000), July 20--21, Ilkley, West Yorkshire, UK, pp.18/1-18/12, 2000. (Extended version in Performance Evaluation Journal, 2002.)

Peter Harrison and William Knottenbelt
“Passage Time Distributions in Large Markov Chains”
IFIP Working Group 7.3 & University of Central Florida Symposium on Advanced Performance Modeling (SAPM), Orlando, Florida, October 2000.

P.G. Harrison and R. Chakka
“The MM CPP/GE/c/L G-Queue at equilibrium”
In proc. P&Qnet2000, Nagoya, Japan, November 2000.

HODKINSON, Dr I

I Hodkinson and F Wolter and M Zakharyaschev"
"Decidable fragments of first-order temporal logics"
Annals of Pure and Applied Logic, 106, 85 -134, 2000.

R Hirsch and I Hodkinson
"Relation algebras with n-dimensional relational bases"
Annals of Pure and Applied Logic, 101:227-274, 2000.

I Hodkinson
"Temporal logic and automata"
Chapter 2 of, D Gabbay and M Reynolds and M Finger, Temporal Logic: Mathematical Foundations and Computational Aspects, Vol. 2, Oxford University Press, 2000, pp.30--72

I Hodkinson and Sz Mikulas
"Non-finite axiomatizability of reducts of algebras of relations"
Algebra Universalis, 43, 127-156, 2000

HOGGER, Dr C J

K. Broda, C.J. Hogger and S. Watson
"Constructing Teleo-reactive Robot Programs"
Proc. of the 14th European Conference on Artificial Intelligence (ECAI-2000), Publ. by IOS Press (Editor Werner Horn), pp. 653-657, August 2000.

KELLY, Dr P H J

Ariel N. Burton and Paul H. J. Kelly
“Tracing and re-executing operating system calls for reproducible performance experiments”
Computers and Electrical Engineering: an International Journal Volume 26(3-4) pp.261-278 (Pergamon/Elsevier) April 2000.

Sarah Talbot and Paul H J Kelly
"Adaptive Proxies: handling widely-shared data in shared-memory multiprocessors"
Proc. EUROPAR'2000, Lecture Notes in Computer Science, Springer Verlag, Berlin, 2000, pp.567-572.

A J Field, T L Hansen and P H J Kelly
"Run-time fusion of MPI calls in a parallel C++ library"
LCPC2000, The 13th International Workshop on Languages and Compilers for High-Performance Computing, Yorktown Heights, August 2000.

KNOTTENBELT, Dr W J

William Knottenbelt, Peter Harrison, Mark Mestern, Pieter Kritzinger
“A Probabilistic Dynamic Technique for the Distributed Generation of Very Large State Spaces”
Performance Evaluation Journal, Volume 39, Issue 1-4, February 2000, pp. 127-148.

Peter Harrison and William Knottenbelt
“Passage Time Distributions in Large Markov Chains”
Symposium on Advanced Performance Management UCF, Florida, October 2000

KOWALSKI, Professor R A

Kowalski, R. and Satoh, K.
“Repairing speculative execution in the light of contrary information”
Meme Media Laboratory, Hokkaido University ,October 2000.

Kowalski, R. and Satoh, K.
“Goals in information seeking and assimilation”
Meme Media Laboratory, Hokkaido University ,October 2000.

KRAMER, Professor J

Kramer, J., Magee, J., Ng, K. and Dulay, N.
"Software Architecture Description"
In "Software Architecture for Product Families: Principles and Practice", Jazayeri M., Ran A., van der Linden F., Addison-Wesley, 2000.

Van Ommering R., van der Linden F., Kramer J., and Magee J.
"The Koala Component Model for Consumer Electronics Software "
IEEE Computer 33 (3), March 2000, 78-85.

Magee J., Pryce N., Giannakopoulou D. and Kramer J.
"Graphical Animation of Behaviour Models"
(22nd IEEE/ACM Int. Conf. on Software Engineering (ICSE-2000), Limerick, Ireland, June 2000), 499-508.

Finkelstein A. and Kramer J.
"Software Engineering: A Roadmap"
(IEEE/ACM International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, June 2000), 3-21.

Magee J., Kramer J., Nuseibeh B., Bush D. and Sonander J.
"Hybrid Model Visualization in Requirements and Design: a Preliminary Investigation"
accepted for (10th IEEE International Workshop on Software Specification and Design (IWSSD 10), San Diego, California, November 2000)

KRIWACZEK, Mr F

M Carey, F Kriwaczek and S M Rüger
“A Visualization Interface for Document Searching and Browsing”
Proceedings of NIPVM 2000

Frank Kriwaczek and Berc Rustem
“Interactive Multi-Attribute Decision Making, based on Quadratic Programming”
DOC Departmental Technical Reports 2000 series

Chris Hogger, Frank Kriwaczek and Myrto Serafetinidou
“Wizard Building in an Abstract Portal Framework”
DOC Departmental Technical Reports 2000 series

LEHMAN, Professor M

Lehman MM, Ramil JF and Wernick PD
“Metrics-Based Process Modelling With Illustrations From The FEAST/1 Project”
chapter 10 in Bustard D, Kawalek P and Norris M (eds.). Systems Modelling for Business Process Improvement, Artech House, Norwood, MA, 2000, pp. 147 – 170

MM Lehman
“Thirty Years in Software Process”
Keynote Lect., Proc. EWSPT 2000, Kaprun at Zell am See, Austria, 23-25 Feb. 2000, p. 54

V Basili, F Brooks, T DeMarco, E Denert, K Kishida, M M Lehman and E Soloway
“Sign-Off on Y2K”
Letter to CACM, v.43 n.5, p14-15, May 2000

G Kahen, Lehman MM, JF Ramil and PD Wernick
“Adapting and Extending Empirical Studies to the Global Software Process”
"Beg, Borrow, or Steal: Using Multidisciplinary Approaches in Empirical Software Engineering Research" Wrkshp, Limerick, Ireland, 5 Jun. 2000

Lehman MM and Ramil JF
“Effort Estimation from Change Records of Evolving Software”
Poster Contribution, Proc. ICSE 2000, Limerick, Ireland, Jun. 2000, pp. 777

MM Lehman, G Kahen and J Ramil
“Replacement Decisions for E-type Software – Some Elements”
ICSE 2000 2nd Workshop on Economics-Driven Software Engineering Research, Limerick, Ireland, 6 Jun. 2000

Ramil JF, Lehman MM and Kahen G
“The FEAST Approach to Quantitative Process Modelling of Software Evolution Processes”
Proc. PROFES'2000 2nd International Conference on Product Focused Software Process Improvement, Oulu, Finland, 20-22 Jun. 2000, in Frank Bomarius and Markku Oivo (eds.) LNCS 1840, Springer Verlag, Berlin, 2000, pp. 311-325

Chatters BW, Lehman MM, Ramil JF, Wernick P
“Modelling a Long Term Software Evolution Process“
in Software Process Improvement and Practice, Vol. 5, Issue 2-3, Jul. 2000, pp. 91 – 102

MM Lehman, JF Ramil, and G Kahen
“Evolution as a Noun and Evolution as a Verb”
SOCE 2000 Workshop on Software and Organisation Co-evolution, Imp. Col., London, 12-13 Jul. 2000

G Kahen, Lehman MM, JF Ramil and PD Wernick
“Dynamic Modelling in the Investigation of Policies for E-type Software Evolution”
ProSim 2000, Imp. Col., London UK, 12-14 Jul. 2000

Ramil JF and Lehman MM
“Metrics of Software Evolution as Effort Predictors - A Case Study”
Proc. ICSM 2000, Int. Conference on Software Maintenance, 11-14 Oct. 2000, San Jose, CA, pp.163-172

Lehman MM and Ramil JF
“Cost Estimation and Evolvability Monitoring for Software Evolution Processes”
WESS 2000 Workshop on Empirical Studies of Software Maintenance, San Jose CA, 14 Oct. 2000

Ramil JF and Lehman MM
“Exploring Cost Estimation Models in the Context of Continuing Software Evolution”
FESMA-AEMES Software Measurement Conf. 2000, Madrid 18-20 Oct. 2000

MM Lehman, G Kahen and JF Ramil
“Role and Impact of Feedback and System Dynamics in Software Evolution Processes and their Improvement”
EuroSPI 2000, Copenhagen, Denmark, 7–9 Nov. 2000

Lehman MM and Ramil JF
“Software Evolution Phenomenology and Component Based Software Engineering”
IEE Proc. Softw., sp. issue on Component Based Software Eng., Dec. 2000, earlier vers. as Tech. Rep. 98/8, Imp. Col., London, Jun. 1998

LUPU, Dr E

Damianou, N., N. Dulay, E. Lupu, and M. Sloman
“Ponder: A Language for Specifying Security and Management Policies for Distributed Systems”
The Language Specification - Version 2.2. Research Report DoC 2000/1, Imperial College, Department of Computing, London, 3 April, 2000.

Nicodemos Damianou, Naranker Dulay, Emil Lupu, Morris Sloman
“Ponder: An Object-oriented Language for Specifying Security and Management Policies”
(Extended abstract), 10th Workshop for PhD Students in Object-Oriented Systems (PhDOOS'2000), 12-13 June 2000, Sophia Antipolis, France

Nicodemos Damianou, Naranker Dulay, Emil Lupu, Morris Sloman
“Managing Security in Object-based Distributed Systems using Ponder”
Sixth EUNICE Open European Summer School Innovative Internet Applications, 13-15 Sep. 2000, University of Twente, Enschede, Netherlands

Emil Lupu, Morris Sloman, Naranker Dulay, Nicodemos Damianou
“Ponder: Realising Enterprise Viewpoint Concepts”
Proc. 4th Int. Enterprise Distributed Object Computing (EDOC2000), Mukahari, Japan, 25-28 Sept. 2000, pp. 66-75

Antonio Corradi, Rebecca Montanari, Cesare Stefanelli Emil Lupu, Morris Sloman
“Flexible Access Control for Java Mobile Code”
16th Annual Computer Security Applications Conference (ACSAC2000), Dec 2000, New Orleans USA

MAGEE, Professor J

Magee, J., Pryce, N., Giannakopoulou, D., Kramer, J.
"Graphical Animation of Behaviour Models"
Proceedings 22nd International Conference on Software Engineering, Limerick, Ireland, 4-11 June 2000, pp 499-508

J. Magee, J. Kramer, B. Nuseibeh, D. Bush and J. Sonander
"Hybrid Model Visualization in Requirements and Design: A preliminary Investigation"
Proceedings 10th Intl. Workshop on Software Specification & Design (IWSSD), San Diego, California, 5-7 November 2000

C. Karamanolis, D. Giannakopoulou, J. Magee and S. Wheater
"Model Checking of Workflow Schemas"
Proceedings of 4th Intl. Conferemce on enterprise Distributed Object Computing (EDOC), Makuhari, Japan, 25-28th September 2000.

MAROS, Dr I

Maros, I. and Mitra, G.
“Investigating the Sparse Simplex Algorithm on a Distributed Memory Multiprocessor”
Parallel Computing, 26, 2000, 151-170.

Gulpinar, N., Gutin, G., Mitra, G., and Maros, I.
“Detecting Embedded Networks in {LP} Using {GUB} and Independent Set Algorithms”
Computational Optimization and Applications, 15(3), 2000, 235-247.

Maros, I., Mitra, G. and Vladimirou, H. (eds.)
"Applied Mathematical Programming and Modelling IV"
Annals of Operations Research, Vol 99, Kluwer Academic Publishers, 2000.

Maros, I.
"Advances in Design and Implementation of Optimization Software"
Semi- plenary, EURO XVII Conference, Budapest, July 2000.

Akrotirianakis, I., Maros, I. and Rustem, B.
"An Outer Approximation Based Branch And Cut Algorithm For Convex 0-1 Minlp Problems"
Departmental Technical Reports, Department of Computing, Imperial College 2000/6, year 2000, 20pp.

Maros, I. and Khaliq, M.H.
"Advances in Design and Implementation of Optimization Software"
Departmental Technical Reports, Department of Computing, Imperial College 2000/11, year 2000, 36pp.

Maros, I.
"A Piecewise Linear Dual Phase-1 Algorithm for the Simplex Method With All Types of Variables"
Departmental Technical Reports, Department of Computing, Imperial College 2000/13, year 2000, 25pp.

McCANN, Dr J A

McCann J.A.
“The Kendra Cache Replacement Policy and its Distribution”
published in World Wide Web An International Journal, Volume 3, Number 4, Baltzer Science Publishers, ISSN 1386-145X, December 2000.pp231-240.

Law G., McCann J .A.
“Decomposition of Pre-emptive Scheduling in the Go! Component-Based Operating System”
ACM SIGOPS European Workshop, 2000.

Law G., McCann J.A.
“26 bit Selectors on IA32 for Component-Based Protection”
ECOOP'2000, Workshop on Object Orientation and Operating Systems.2000

McCann J.A., Howlett P., Crane J.S.
“Kendra: Adaptive Internet System”
Journal of Systems and Software, Elsevier Science, Volume 55, Issue 1, 5 November 2000 .pp 3-17

P. Kostkova, McCann J.A.
“Inter-federation Communication in the MAGNET Architecture”
published in the Third Grace Hopper Celebration of Women in Computing, Mass. USA., Sept 2000

Law G., McCann, J.A.
“A New Protection Model for Component-Based Operating Systems”
In proceedings of IEEE Conference on Computing and Communications, Phoenix, Arizona, Feb. 2000,

MacFarlane A., Robertson S.E., McCann J.A.
“Parallel search on Partitioned Inverted Files”
In Proceedings of SPIRE 2000: the 7th International Symposium on String Processing and Information Retrieval, La Coruna, Spain,: P. de la Fuente (ed), 27-29 September 2000, 209-220, IEEE Computer Society Press.

MacFarlane A., Robertson S.E., McCann J.A.
“PLIERS AT TREC8”
Proceedings of the Eighth Text Retrieval Conference (TREC-8), Ed.: E.Voorhees and D.K.Harman, NIST Special Publication 500-246, Gaithersburg, NIST, 2000. pp 241-252

Schroeder M., McCann J., Haynes D.
“Rough traders and intelligent clients”
In proceedings of Autonomous Agents 2000. Barcelona, Spain. 2000. ACM Press. pp 259-260

MENCER, Dr O,

Oskar Mencer, Marco Platzner, Martin Morf, Michael J. Flynn
“Object-oriented Domain-Specific Compilers for Programming FPGAs”
IEEE Transactions on VLSI, special issue on Reconfigurable Computing, 2000.

Oskar Mencer, Luc Semeria, Martin Morf, Jean-Marc Delosme
“Application of Reconfigurable CORDIC Architectures”
The Journal of VLSI Signal Processing, special issue on Reconfigurable Computing, Kluwer, March 2000.

Oskar Mencer, Heiko Huebert, Martin Morf, Michael J. Flynn
"StReAm: Object-Oriented Programming of Stream Architectures using PAM-Blox"
Plenary Session, Field-Programmable Logic (FPL), Villach, Austria, September 2000.

NUSEIBEH, Dr B A

B. Nuseibeh, S. Easterbrook and A. Russo
"Leveraging Inconsistency in Software Development"
IEEE Computer, 33(4):24-29, April 2000.

B. Nuseibeh and S. Easterbrook
"Requirements Engineering: A Roadmap"
Proceedings of International Conference on Software Engineering (ICSE-2000), 4-11 June 2000, Limerick, Ireland, ACM Press.

V. Gervasi and B. Nuseibeh
"Lightweight Validation of Natural Language Requirements"
Proceedings of 4th IEEE International Conference on Requirements Engineering (ICRE'2000), 19-23 June 2000, Schaumburg, Illinois, USA.

Russo, A., Miller, R, Nuseibeh, B., and Kramer, J.
“An Abductive Approach for Handling Inconsistencies in SCR Specifications”
Proceedings of 3rd International Workshop on Intelligent Software Engineering (WISE-3), 5th June 2000, co-located with ICSE-2000, Limerick, Ireland.

Tarr, P, Ossher, H., Finkelstein, A., Nuseibeh, B., and Perry, D.
eds., Proceedings of Workshop on Multi-Dimnsional Separation of Concerns
co-located with ICSE-2000, Limerick, Ireland, IEEE CS Press, 6th June 2000.

PORKOLAB, Dr L

Khachiyan L. and Porkolab L.
“Integer Optimization on Convex Semi-algebraic Sets”
Discrete and Computational Geometry, Vol.23, Num.2, 207-224, 2000.

Jansen K. and Porkolab L.
“Polynomial Time Approximation Schemes for General Multiprocessor Job Shop Scheduling”
Proceedings 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), LNCS ??, 2000.

Jansen K. and Porkolab L.
“Preemptive Scheduling on Dedicated Processors: Applications of Fractional Graph Coloring”
Proceedings 25th International Symposium on Mathematical Foundations of Computer Science (MFCS 2000), LNCS ??, 2000.

Jansen K. and Porkolab L.
“Linear-time Approximation Schemes for Scheduling Malleable Parallel Tasks”
accepted for publication in Algorithmica, 2000.

RUECKERT, Dr D

D. Rueckert
“Non-rigid registration: Techniques and applications”
In D.L.G. Hill, D.J. Hawkes and J. Hajnal (ed), Medical Image Registration CRC Press, 2000.

J. M. Blackall, D. Rueckert, C. R. Maurer Jr., G. P. Penney, D. L. G. Hill, and D. J. Hawkes
“An image registration approach to automated calibration for freehand 3D ultrasound”
In Third Int. Conf. on Medical Image Computing and Computer-Assisted Intervention (MICCAI '00), 2000. In Press.

C. Tanner, J. A. Schnabel, D. Chung, M. J. Clarkson, D. Rueckert, D.L.G. Hill, and D.J.Hawkes
“Volume and shape preservation of enhancing lesions when applying non-rigid registration to a time series of contrast enhancing MR breast images”
In Third Int. Conf. on Medical Image Computing and Computer-Assisted Intervention (MICCAI '00), 2000.

D. Rueckert, M. J. Clarkson, D. L. G. Hill, and D. J. Hawkes
“Non-rigid registration using higher-order mutual information”
In Proc. SPIE Medical Imaging 2000: Image Processing, San Diego, CA, February 2000, pp 438-447, vol. 3979

T. Hartkens, D.L.G. Hill, C.R. Maurer, A.J. Martin, W.A. Hall, D.J. Hawkes, D. Rueckert, H. Liu, and C.L. Truwit
“Quantifying the intraoperative brain deformation using interventional MR imaging”
In Proc. of the International Society for Magnetic Resonance in Medicine, page 51, 2000.

M. J. Clarkson, D. Rueckert, D. L. G. Hill, and D. J. Hawkes
“Registration of multiple video images to pre-operative CT for image guided surgery”
In Proc. SPIE Medical Imaging 2000: Image Processing, San Diego, CA, February 2000, pp 342-352, vol. 3979.

M. J. Clarkson, D. Rueckert, D. L. G. Haill, and D. J. Hawkes
“Registration of multiple 2D video images to a 3D medical image”
In Proc. of Medical Image Understanding and Analysis '00, pages 199-202, London, UK, 2000.

RUEGER, Dr S M

M Carey, F Kriwaczek and S M Rüger
“A Visualization Interface for Document Searching and Browsing”
Proceedings of NIPVM 2000

S M Rüger and S E Gauch
“Feature Reduction for Document Clustering and Classification”
DoC TR 2000/8, Imperial College, 2000

T von Schroeter, S Doraisamy and S M Rüger
“From Raw Polyphonic Audio to Locating Recurring Themes”
Proceedings of the International Symposium on Music Information Retrieval, 2000.

P Au, M Carey, S Sewraz, Y Guo and S M Rüger
“New Paradigms in Information Visualization”
Proceedings of the 23rd International ACM SIGIR Conference, 307-309, 2000.

S Sewraz and S M Rüger
“A Visual Information-Retrieval Navigator”
Proceedings of the BCS IRSG, 2000.

S M Rüger
“Automatic Query Feedback using Related Words”
Proceedings of TREC-8, NIST Special Publication, 2000

RUSTEM, Professor B

J. Darlington, C.C. Pantelides, B. Rustem and B.A. Tanyi
“An efficient approximate algorithm for optimal decisions under uncertainty"
European Journal of Operations Research, V. 121, 343-362, (2000).

Rustem, B., R. Becker, W. Marty
“Robust Min-Max Portfolio strategies for Rival Forecast and Risk Scenarios"
Journal of Economic Dynamics & Control, 24, 1591-1623 (2000)

E. Kontoghiorghes, A. Nagurney, B. Rustem
“Special issue: Parallel Computing in Economics, Finance and Decision Making"
Parallel Computing (North-Holland, Amsterdam), 2000.

I. Akrotirianakis and B. Rustem
“A Primal-Dual Interior Point Algorithm with an Exact Differentiable Merit Function for General Nonlinear Programming Problems"
Journal of Optimization Methods & Software, 14, 1-36, (2000)

SADRI, Dr F

F. Sadri, F. Toni
“Abduction with negation as failure for active and reactive rules”
Springer Verlag Lecture Notes 1792, 49-60, 2000.

F.Sadri, F. Toni, I.Xanthakos
“A Logic-Agent based System for Semantic Integration”
17th International CODATA Conference- “Data and Information for the Coming Knowledge Millennium” CODATA 2000, Theme I-3, Integration of Heterogeneous Databases and Data Warehousing, 15-19 October 2000.

SLOMAN, Professor M

Damianou, N., N. Dulay, E. Lupu, and M. Sloman
“Ponder: A Language for Specifying Security and Management Policies for Distributed Systems”
The Language Specification - Version 2.2. Research Report DoC 2000/1, Imperial College, Department of Computing, London, 3 April, 2000.

Nicodemos Damianou, Naranker Dulay, Emil Lupu, Morris Sloman
“Ponder: An Object-oriented Language for Specifying Security and Management Policies”
(Extended abstract), 10th Workshop for PhD Students in Object-Oriented Systems (PhDOOS'2000), 12-13 June 2000, Sophia Antipolis, France

Nicodemos Damianou, Naranker Dulay, Emil Lupu, Morris Sloman
“Managing Security in Object-based Distributed Systems using Ponder”
Sixth EUNICE Open European Summer School Innovative Internet Applications, 13-15 Sep. 2000, University of Twente, Enschede, Netherlands

Emil Lupu, Morris Sloman, Naranker Dulay, Nicodemos Damianou
“Ponder: Realising Enterprise Viewpoint Concepts”
Proc. 4th Int. Enterprise Distributed Object Computing (EDOC2000), Mukahari, Japan, 25-28 Sept. 2000, pp. 66-75

Antonio Corradi, Rebecca Montanari, Cesare Stefanelli Emil Lupu, Morris Sloman
“Flexible Access Control for Java Mobile Code”
16th Annual Computer Security Applications Conference (ACSAC2000), Dec 2000, New Orleans USA

T. Grandison and M. Sloman
"A Survey of Trust in Internet Applications"
IEEE Communications Surveys and Tutorials, vol. 3 no 4, http://www.comsoc.org/livepubs/surveys/public/2000/dec/index.html.

Lupu E, Dulay N, Damianou N, Sloman M,
“Structuring Devolved Responsibilities in Network and Systems Management”
Networking and Information Systems Journal, Vol 3 No 2/2000, pages 261-277, Hermes Science Publications.

SMYTH, Dr M B

Smyth, M.B.
“Region-based discrete geometry”
J.Universal Computer Science 6 (2000), 447-459.

TONI, Dr F

F. Sadri, F.Toni, I.Xanthakos
“A Logic-Agent based System for Semantic Integration”
17th International CODATA Conference- Data and Information for the Coming Knowledge Millennium, CODATA 2000 Theme I-3, Integration of Heterogeneous Databases and Data Warehousing (2000)

A.C. Kakas, R.S Miller, F. Toni
“Planning with incomplete information”
Proc. NMR'2000, 8th International Workshop on Non-Monotonic Reasoning, Special Session on Representing Actions and Planning, C. Baral, M. Truszczynski eds (2000)

A.C. Kakas, R.S Miller, F. Toni
“E-RES - A System for Reasoning about Actions, Events and Observations”
Proc. NMR'2000, 8th International Workshop on Non-Monotonic Reasoning, Special Session on Representing Actions and Planning, C. Baral, M. Truszczynski eds (2000)

Y. Dimopoulos, B. Nebel, F. Toni
“Finding Admissible and Preferred Arguments Can Be Very Hard”
Proc. KR'2000, 7th International Conference on Principles of Knowledge Representation and Reasoning, T. Cohn, F. Giunchiglia, B. Selman eds, Morgan Kaufman, pages 53-61 (2000)

F. Sadri, F. Toni
“Abduction with Negation as Failure for Active and Reactive Rules”
E. Lamma and P. Mello eds., Springer Verlag LNAI 1792, pages 49-60 (2000)

van BAKEL, Dr S

S. van Bakel, F. Barbanera, and M. Ferna'ndez
“Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and beta-rule”
In Thierry Coquand, Peter Dybjer, Bengt Nordstrom, Jan Smith, editors, Types for Proofs and Programs, International Workshop, TYPES’99, Lokeberg, Sweden, Selected Papers. Volume 1956 of Lecture Notes in Computer Science, pages 41-60, Springer-Verlag, 2000. (Submitted to Mathematical Structures in Computer Science, for publication in a special issue on intersection types.)

S. van Bakel and M. Ferna'ndez
“Normalisation, Approximation and Semantics for Typeable Combinator Systems”
Technical Report 2000/10, Department of Computer Science, Imperial College. To appear in Theoretical Computer Science.

YANG, Dr G-Z

Chabat F, Hansell DM, Yang GZ
“Gradient correction and classification of CT lung images for the automated quantification of mosaic attenuation pattern”
Journal of Computer Assisted Tomography, 2000 May-Jun;24(3):437-47

J Keegan, PD Gatehouse, GZ Yang, DN Firmin
“Interleaved spiral cine coronary artery velocity mapping”
MRM,2000 Jun;43(6):787-92.

J Kilner, GZ Yang, RH Mohiaddin, DN Firmin, M Yacoub
“Asymetric redirection of flow through the heart”
Nature, Nature. 2000 Apr 13;404(6779):759-61.

Yang GZ, Firmin DN
“The birth of the first CT scanner”
IEEE Engineering in Medicine and Biology 2000 Apr 13;404(6779):759-61.