2001

BRODA, Dr K

A. d'Avila Garcez, K. Broda, D. Gabbay
“Symbolic Knowledge Extraction from Trained Neural Netwoks: A New Approach”
AI 125 (2001) 155-207

CLARK, Professor K L

K. L. Clark, P. J. Robinson and R. Hagen
“Multi-threading and message communication in Qu-Prolog”
Journal of Theory and Practice of Logic Programming 1(3):283-301 Cambridge University Press, 2001.

D. Vyzovitis and K. L. Clark
“A framework for developing reactive information agents with heterogeneous communication capabilities”
Proceedings of The Fifth International Symposium on Autonomous Decentralized Systems, IEEE Press, 2001.

T. Hong and K. L. Clark
“Using Grammatical Inference to Automate Information Extraction from the Web”
5th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD'01), to appear in Springer-Verlag LNAI Series, 2001.

CUNNINGHAM, Mr R J

J. Cunningham, D. Gabbay, eds
Special FAPR2000 issue
Journal of the IGPL Vol. 9, No. 2 (2001)

Shamima Paurobally and Jim Cunningham
"Specifying the Processes and States of Negotiation"
in A European Perspective on Agent Mediated Electronic Commerce, Eds, Frank Dignum, Carles Sierra, Springer LNAI 1991 pp 61-77, 2001

Miguel Leith, Jim Cunningham
"Aspect and Interval Tense Logic"
Linguistics and Philosophy, 24(3):331-381, June 2001. ISSN 0165-0157

Jim Cunningham
"Towards an Axiomatic Theory of Consciousness"
Logic Journal of the IGPL. Vol. 9, No. 2 pp 341-347 (2001)

DARLINGTON, Professor J

N. Furmento, A. Mayer, S. McGough, S. Newhouse, T. Field and J. Darlington
“An Integrated Grid Environment for Component Applications”
Grid 2001

N. Furmento, A. Mayer, S. McGough, S. Newhouse and J. Darlington
“Optimisation of a Component-based Applications within a Grid Environment”
SuperComputing 2001

S. Newhouse and J. Darlington
“Computational Communities: a Market Place for Federated Resources”
HPCN 2001

N. Furmento, A. Mayer, S. McGough, S. Newhouse and J. Darlington
“A Component Framework for HPC Applications”
EuroPar 2001

N. Furmento, S. Newhouse, and J. Darlington
“Building Computational Communities from Federated Resources”
EuroPar 2001

F. Bunin, Y Guo and J Darlington
“Design of Problem-Solving Environment for Contingent Claim Valuation”
Euro-Par 2001: Parallel Processing, 7th International Euro-Par Conference: 935-938, August 28-31, 2001, Manchester, UK

DROSSOPOULOU, Dr S

Ancona D., Anderson C., Damiani F., Drossopoulou S., Giannini P., Zucca E.
"An Effective Translation of Fickle into Java"
Italian Chapter of Theoretical Computer Science, LNCS 2202, Springer, 2001

Drossopoulou, S., Damiani F., Dezani-Ciancaglini M., Giannini P
"Fickle: Dynamic Object Reclassification"
15th European Conference on Object Oriented Programming, Budapest, LNCS 2072, June 2001

Sophia Drossopoulou
"An Abstract Model of Java Dynamic Linking and Loading"
Robert Harper, ed: Types in Compilation, Revised Selected Papers from Third International Workshop on Types in Compilation, Montreal Canada, February 2001. LNCS 2072

Davide Ancona, Sophia Drossopoulou, Elena Zucca
"Overloading and Inheritance"
Foundations of Object Oriented languages 8, London, January 2001

Sophia Drossopoulou, Ferruccio Damiani, Mariangiola, Dezani-Ciancaglini, Paola Giannini
"Dynamic Object Reclassification"
Foundations of Object Oriented languages 8, London, January 2001

DULAY, Dr N

Chalmers D, Sloman M, Dulay N
“Map Adaptation for Mobile Systems”
10th Intl. World-Wide Conference (WWW10), Hong Kong, May 2001.

Dulay N, Lupu E, Sloman M, Damianou N
“A Policy Deployment Model for the Ponder Language”
IFIP/IEEE International Symposium on Integrated Network Management (IM 2001), Seattle, USA, May 2001.

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.

Montanari R, Stefanelli C, Dulay N
“Flexible Security Policies for Mobile Agent Systems, Microprocessors and Microsystems”
Journal, Elsevier Science, 2001

Corradi A, Dulay N, Montanari R, Stefanelli C
“Policy-Driven Management of Agent Systems”
IEEE ComSoc Workshop on Policies for Distributed Systems and Networks (Policy 2001), pp-214-229, January 2001, Bristol, UK, LNCS 1995, Springer-Verlag.

Damianou N, Dulay N, Lupu E, Sloman M
“The Ponder Policy Specification Language”
IEEE ComSoc Workshop on Policies for Distributed Systems and Networks (Policy 2001), pp18-38, January 2001, Bristol, UK, LNCS 1995, Springer-Verlag.

EDALAT, Professor A

A. Edalat and A. Lieutier and E. Kashefi
“The convex hull in a new model of computation”
Proceedings of the 13th Canadian Conference on Computational Geometry, pages 93-96, 2001

EISENBACH, Ms S

Eisenbach, S. and Sadler, C.
“Changing Java Programs”
ICSM’01 IEEE Conference on Software Maintenance, Florence, November 2001.

Eisenbach, S. and Leavens, G.
Special Issue Editorial: "Formal techniques for Java Programs"
Concurrency and Computation: Practice and Experience, 13:1121-1123, 2001.

Wyer, M. and Eisenbach, S.
“Lexis Exam Invigilation System”
LISA 2001, San Diego, December 2001.

FIELD, Dr A J

Chung, A.J. and Field, A.J.
"A Simple Recursive Tessellator for Adaptive Surface Triangulation"
Journal of Graphics Tools, Vol. 5, No. 3, 2001, pp. 1-9.

Kelly, P.H.J, Beckmann, O., Field, A.J. and Baden, S.B.
"THEMIS: Component Metadata in Adaptive Parallel Applications"
Parallel Processing Letters, Vol 11., No. 2, 2001.

Furmento, N., Mayer, A., McGough, S., Newhouse, S., Field , A.J., and Darlington, J.
"Optimisation of Component-based Applications within a Grid Environment"
Proc. SuperComputing 2001.

Furmento, N., Mayer, A., McGough, S., Newhouse, S., Field , A.J., and Darlington, J.
"An Integrated Grid Environment for Component Applications"
Proc. Grid Computing - Grid 2001, Second International Workshop, Denver 2001, LNCS Vol. 2242, pp. 26-37.

GILLIES, Dr D F

Rodrigues M A F, Gillies D F and Charters P
"A biomechanical Model of the Upper Airways for Simulating Laryngoscopy"
Computer Methods in Biomechanics and Biomedical engineering 4(2) 127-148 (2001)

Gillies D F, Datta V., Mackay S and Darzi A
“Motion Analysis in the Assessment of Surgical Skill”
Computer Methods in Biomechanics and Biomedical engineering, 4 515-523 2001.

Rodrigues M A F, Gillies D F and Charters P
"Creating a virtual environment for laryngoscopy training"
International Workshop on Medical Imaging and Augmented Reality MIAR01, IEEE Computer Society Press, ISBN 0-7695-1113-9, 125-130. (2001)

Rao A and Gillies D F
"Vortex Segmentation from Cardiac MR 2D velocity images using region growing about vortex centres"
International Workshop on Medical Imaging and Augmented Reality MIAR01, IEEE Computer Society Press, ISBN 0-7695-1113-9, 222-224. (2001)

Rao A and Gillies D F
"Separation and attachment feature extraction from 2D cardiac MR blood flow images"
Proc. Medical Image Understanding and Analysis 2001, British Machine Vision Association ISBN 1 909725 15 4, pp 33-36

Thomaz C E, Gillies D F and Feitosa R Q
"Using Mixture Covariance Matrices to Improve Face and Facial Expression Recognitions"
Proc. 3rd Int Conf on audio and video based biometric person authentication AVBPA01. Lecture Notes in Computer Science 2091 p71-77 Springer Verlag. (Accepted for publication in a special edition of Pattern Recognition Letters)

Thomaz C E, Gillies D F and Feitosa R Q
“Small Sample Problem in Bayes Plug-in Classifier for Image Recognition”
Proc ICVNZ01 (Image and Vision Conference New Zealand 2001) IEEE Computer Society Press 2001.

GUO, Dr Y

Jose. J. Finol. Yike Guo, XuDong Jing
“Fuzzy Partitioning Systems for Electrofacies Classifications”
Journal of Petroleum Geology. Vol. 24. No 4, 2001.

Jose. J. Finol, Yike Guo, XuDong Jing
“Rule-Based Fuzzy Model for the Prediction of Petrophysical Rock Properties”
Journal of Petroleum Science and Engineering, Vol. 29, No.6 2001.

Yike Guo, Patrick Wendel
“Developing a Distributed Scalable Java Component Server”
Journal of Future Generation Computer Systems Vol. 17. No. 2001.

Oliver Bunin, Yike Guo, John Darlington
“Design of Problem-Solving Environment for Contingent Claim Valuation”
Euro-Par 2001: Parallel Processing, 7th International Euro-Par Conference, Lecture Notes in Computer Science 2150 Springer Verlag , August 28-31, 2001, Manchester, UK.

HANKIN, Professor C L

Alessandra Di Pierro, Chris Hankin and Herbert Wiklicky
“Probabilistic Confinement in a Declarative Framework”
in Declarative Programming: Selected Papers from AGP 2000 - La Havana, Cuba, A.Dovier, M.C.Meo and A.Omicini (eds.), 23 pages. Electronic Notes in Theoretical Computer Science, volume 48, Elsevier, 2001.

HARRISON, Professor P G

Peter G. Harrison
“Reversed processes in Markovian Process Algebra”
Extended paper in proc. European Simulation Multiconference (ESM 2001), Prague, Czech Republic, June 2001.

Ram Chakka and Peter G. Harrison
“The MMCPP/GE/c Queue”
Queueing Systems 38,3, 2001.

Ram Chakka and Peter G. Harrison
“A Markov modulated multi-server queue with negative customers -- The MM CPP/GE/c/L G-Queue”
Acta Informatica 37, 2001.

William Knottenbelt, Soraya Zertal and Peter Harrison
“Performance Analysis of Three Implementation Strategies for Distributed Lock Management”
IEE Proceedings E - Computers and Digital Techniques, 2001.

HODKINSON, Dr I

Hirsch, R. and Hodkinson, I.
“Representability is not decidable for finite relation algebras”
Trans. Amer. Math. Soc. 353 (2001) 1403-1425.

Hirsch, R., Hodkinson, I.
“Relation algebras from cylindric algebras, I"
Ann. Pure Appl. Logic 112 (2001) 225-266.

Hirsch, R., Hodkinson, I.
“Relation algebras from cylindric algebras, II”
Ann. Pure Appl. Logic 112 (2001) 267-297.

Hodkinson, I., Mikulás, S., Venema, Y.
“Axiomatising complex algebras by games”
Algebra Universalis 46 (2001) 455-478. [ILLC Prepublication series no. PP-2000-01.]

I Hodkinson, F Wolter, M Zakharyaschev
“Monodic fragments of first-order temporal logics: 2000--2001 A.D.”
In R. Nieuwenhuis and A. Voronkov, editors, Logic for Programming, Artificial Intelligence and Reasoning, number 2250 of LNAI, Springer, 2001, pages 1-23.

HOGGER, Dr C J

M.S. Ahmad, C.J. Hogger and F.R. Kriwaczek
“Implementing a Collaborative Agent System using Prolog”
Proc. of Int. Conference on Information Technology and Multimedia [ICIMu-2001], Kuala Lumpur, August 13-15, 2001. Publ. [Mohd S.S. Mohamed, Editor], Universiti Tenaga Nasional, 2001, pp.55-62.

HUTH, Dr M

Michael Huth
“Secure communicating systems: design, analysis, and implementation”
283pp, Cambridge University Press, August 2001; URL: http://www.doc.ic.ac.uk/~mrh/scs/

Michael Huth
“Domains of view: a foundation for specification and analysis”
book chapter in: Domains and Processes, Kluwer Academic Press, pp. 183-218, December 2001.

Michael Huth and Shekhar Pradhan
“Model-Checking View-Based Partial Specifications”
Electronic Notes in Theoretical Computer Science, volume 45, (editors: S. Brookes and M. Mislove), November 2001.

Patrice Godefroid, Michael Huth, and Radha Jagadeesan
“Abstraction-based Model Checking using Modal Transition Systems”
in: Proceedings of the International Conference on Theory and Practice of Concurrency, Lecture Notes in Computer Science, Springer Verlag, pp. 426-440, August 2001.

Michael Huth, Radha Jagadeesan, and David Schmidt
“Modal transition systems: a foundation for three-valued program analysis”
Proceedings of the European Symposium on Programming (ESOP'2001), April 2001, (editor: D., Sands), Lecture Notes in Computer Science, Springer Verlag, pp. 155-169.

KELLY, Dr P H J

Andrew J Bennett, Paul H J Kelly and Ross A Paterson
"Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence"
Journal of Functional Programming, Volume 11, Number 4 (July 2001). pp359-393.

Paul H J Kelly, Olav Beckmann, Tony Field and Scott Baden
"Themis: Component dependence metadata in adaptive parallel applications"
Presented at the International Workshop on High-Level Parallel Programming (HLPP2001), Orleans, France (March 2001). To appear in a special issue of Parallel Processing Letters (World Scientific).

KNOTTENBELT, Dr W J

William Knottenbelt, Soraya Zertal and Peter Harrison
“Performance Analysis of Three Implementation Strategies for Distributed Lock Management”
IEE Proceedings E - Computers and Digital Techniques Vol. 148, No. 4/5, July/September 2001, pp. 176—186

KOWALSKI, Professor R A

Kowalski, R.A.
“Logic Programming and the Real World”
Logic Programming Newsletter. January 2001.

Kowalski, R.
“Goal Change”
Meme Media Laboratory, Hokkaido University, November 2001.

Kowalski, R.
“Artificial intelligence in the natural world”
Cognitive Processing. Volume 2/2001

KRAMER, Professor J

Mendonca N. and Kramer J.
"An Approach for Recovering Distributed System Architectures"
Journal of Automated Software Engineering 8 (3/4) , (Kluwer Academic Publishers), August 2001, 311-354.

Uchitel S. and Kramer J.
“A Workbench for Synthesising Behaviour Models from Scenarios"
(23rd IEEE/ACM Int. Conf. on Software Engineering (ICSE-2001), Toronto, Canada, May 2001), 188-197.

Uchitel S., Kramer J. and Magee J.
“Detecting Implied Scenarios in Message Sequence Chart Specifications"
(9th ACM SIGSOFT Symposium on the Foundations of Software Engineering /8th European Software Engineering Conference (FSE / ESEC ‘2001), Vienna, September 2001), 2001,74-82.

d’Avila Garcez, A., Russo, A., Nuseibeh, B. and Kramer, J.
“Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications”
(Proc. of Automated Software Engineering Conference 2001 (ASE'2001), San Diego, November 2001).

Kramer, J.
"Making Meaning Models for Mere Mortals"
(Second IEEE International Conference on Application of Concurrency to System, Newcastle upon Tyne, June 2001), 11-12.

KRIWACZEK, Mr F

M.S. Ahmad, C.J. Hogger, F.R. Kriwaczek
"Implementing a Collaborative Agent System using Prolog"
Proc of ICIMU 2001 (Kuala Lumpur, 13-15 Aug 2001), Universiti Tenaga Nasional Press.

LEHMAN, Professor M M

MM Lehman, JF Ramil and G Kahen
“Thoughts on the Role of Formalisms in Studying Software Evolution”
Proc. of Formal Foundations of Software Evolution, Lisbon, Portugal, 13 Mar. 2001, 8 pps., in Mens T. and Wermelinger M (eds.) Tech. Report UNL-DI-1-2001, Departamento de Informatica, Universidade Nova de Lisboa

MM Lehman and JF Ramil
“Defining and Analysing Metrics in the Context of Continuing Software Evolution”
Intl. Symposium on Software Metrics, Metrics 2001, London, 5 Apr. 2001, pp. 199 – 209.

MM Lehman
“Process Modeling: Where Next?”
in Robin B. Hunter and Richard H. Thayer (eds.), Software Process Improvement, IEEE Press, 2001, originally printed in Proc. ICSE 19, Boston, 20-22 May 1997, pp. 549-552

MM Lehman, JF Ramil and G Kahen
“Experiences with Behavioural Process Modelling in FEAST, and Some of its Practical Implications”
EWSPT 8, Haus Bommerholz, Witten (near Dortmund), Germany, 19-21 Jun. 2001, pp. 47 – 62

MM Lehman and JF Ramil
“Rules and Tools for Software Evolution Planning and Management”
special issue on Software Management, Annals of Software Engineering, vol. 11, issue 1, 2001, pp. 15-44

G Kahen, MM Lehman, JF Ramil and PD Wernick
“Modelling of Software Evolution Processes for Policy Investigation: Approach and Example”
J. of Systems and Software, v. 59, 2001, pp. 271-281

MM Lehman and JF Ramil
“Evolution in Software and Related Areas”
Proc. IWPSE 2001, IEEE CS

MM Lehman and JF Ramil
“An Approach to a Theory of Software Evolution”
preprints IWPSE 2001, Vienna, 10 - 11 Sep.. 2001, also in Proc. IWPSE 2001, IEEE CS Society

MM Lehman and JF Ramil
“Plans for Further Work after FEAST”
WESS 2001, Florence, Nov. 9, 2001

MM Lehman and JF Ramil
“EpiCS, Evolution Phenomenology in Component-intensive Software”
WESS 2001, Florence, Nov. 9 2001

MM Lehman, JF Ramil and U Sandler
“An Approach to Modelling Long-term Growth Trends in Software Systems”
ICSM 2001, Florence, Italy, Nov. 2001, pp219 –228.

LUK, Dr W

Luk, W., Kean, T., Derbyshire, A., Gause, J., McKeever, S., Mencer, M. and Yeow, A.
“Paramaterized hardware libraries for configurable system-on-chip technology”
Canadian Journal of Electrical and Computer Engineering, Vol. 26, No. 3/4, 2001.

Shirazi, N., Benyamin, D., Luk, W., Cheung, P.Y.K. and Guo, S.R.
“Quantitative analysis of FPGA-based database searching”
J. VLSI Signal Processing Sys., Vol. 28, No. 1-2, 2001, 85-96.

Weinhardt, M. and Luk, W.
“Pipeline vectorisation”
IEEE Trans. Computer Aided Design, Vol. 20, No. 2, 2001, 234-248.

Weinhardt, M. and Luk, W.
“Memory access optimization for reconfigurable systems”
IEE Proc.-Comput. Digit. Tech., Vol. 148. No. 3 , May 2001, 105-112.

Boullis, N., Mencer, O., Luk, W. and Styles, H.
“Pipelined function evaluation on FPGAs”
Proc. IEEE Symp. on Field-Programmable Custom Computing Machines (IEEE Computer Society Press) 2001.

Constantinides, G.A., Cheung, P.Y.K. and Luk, W.
“Heuristic datapath allocation for multiple wordlength systems”
Proc. Design Automation and Test in Europe, 2001, 791-796.

Constantinides, G.A., Cheung, P.Y.K. and Luk, W.
“The multiple wordlength paradigm”
Proc. IEEE Symp. on Field-Programmable Custom Computing Machines (IEEE Computer Society Press) 2001.

Jaenicke, A. and Luk, W.
“Parameterised floating-point arithmetic on FPGAs”
Proc. IEEE Int. Conf. on Acoustics, Speech, and Signal Processing (IEEE Press) 2001, 897-900.

Luk, W., Derbyshire, A., Gause, J., McKeever, S., Yeow, A. and Kean, T.
“Paramaterized hardware libraries for configurable system-on-chip technology”
Proc. 5th World Multi-Conf. on Systemics, Cybernetics and Informatics, Invited Session on Issues in System on Chip (SoC) Design, Callaos and Associates Corp., 2001.

Luk, W. and Styles, H.
“Perspectives on custom computing”
Proc. 34 Asilomar Conf. on Signals, Systems, and Computers (IEEE Computer Society Press) 2001, 370-374.

Luk, W., Yusuf, S. and Nagarajan, R.
“Incremental development of hardware packet filters”
Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (CSREA Press) 2001.

McKeever, S. and Luk, W.
“A declarative framework for developing parametrised hardware libraries”
Proc. Int. Conf. on Electronics, Circuits and Systems (IEEE Press) 2001.

McKeever, S. and Luk, W.
“Towards provably-correct hardware compilation tools based on pass separation techniques”
Proc. Advanced Research Conference on Correct Hardware Design and Verification Methods, LNCS 2144, 2001, 212-227.

Mencer, O., Boullis, N., Luk, W. and Styles, H.
“Parameterized function evaluation for FPGAs”
Field-Programmable Logic and Applications, LNCS 2147, Springer, 2001, 544-554.

Todman, T. and Luk, W.
“Reconfigurable designs for ray tracing”
in Proc. IEEE Symp. on Field-Programmable Custom Computing Machines (IEEE Computer Society Press) 2001.

Visavakul, C., Cheung, P.Y.K. and Luk, W.
“A digit-serial structure for reconfigurable multipliers”
in Field-Programmable Logic and Applications, LNCS 2147, Springer, 2001, 565-573.

Weinhardt, M. and Luk, W.
“Task-parallel programming of reconfigurable systems”
Field-Programmable Logic and Applications, LNCS 2147, Springer, 2001, 172-181.

Wiangtong, T., Cheung, P.Y.K. and Luk, W.
“Comparing three heuristic methods for hardware-software partitioning”
Proc. Int. Symp. on Communications and Information Technology (IEEE Press) 2001.

LUPU, Dr E

E. Lupu, S. Mazumdar, R. Stadler (eds.)
“Selected Topics in Network Management. Special Issue of Computer Networks”
Elsevier Science, 35(1), Jan. 2001.

M. Sloman, J. Lobo and E. Lupu (eds.)
Proceedings of the 2nd Policy Workshop 2001
Workshop on Policies for Distributed Systems and Networks, Springer-Verlag, LNCS 1995, Jan. 2001.

A. Corradi, R. Montanari, E. Lupu and C. Stefanelli
“Policy Controlled Mobility”
Workshop on Software Engineering and Mobility, Toronto, Ontario, Canada, May 2001.

G. Wang, E. Lupu and A. Wegmann (eds.)
Proceedings of the 5th IEEE Enterprise Distributed Object Computing Conference. Seattle, USA
IEEE CS Press, Sept. 2001.

N. Dulay, E. Lupu, M. Sloman and N. Damianou
“A Policy Deployment Model for the Ponder Language”
IFIP/IEEE Symposium on Integrated Network Management, Seattle, USA, 2001, IEEE Press.

N. Damianou, N. Dulay, E. Lupu and M. Sloman
“The Ponder Policy Specification Language”
Policy Workshop 2001, Jan. 2001, Bristol, U.K., Springer-Verlag, LNCS 1995.

MAGEE, Professor J

Uchitel S., Kramer J. and Magee J.
"Detecting Implied Scenarios in Message Sequence Chart Specifications"
(9th ACM SIGSOFT Symposium on the Foundations of Software Engineering / 8th European Software Engineering Conference (FSE / ESEC '2001), Vienna, (September 2001), pp 74-82.

MAROS, Dr I

Maros, I. and Thielemans, K.
“PET Image reconstruction by vector norm optimization”
Proceedings of MIAR 2001, Medical Imaging and Augmented Reality, IEEE Computer Society, 2001, pp. 152-156.

Akrotirianakis, I. and Maros, I. and Rustem, B.
“An Outer Approximation Based Branch And Cut Algorithm For Convex 0-1 MINLP Problems”
Optimization Methods and Software, 2001, vol. 16, No. 1-4, pp. 21-47.

Maros, I.
“A Generalized Dual Phase-2 Simplex Algorithm”
Departmental Technical Reports, Department of Computing, Imperial College 2001/2, year 2001, 26pp.

Maros, I.
“A General Pricing Scheme for the Simplex Method”
Departmental Technical Reports, Department of Computing, Imperial College 2001/3, year 2001, 14pp.

McBRIEN, Dr P J

P.J. McBrien and A. Poulovassilis
“A Semantic Approach to Integrating XML and Structured Data Sources”
In Proceedings of CAiSE01, Springer Verlag LNCS, Volume 2068, Pages 330-345, 2001

McCANN, Dr J A

Michael Schroeder, Luke Boro, Julie McCann
“Efficiency improvements for interactions of web-agents”
In Proceedings of the fifth international conference on Autonomous agents, May 28 - June 1, 2001, Montreal, Canada. ACM, 2001. ACM Press 112-113

Michael Schroeder, Julie A. McCann, Dan Haynes
“Trading without Explicit Ontologies”
Agent-Mediated Electronic Commerce III (AMEC) Frank Dignum, Ulises Cortés (Eds), Lecture Notes in Computer Science 2003 Springer 2001, ISBN 3-540-41749-4 pp108-120

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, Feb. 2001

Oskar Mencer, Nicolas Boullis, Wayne Luk, Henry Styles
“Parametrized Function Evaluation on FPGAs”
Field-Programmable Logic (FPL), Belfast, Ireland, September 2001.

Wayne Luk, Tom Kean, Arran Derbyshire, Joern Gause, Steve McKeever, Oskar Mencer, and Allen Yeow
"Parameterized hardware libraries for configurable system-on-chip technology"
Can. J. Elect. & Comp. Eng., Vol. 26, No. 3/4, July/October 2001.

MUGGLETON, Professor S H

C.H. Bryant, S.H. Muggleton, S.G. Oliver, D.B. Kell, P. Reiser, and R.D. King
“Combining inductive logic programming, active learning and robotics to discover the function of genes”
Electronic Transactions in Artificial Intelligence, 6(012), November 2001.

S.H. Muggleton, C.H. Bryant, A. Srinivasan, A. Whittaker, S. Topp, and C. Rawlings
“Are grammatical representations useful for learning from biological sequence data? - a case study”
Journal of Computational Biology, 8(5):493-521, October 2001.

P.G.K. Reiser, R.D. King, D.B. Kell, S.H. Muggleton, C.H. Bryant and S.G. Oliver
“Developing a logical model of yeast metabolism”
Electronic Transactions in Artificial Intelligence, 6(024), November 2001.

M. Turcotte, S.H. Muggleton, and M.J.E. Sternberg
“Automated discovery of structural signatures of protein fold and function”
Journal of Molecular Biology, 306:591-605, 2001.

M. Turcotte, S.H. Muggleton, and M.J.E. Sternberg
“The effect of relational background knowledge on learning of protein three-dimensional fold signatures”
Machine Learning, 1,2:81-96, April-May 2001.

A. Tamaddoni-Nezhad and S. Muggleton
“Using genetic algorithms for learning clauses in first-order logic”
In Proceedings of the Genetic and Evolutionary Computation Conference, GECCO-2001, pages 639-646, San Francisco, CA, 2001. Morgan Kaufmann Publishers.

PHILLIPS, Dr I C C

I.C.C. Phillips
“CCS with priority guards”
Proceedings of CONCUR'01, LNCS, Springer-Verlag, 2154, pp. 305-320, 2001

RUECKERT, Dr D

M. J. Clarkson, D. Rueckert, D. L. G. Hill, and D. J. Hawkes
“Using photo-consistency to register 2D optical images of the human face to a 3D surface model”
IEEE Transactions on Pattern Analysis and Machine Intelligence, 23(11):1266-1281, 2001.

R. Chandrashekara, R. H. Mohiaddin, and D. Rueckert
“Interactive visualization and analysis of myocardial motion using tagged MRI”
In Workshop on Interactive Medical Image Visualization and Analysis, pages 37-40, Utrecht, NL, October 2001.

D. Rueckert, A. F. Frangi, and J. A. Schnabel
“Automatic construction of 3D statistical deformation models using non-rigid registration”
In Fourth Int. Conf. on Medical Image Computing and Computer-Assisted Intervention. (MICCAI '01), pages 77-84, Utrecht, NL, October 2001.

J. A. Schnabel, D. Rueckert, M. Quist, J. M. Blackall, A. D. Castellano Smith, T. Hartkens, G. P. Penney, W. A. Hall, H. Liu, C. L. Truwit, F. A. Gerritsen, D. L. G. Hill, and D. J. Hawkes
“A generic framework for non-rigid registration based on non-uniform multi-level free-form deformations”
In Fourth Int. Conf. on Medical Image Computing and Computer-Assisted Intervention (MICCAI '01), pages 573-581, Utrecht, NL, October 2001.

A. F. Frangi, D. Rueckert, J. A. Schnabel, and W. J. Niessen
“Automatic 3D ASM construction via atlas-based landmarking and volumetric elastic registration”
In Information Processing in Medical Imaging: Proc. 17th International Conference (IPMI'01), pages 78-91, Davis, CA, July 2001.

D. Rueckert
“Non-rigid registration: Techniques and applications”
In J. V. Hajnal, D. L. G. Hill, and D. J. Hawkes, editors, Medical Image Registration. CRC Press, 2001.

R. Razavi, D. Rueckert, P. Summers, J. A. Schnabel, M. Miquel, E. Rosenthal, and E. Baker
“Detection of arrhythmogenic substrate by Magnetic Resonance Imaging”
In Proc. of the Society for Cardiovascular Magnetic Resonance, January 2001.

RUEGER, Dr S M

S Doraisamy and S M Rüger
“An Approach towards a Polyphonic Music Retrieval System”
In Proceedings of ISMIR 2001, pp 187-193, 2001

D Heesch, J Hoare, M Gardoni, D Gillies and S M Rüger
“Content-Based Sketch Retrieval and Relevance Feedback”
In Proceedings of SSGRR 2001

R Cooper and S M Rüger
“A Simple Question Answering System”
In Proceedings of TREC-9, NIST Special Publication, pp 251-257, 2001

RUSSO, Dr A

Nuseibeh, B., Easterbrook, S., and Russo, A.
“Making Inconsistency Respectable in Software Development”
Journal of Systems and Software, 58(2): 171-180, September 2001, Elsevier Science Publishers.

Russo, A, and Nuseibeh, B
“On the use of Logical Abduction in Software Engineering”
In Handbook of Software Engineering and Knowledge Engineering, Chang, S. K., eds., World Scientific Publishing, November 2001.

A S. d’Avila Garcez, Alessandra Russo, Bashar Nuseibeh and Jeff Kramer
“An Analysis-Revision Cycle to Evolve Requirements Specifications”
Proceedings of 16th IEEE International Conference on Automated Software Engineering (ASE-2001), 26-29 November 2001, San Diego, USA.

Dov Gabbay, Odinaldo Rodrigues and Alessandra Russo
“Belief Revision in Non-Classical Logics”
IJCAI01 Workshop on "Inconsistency in Data and Knowledge", Toronto, August 2001.

RUSTEM, Professor B

S. Zakovic, B. Rustem, C. Pantelides
“An Interior Point Algorithm for Computing a Saddle Point to a Constrained Continuous Minimax Problem"
Annals of Operations Research, 99, 59-77, (2001)

Rustem, B.
"Algorithms for minimax and robust decisions"
SME 2001, IFAC Symposium on Modelling & Control of Economic Systems, Klagenfurt, Sept 2001

Osorio, M., N. Gulpinar, B. Rustem
"Modelling Post Tax Optimal Investments"
EURO 2001, The European Operational Research Conference, Erasmus University, July 9-11, 2001, Rotterdam, Netherlands.

Akrotirianakis, I., I. Maros, B. Rustem
"An Outer Approximation Based Branch and Cut Algorithm for Convex MINLP Problems”
Optimization Methods and Software, 16, 21-47 (2001)

Osorio, M., R. Settergren, B. Rustem, N. Gülpinar
"Post Tax Optimal Investments"
FEES 2001, Financial Engineering, E-Commerce and Supply Chain, Baltzer Publishers.

SADRI, Dr F

F. Sadri, F. Toni, P. Torroni
“Dialogues for Negotiation: Agent Varieties and Dialogue Sequences”
Proc. ATAL'01, International workshop on Agents, theories, architectures and languages, J.J. Maher ed., Springer Verlag.

F. Sadri, F. Toni, P. Torroni
“Logic Agents, Dialogue, Negotiation - an Abductive Approach”
Proc. AISB Symposium on Information Agents for E-commerce, M. Schroeder, K. Stathis eds, 2001

F. Sadri, F. Toni, I. Xanthakos
“An Abductive Framework for Semantic Integration of Information”
Department of Computing, 2001.

SERGOT, Professor M J

A. Lomuscio, M.J. Sergot
“Extending interpreted systems with some deontic concepts”
Theoretical Aspects of Rationality and Knowledge (TARK'01), Siena, July 2001.

Sergot, M.J.
“A computational theory of normative positions”
ACM Transactions on Computational Logic 2(4):581--622 (October 2001)

Sergot, M.J., Richards, F.C.M.
“On the representation of action and agency in the theory of normative positions”
Fundamenta Informaticae 48(2--3):273--293 (November 2001)

Sadigh, B.F. Sergot, M.J., Bandemann, O.
“Using Authority Certificates to Create Management Structures”
Proc. Security Protocols, 9th International Workshop, Cambridge, April 2001. Springer Verlag.

A. Lomuscio, M.J. Sergot
“On multi-agent systems specification via deontic logic”
Agent theories, languages, and architectures (ATAL'01). Seattle, August 2001. Springer LNCS to appear.

SLOMAN, Professor M

Chalmers D, Sloman M, Dulay N
“Map Adaptation for Mobile Systems”
10th Intl. World-Wide Conference (WWW10), Hong Kong, May 2001.

N. Damianou, N. Dulay, E. Lupu, M Sloman
“The Ponder Specification Language”
Proc. Policy 2001: Workshop on Policies for Distributed Systems and Networks, Bristol, UK, 29-31 Jan. 2001, Springer-Verlag LNCS 1995, pp. 18-39

N. Dulay, E. Lupu, M. Sloman, N. Damianou
“A Policy Deployment Model for the Ponder Language”
IEEE/IFIP International Symposium on Integrated Network Management VII (IM'2001), Seattle, May 2001, IEEE Press. pp. 529-544

Krishnakumar K, Sloman M
“Constraint-Based Configuration of Proxylets for Programmable Networks”
Proc. 8th International Workshop on Interactive Distributed Multimedia Systems (IDMS'2001), Lancaster, UK, 4-7 Sep 2001,Springer LNCS 2158, pp. 245-256

M. Sloman, J. Lobo and E. Lupu (eds.)
Proceedings of the 2nd Policy Workshop 2001
Workshop on Policies for Distributed Systems and Networks, Springer-Verlag, LNCS 1995, Jan. 2001.

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

M.B Smyth and R. Tsaur
“A digital version of the Kakutani fixed point theorem for convex-valued multifunctions”
In T. Hurley, M. Mac an Airchinnigh, M. Schellekens, and A. Seda, editors, The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT 2000), volume 40 of Electron. Notes Theor. Comput. Sci., 15 pages, 2001.

R. Tsaur and M.B Smyth
“Continuous multifunctions in discrete spaces with applications to fixed point theory”
In G. Bertrand, A. Imiya, and R. Klette, editors, Digital and Image Geometry, volume 2243 of Lecture Notes in Comput. Sci., pages 75-88, 2001.

TONI, Dr F

F. Toni
“Automated information management via abductive logic agents”
Journal of Informatics and Telematics, Elsevier, 18(1): 89-104, 2001.

F. Sadri, F. Toni, P. Torroni
“Logic Agents, Dialogue, Negotiation - an Abductive Approach”
Proc. AISB Symposium on Information Agents for E-commerce, M. Schroeder and K. Stathis eds, 2001.

P. Torroni, F. Toni
“Extending a logic based one-to-one negotiation framework to one-to-many negotiation”
Proc. ESAW2001, International Workshop on Engineering Societies in the Agents' World, A. Omicini, P. Petta and R. Tolksdorf, eds., Springer Verlag LNAI 2203, 2001.

A.C. Kakas, R.S Miller, F. Toni
“E-RES: Reasoning about actions, events and observations”
Proc. LPNMR01, International Workshop on Logic Programming and Non-monotonic Reasoning, Eiter and Truszczynski, eds., Springer Verlag LNAI 2173, pages 254-266, 2001

F. Sadri, F. Toni, P. Torroni
“Dialogues for negotiation: agent varieties and dialogue sequences”
2001. Proc. of ATAL01, International Workshop on Agents' Theories, Architectures and Languages, J.J. Maher ed., Springer Verlag (to appear). (Best paper award.)

A.C. Kakas, R.S Miller, F. Toni
“E-RES: Reasoning about actions, events and observations”
2001 Proc. IJCAI-01 Workshop on Nonmonotonic Reasoning, Action and Change. M. Thielscher, M.-A. Williams eds.

van BAKEL, Dr S

S. van Bakel, F. Barbanera, and M. Fernandez
“Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and ß-Rule”
Technical Report 2001/01, Department of Computer Science, Imperial College.

WIKLICKY, Dr H

Alessandra Di Pierro and Herbert Wiklicky
“Measuring the Precision of Abstract Interpretations”
in Proceedings of LOPSTR'00: 10th International Workshop on Logic-Based Program Synthesis and Transformation - London, K.-K. Lau (ed.), pages 147-164. Lecture Notes in Computer Science, volume 2042, Springer Verlag, 2001.

Alessandra Di Pierro, Chris Hankin and Herbert Wiklicky
“Probabilistic Confinement in a Declarative Framework”
in Declarative Programming: Selected Papers from AGP 2000 - La Havana, Cuba, A.Dovier, M.C.Meo and A.Omicini (eds.), 23 pages. Electronic Notes in Theoretical Computer Science, volume 48, Elsevier, 2001.

Alessandra Di Pierro and Herbert Wiklicky
“Quantum Constraint Programming”
in Proceedings of APPIA-GULP-PRODE'01 – Joint Conference on Declarative Programming - Evora, Portugal, Luis Moniz Pereira and Paolo Quaresma (eds.), pages 113-130. September 2001.

Alessandra Di Pierro, Antonio Brogi and Herbert Wiklicky
“Linear Embedding for a Quantitative Comparison of Language Expressiveness”
in Pre-Proceedings of QAPL'01: ACM Workshop on Quantitative Aspects of Programming Languages - Fierenze, Italy, A.Di Pierro and H.Wiklicky (eds.), September 2001.

Thom Fruhwirth, Alessandra Di Pierro and Herbert Wiklicky
“Towards Probabilistic Constraint Handling Rules”
in Proceedings of RCoRP'01: CP'01/ICLP'01 Joint Workshop on Rule-Based Constraint Reasoning and Programming - Paphos, Cyprus, S.Abdennadher and T.Fruhwirth (eds.), November 2001.

YANG, Dr G Z

Veeser S, Dunn M, Yang GZ
“Multi-resolution Image Registration for 2D Gel Electrophoresis”
Electrophoresis, 2001 July;1:856-870.

Chabat F, Hu X, Hansell DM, Yang GZ
“ERS Transform for automated detection of bronchial abnormalities on CT”
IEEE Trans Medical Imaging, Vol 20(9), 942-952, 2001.

Gatehouse PD, Keegan J, Yang GZ, Firmin DN
“Tracking local volume 3D coronary artery imaging”
Magn Reson Med, 2001 Nov;46(5):1031-6.

Merrifield RD, Keegan J, Firmin DN, Yang GZ
“Dual contrast trueFISP imaging for left ventricular segmentation”
Magn Reson Med, 2001 Nov;46(5):939-45.

Panting JR, Gatehouse PD, Yang GZ, Jerosch-Herold M, Wilke N, Firmin DN, Pennell D
“Echo-planar magnetic resonance myocardial perfusion imaging: Parametric map analysis and comparison with thallium SPECT “
J Magn Reson Imaging 2001 Feb;13(2):192-200.

Firmin DN, Gatehouse PD, Keegan J, Jhooti P, Yang GZ
“Flow and Motion: Implications on Cardiac MR”
Medical Imaging and Augmented Reality 2001, IEEE Computer Society Press, 53-60.

Keegan J, Gatehouse PD, Yang GZ, Firmin DN
“Subject Specific Motion Correction Factor for Magnetic Resonance Coronary Angiography”
Medical Imaging and Augmented Reality 2001, IEEE Computer Society Press, 67-71.

Masood, Estcourt, GN, Gatehouse P, Firmin DN, Yang GZ
“Virtual Tagging for Analysing Cardiac Deformation”
Medical Imaging and Augmented Reality 2001, IEEE Computer Society Press, 61-66.

Merrifield RD, Keegan J, Firmin DN, Yang GZ
“A Novel Imaging Strategy for Structural Segmentation of the Left Ventricle”
Medical Imaging and Augmented Reality 2001, IEEE Computer Society Press, 157-162.

Gao J, Ding Z, Yang GZ
“3D element generation for multi-connected complex dental and mandibular structure”
Medical Imaging and Augmented Reality 2001, IEEE Computer Society Press, 267-271.