• Contact
• Maps
• Departments

Navigation menu

School of Computing

• Home
• Research
  • Publications
  • Groups
  • Research staff
  • Projects
  • Research admissions
  • Research at Kent
• Teaching

Studying

• Becoming a postgraduate
• Becoming an undergraduate

Activities

• News
• National & International services
• Seminars
• Schools Liaison
• Outreach
• Kent IT Clinic
• Kent enterprise

Local users

• For current students and staff
• Systems Support

About us

• Contacts - How to find us
• People

Search

School of Computing

Computer Science: Publication Index 2001

• Diversity of safety arguments in the validation of a sounding rocket destruction system. M. A. D. Abdala, C. H. N. Lahoz, and R. de Lemos. In Proceedings of the International Systems Safety Conference, pages 801-810, September 2001.
• On Querying UML data models with OCL. D.H. Akehurst and B. Bordbar. In <<UML>> 2001 "Modeling Languages, Concepts and Tools", October 2001.
• Integration of Security and Reliability in a Distributed Collaborative Environment. Edries Abdelhadi Ali. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, October 2001.
• Joined up writing: an internet portal for research into the historic environment. Tony Austin, Francisco Pinto, Julian Richards, and Nick Ryan. In G. Burenhult, editor, Forthcoming paper in CAA 2001: Proceedings of Computer Applications and Quantitive Methods in Archeology Conference. Gotland University, Visby, Gotland - Sweden, April 2001.
• The impact of programming paradigms on the efficiency of an individual-based simulation model. David J. Barnes and Tim R. Hopkins. Technical Report 17-01, University of Kent, Computing Laboratory, UKC, Canterbury, Kent, UK., December 2001.
• Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment. F.R.M. Barnes and P.H. Welch. In Alan Chalmers, Majid Mirmehdi, and Henk Muller, editors, Communicating Process Architectures 2001, number 59 in Concurrent Systems Engineering Series, pages 243-264. IOS Press, Amsterdam, The Netherlands, September 2001.
• tranx86 - an Optimising ETC to IA32 Translator. F.R.M. Barnes. In Alan Chalmers, Majid Mirmehdi, and Henk Muller, editors, Communicating Process Architectures 2001, number 59 in Concurrent Systems Engineering Series, pages 265-282. IOS Press, Amsterdam, The Netherlands, September 2001.
• Issues raised in modelling trust in a public key infrastructure. A. Basden, E. Ball, and D.W. Chadwick. Expert Systems, 18(5):233-249, November 2001.
• Data Mining with Constrained-syntax Genetic Programming: Applications in Medical Data Sets. CC Bojarczuk, HS Lopes, and AA Freitas. In Proc Intelligent Data Analysis in Medicine and Pharmacology - a workshop at MedInfo-2001, London, September 2001.
• Usability pattern language: Creating a community. Jan O. Borchers, Sally Fincher, Richard Griffiths, Lyn Pemberton, and Elke Siemon. AI & Society Journal of Human-Centred Systems and Machine Intelligence, 15(4):377-385, December 2001.
• A connectionist model of inhibitory processes in motor control and its application to a masked priming task. H. Bowman, A. Aron, E. Eimer, and F. Schlaghecken. Technical Report 14-01, University of Kent, Computing Laboratory, November 2001.
• Analysis of a multimedia stream using stochastic process algebra. H. Bowman, J.W. Bryans, and J. Derrick. The Computer Journal, 44(4):230-245, April 2001.
• Computational modelling of distributed executive control. H. Bowman and P.J. Barnard. technical report 12-01, University of Kent, Computing Laboratory, Canterbury, Kent, UK, September 2001.
• Formal methods for distributed processing, a survey of object-oriented approaches. H. Bowman and J. Derrick, editors. Cambridge University Press, Cambridge, UK, September 2001.
• Issues in formal methods (chapter 3). H. Bowman and J. Derrick. In H. Bowman and J. Derrick, editors, Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches, pages 18-35. Cambridge University Press, Cambridge, UK, September 2001.
• Viewpoints modelling. H. Bowman and J. Derrick. In H. Bowman and J. Derrick, editors, Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches, pages 451-475. Cambridge University Press, Cambridge, UK, September 2001.
• Formal Methods Elsewhere. Howard Bowman, editor, volume 43 of Electronic Notes in Theoretical Computer Science. Elsevier Science, June 2001. A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering.
• Time and action lock freedom properties of timed automata. Howard Bowman. In M. Kim, B. Chin, S. Kang, and D. Lee, editors, Formal Techniques for Networked and Distributed Systems, pages 119-134. Kluwer Academic Publishers, August 2001.
• Constructive foundations of stochastic analysis in linear logic. Manuela L. Bujorianu and Marius C. Bujorianu. In EATCS Bulletin, editor, BCTCS 17 British Colloquium for Theoretical Computer Science, volume 74. EATCS, April 2001.
• An abstract domain for probabilistic hybrid systems. Marius C. Bujorianu and Manuela L. Bujorianu. BULLETIN of the European Association for Theoretical Computer Science EATCS, N. 74, June 2001, April 2001.
• Logics, viewpoints and tests: Towards a trinity. Marius C. Bujorianu and Manuela L. Bujorianu. NATO ASI Doctoral Symposium, in conjunction with Proof and System Reliability, International Summer School), July 2001.
• On the Hilbert Machines Quantitative Computational Model. Marius C. Bujorianu and Manuela L. Bujorianu. In Firenze University, editor, QAPL'01 Workshop on Quantitative Aspects of Programming Laguages. ACM, September 2001.
• Order theoretic topologies and hybrid systems. Marius C. Bujorianu and Manuela L. Bujorianu. In University of Hull, editor, 5th Galway Colloquium on General Topology. LMS, University of Hull, June 2001.
• Fault-tolerant structures: Towards robust self-replication in a probabilistic environment. D. Bünzli and M. Capcarrere. In Kelemen and Sosik, editors, European Conference on Artificial Life VII, the proceedings, pages 90-99. Spinger-Verlag, September 2001.
• Necessary Conditions for Density Classification by Cellular Automata. M Capcarrere and M Sipper. Physical Review E, 6403(3):6113-7, September 2001. Part 2.
• Portrait of 2000/01 Part I Assessments, Part 1: Statistical Analysis. Janet Carter, Jill Tardivel, Sally Fincher, Ursula Fuller, Colin Johnson, Janet Linington, and Ian Utting. Technical Report 10-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, August 2001.
• Arresting the Decline: how can we encourage female students back into Computer Science. Janet Carter and Tony Jenkins. In Proceedings of Higher Education Close Up 2 international research conference, Lancaster, July 2001. SRHE, Higher Education Development Centre.
• Where have all the girls gone? What entices female students to apply for Computer Science degrees. Janet Carter and Tony Jenkins. In Proceedings of 2nd annual LTSN-ICS conference, London, August 2001.
• Email Seminars and Student Scaffolding. Janet Carter and Jill Tardivel. Technical Report 13-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, September 2001.
• Arresting the Decline: conversations with female CS undergraduates. Janet Carter. Technical Report 8-01, University of Kent, Computing Laboratory, July 2001.
• Students' Preconceptions of Computing. Janet Carter. In Proceedings of ICEE 2001, Oslo, August 2001.
• What do the students do when they work on programming assignments?. Janet Carter. In A B McCaughy, editor, 1st LTSN-ICS one day conference on the teaching of Programming, Leeds, April 2001. LTSN-ICS, LTSN-ICS.
• An Immunological Algorithm for Discovering Small-disjunct Rules in Data Mining. DR Carvalho and AA Freitas. In Proc Graduate Student Workshop at GECCO-2001, pages 401-404, San Francisco, USA, July 2001.
• Class Refinement for Sequential Java. ALC Cavalcanti and DA Naumann. In ECOOP 2001 Workshop on Formal Techniques for Java Programs, 2001.
• Providing Secure Access to Confidential Patient Information Detailing Diabetic Condition. D. W. Chadwick, J. P. New, D. M. McDowell, and D.P. Mundy. In P. Graham, M. Maheswaran, and R. Eskicioglu, editors, The International Conference On Internet Computing 2001, volume I, pages 535-541. CSREA Press, 2001.
• Evaluating trust in a public key certification authority. D. W. Chadwick and A. Basden. Computers and Security, 20(7):592-611, November 2001.
• Deficiencies in LDAP when used to Support a Public Key Infrastructure. D.W. Chadwick. In Terena Networking Conference, Antalya, May 2001.
• An X.509 role based privilege management infrastructure. D.W. Chadwick. In Briefing - Global InfoSecurity 2002, World Markets Research Centre Ltd. World Markets Research Centre, October 2001. On accompanying CD-ROM Reference Library/03.pdf.
• Freja, Hat and Hood - a comparative evaluation of three systems for tracing and debugging lazy functional programs. Olaf Chitil, Colin Runciman, and Malcolm Wallace. In Markus Mohnen and Pieter Koopman, editors, Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), LNCS 2011, pages 176-193, Aachen, Germany, March 2001. Springer.
• Compositional explanation of types and algorithmic debugging of type errors. Olaf Chitil. In Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP'01), pages 193-204, Firenze, Italy, September 2001. ACM.
• Pretty printing with lazy dequeues. Olaf Chitil. In Ralf Hinze, editor, Preliminary Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, pages 183-201, Firenze, Italy, September 2001. Universiteit Utrecht UU-CS-2001-23. Final Proceedings to appear in ENTCS 59(2).
• A semantics for tracing. Olaf Chitil. In Thomas Arts and Markus Mohnen, editors, Draft Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001, pages 249-254, Älvsjö, Sweden, September 2001. Ericsson Computer Science Laboratory.
• Differential involvement of NMDA, AMPA/kainate, and dopamine receptors in the nucleus accumbens core in the acquisition and performance of pavlovian approach behavior. P. Di Ciano, R.N. Cardinal, R.A. Cowell, S.J. Little, and B.J. Everitt. Journal of Neuroscience, 21(23), December 2001.
• Models and Areas for CS Education Research. M. Clancy, J. Stasko, M. Guzdial, S. Fincher, and N. Dale. Computer Science Education, 11(4):323-341, December 2001.
• A Reference Implementation for UML. A Clark, A Evans, and S Kent. In B Henderson-Sellers and F Barbier, editors, Object Modelling with UML, volume 7 of Special Issue of L'Objet, pages 363-385. Hermes Science, 2001.
• The Meta-Modeling Language Calculus: Foundation Semantics for UML. A Clark, A Evans, and S Kent. In Proceedings of ETAPS FASE Conference. Springer-Verlag, 2001.
• Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification. James Cole, John Derrick, Zoran Milosevic, and Kerry Raymond. In Morris Sloman, Jorge Lobo, and Emil Lupu, editors, Policies for Distributed Systems and Networks, volume 1995 of Lecture Notes in Computer Science, pages 1-17. Springer-Verlag, January 2001.
• Knowledge, organisation and suggestion schemes. R.E. Cooley, C. Helbling, and U.D. Fuller. In S. Tsuchiya and J-P. A. Barthes, editors, ISMICK 01 Management of Industrial and Corporate Knowledge, pages 47-56, UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE, 60200 FRANCE, October 2001. INSTITUT INTERNATIONAL POUR L'INTELLIGENCE ARTIFICIELLE, UTC, COMPIEGNE, FRANCE.
• E-commerce, Location and IT Aspects of Kent Cancer Centre Network. R.E. Cooley, A. Jackson, and R. James. Information & Communications Technology Law, 10(3):293-298, October 2001.
• Vocabulary acquisition software: user preferences and tutorial guidance. R. E. Cooley. In AIED 2001 Workshop Papers: Computer Assisted Language Learning.May 20, 2001 (SU1), pages 17-23, May 2001.
• Information systems and the navy board in the 18th century. R.E. Cooley. In M. Roberts, M. Moulton, S. Hand, and C. Adams, editors, Information Systems in the Digital World. Proceedings of the 6th UKAIS Conference University of Portsmouth, England, UK, 18-20 April 2001, pages 134-143. Zeus Press, Manchester, UK., April 2001.
• A Genetic Algorithm for the P-median Problem. ES Correa, MTA Steiner, AA Freitas, and C Carnieri. In LE Spector, E Goodman, and et al, editors, Proc. 2001 Genetic and Evolutionary Computation Conference (GECCO-2001), pages 1268-1275, San Fracisco, USA, July 2001. Morgan Kaufmann.
• Exception Handling in the Software Lifecycle. R de Lemos and A. Romanovsky. International Journal of Computer Systems Science and Engineering, 16(2):167-181, March 2001.
• Analysing Failure Behaviours in Component Interaction. R de Lemos. Technical Report 2-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, March 2001.
• Describing evolving dependable systems using co-operative software architectures. R. de Lemos. In Proceedings of the IEEE International Conference on Software Maintenance (ICSM’01), pages 320-329. IEEE Computer Society, November 2001.
• Describing Evolving Dependable Systems using Co-operative Software Architectures. R de Lemos. Technical Report 1-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, March 2001.
• Representing Exceptional Behaviour at the earlier Phases of Software Development. R. de Lemos. In Proceedings of the 9th Brazilian Symposium of Fault-Tolerant Computing (SCTF), pages 233-236, March 2001.
• Refinement in z and object-z: Foundations and advanced applications. John Derrick and Eerke Boiten. Formal Approaches to Computing and Information Technology. Springer, May 2001.
• Formal Bytecode Generation for a ROOL Virtual Machine. A Duran, ACA Sampaio, and ALC Cavalcanti. In 4th Brazilian Workshop on Formal Methods, 2001.
• Incorporating deviation-detection functionality into the OLAP paradigm. CC Fabris and AA Freitas. In MLQ Mattoso and G Xexeo, editors, Proc. XVI Brazilian Symposium on Databases (SBBD-2001), pages 274-285, Rio de Janeiro, Brazil, October 2001.
• Explicit representation of exception handling in the development of dependable component-based systems. G. R. M. Ferreira, C. M. F. Rubira, and R. de Lemos. In Proceedings of the IEEE International High-Assurance Systems Engineering Symposium (HASE 2001), pages 182-193. IEEE Computer Society, October 2001.
• Computer science project work: Principles and pragmatics. Sally Fincher, Marian Petre, and Martyn Clark. Springer-Verlag, January 2001.
• Serendipity in the engineering curriculum. Sally Fincher and Keith Mander. In Proceedings of the ICEE 2001 conference, August 2001.
• Promotion and dissemination of good practice: Discipline networks. Sally Fincher. Technical Report 7-01, University of Kent, Computing Laboratory, July 2001.
• Integrated spatiotemporal analysis for environmental applications. Robert Frank and Zarine Kemp. In Peter J. Hall, editor, Spatial information and the environment, Innovations in GIS 8, pages 121-134. Taylor and Francis, April 2001.
• Ontologies for decision support in environmental information systems. Robert Frank and Zarine Kemp. In David B. Kidner and Gary Higgs, editors, Proceedings of GIS Research UK, 9th National Conference, Glamorgan Wales, UK, pages 53-58, April 2001.
• Ontologies for knowledge discovery in environmental information systems. Robert Frank and Zarine Kemp. In Alessandra Raffaetà and Chiara Renso, editors, Complex Reasoning on Geographical Data (CRGD), pages 15-30. Servizio Tecnografico Area della Ricerca del CNR, Pisa, December 2001.
• Animating CSP(M) Using Action Semantics. L Freitas, ALC Cavalcanti, and H Moura. In 4th Brazilian Workshop on Formal Methods, 2001.
• Animating CSPm using Action Semantics. Leonardo Freitas, ALC Cavalcanti, and Hermano Moura. In Proceedings of IV Workshop em Metodos Formais, page 12. Sociedade Brasileira de Computacao, October 2001. http://www.cin.ufpe.br/ lfsf.
• Book Review: Data Mining Using Grammar-based Genetic Programming and Applications. AA Freitas. Genetic Programming and Evolvable Machines, 2(2):197-199, June 2001.
• Understanding the crucial role of attribute interaction in data mining. AA Freitas. Artificial Intelligence Review, 16(3):177-199, November 2001.
• Visual tools for natural language processing. R. Gaizauskas, P.J. Rodgers, and K. Humphreys. Journal of Visual Languages & Computing, 12(4):375-412, August 2001.
• Towards a Formalization of Constraint Diagrams. J Gil, J Howse, and S Kent. In Proceedings of IEEE Symposia on Human-Centric Computing, pages 72-79, Stresa, Italy, 2001. IEEE Computer Society Press.
• Testing an event specification language. R Gomez, J C Augusto, and A Galton. In Proceedings of the 13th. International Conference on Software Engineering and Knowledge Engineering (SEKE'01), pages 341-345, Buenos Aires, Argentina, June 2001.
• Complexity Beyond Agent-Based Models. D Gross and D Jefferies. Complexity International, 8, January 2001.
• Natur in Silico: Agenbasierte modelle komplexer nat urlicher systeme: eine kritik. D Gross. Mensch und Buch Verlag, Berlin, January 2001.
• A long hard look at the influence of software defects on scientific software. L Hatton. International software engineering series, Los Alamos National Laboratory, US, 2001. Also as a report for the Computing Laboratory, University of Cambridge.
• Exploring the role of diagnosis in software failure. L Hatton. IEEE Software, July 2001.
• Keynote Paper in ESCOM 2001. L Hatton. In Software defects: how do we satisfy customers in the long term?, London, 2001.
• Keynote Paper in ITiCSE Conference. L Hatton. In Computer Science Education or Computer Fashion Awareness?. UKC, September 2001.
• Efficient Groundness Analysis in Prolog. J. M. Howe and A. King. Technical Report 15-01, University of Kent, Computing Laboratory, December 2001. To appear in Theory and Practice of Logic Programming.
• Positive Boolean Functions as Multiheaded Clauses. J. M. Howe and A. King. In P Codognet, editor, International Conference on Logic Programming, Lecture Notes in Computer Science 2237, pages 120-134. Springer-Verlag, November 2001. see http://www.springer.de./comp/lncs/index.html.
• Three Optimisations for Sharing. Jacob Howe and Andy King. Technical Report 11-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, August 2001. Accepted to appear in Theory and Practice of Logic Programming subject minor corrections.
• Widening BDDs. Jacob M. Howe and Andy King. Technical Report 5-01, University of Kent, Computing Laboratory, May 2001.
• Proof Search in Lax Logic. Jacob M. Howe. Mathematical Structures in Computer Science, 11(4):573-588, August 2001.
• Spider Diagrams: A Diagrammatic Reasoning System. J Howse, F Molina, J Taylor, S Kent, and J Gil. Journal of Visual Languages and Computing, 12(3), June 2001.
• The Motivation of Students of Programming. Tony Jenkins. Master's thesis, Computing Laboratory, University of Kent at Canterbury, UK, September 2001.
• Phase transitions in multi-robot interactions. Colin G. Johnson and Steven J. Brodie. In U. Nehmzow and C. Melhuish, editors, Towards Intelligent Mobile Robots - Proceedings of the 3rd British Conference on Autonomous Mobile Robotics and Autonomous Systems, University of Manchester Technical Reports volume UMCS-01-4-1, page 7. University of Manchester, April 2001.
• Finding diverse examples with genetic algorithms. Colin G. Johnson. In Robert John and Ralph Birkenhead, editors, Developments in Soft Computing, Advances in Soft Computing, pages 92-99. Physica/Springer-Verlag, July 2001.
• Proceedings of the AISB'01 symposium on emotion, cognition and affective computing. Colin G. Johnson, editor. Society for the Study of Artificial Intelligence and the Simulation of Behaviour, AISB Press, March 2001.
• Understanding complex systems through examples: A framework for qualitative example finding. Colin G. Johnson. Systems Research and Information Systems, 10(3-4):239-267, January 2001.
• Red-black trees with types. Stefan Kahrs. Journal of Functional Programming, 11(4):425-432, July 2001.
• Visualization for Fisheries Management from a Spatiotemporal Perspective. Z Kemp and G Meaden. ICES Journal of Marine Science, November 2001.
• The Unified Modelling Language. S Kent. In H Bowman and J Derrick, editors, Formal Methods for Distributed Processing: An OO Approach. Cambridge University Press, 2001.
• A Backward Analysis for Constraint Logic Programs. A. King and L. Lu. Technical Report 4-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, Kent, CT2 7NF, UK, December 2001. To appear in Theory and Practice of Logic Programming.
• Aine: An immunological approach to data mining. T Knight and J Timmis. In N Cercone, T Lin, and Xindon Wu, editors, IEEE International Conference on Data Mining, pages 297-304, San Jose, CA. USA, December 2001. IEEE.
• Assessing the performance of the resource limited artificial immune system AINE. Thomas Knight and Jon Timmis. Technical Report 3-01, Canterbury, Kent. CT2 7NF, May 2001.
• Guidelines for teaching object orientation with java. Michael Kolling and John Rosenberg. In Proceedings of the 6th conference on Information Technology in Computer Science Education (ITiCSE 2001), pages 33-36, Canterbury, England, June 2001. ACM.
• Designing the interface: progression of an on-line personality. Duncan Langford. In CEPE 2001, Lancaster, December 2001.
• E-Commerce and E-Ethics - A Pragmatic Evaluation. Duncan Langford. In H Krawczyk, B Wiszniewski, and et al, editors, Systems of the Information Society, volume 1 and 2, Technical University of Gdansk, Poland, 2001.
• Ethical Issues in Business Computing. Duncan Langford. In Spinello R and Tavani H, editors, Readings in Cyberethics. Jones and Bartlett, Boston, Mass. USA, 2001.
• Internet Protocol. Duncan Langford. In R Chadwick, editor, Ethics in Politics and the Media. Academic Press, San Diego, 2001.
• Professional Ethics in Information Systems. Duncan Langford. In HICSS-34, volume 8 of Proceedings of the 34th Annual Hawaii International Conference on System Sciences, Hawaii, January 2001.
• Statecharts for Business Process Modelling. A Lauder and S Kent. In J Filipe B Sharp and J Cordeiro, editors, Enterprise Information Systems. Kluwer Academic Publishers, 2001.
• Specification and implementation in ODP. P.F. Linington and W.F. Frank. In J.Cordeiro and H.Kilov, editors, Proceedings of the 1st Workshop on Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realisation, pages 69-80, Setubal, Portugal, July 2001. ICEIS Press.
• Distributed Systems, an ODP Perspective. P.F. Linington. In H.Bowman and J.Derrick, editors, Formal Methods for Distributed Processing, chapter 2, pages 18-35. Cambridge University Press, October 2001.
• Issues in distributed systems. P.F. Linington. In H.Bowman and J.Derrick, editors, Formal Methods for Distributed Processing, pages 3-17. Cambridge University Press, October 2001.
• Towards a Viable Alternative to OO - Extending the sf occam/CSP Programming Model. T.S. Locke. In A.Chalmers, M.Mirmehdi, and H.Muller, editors, Communicating Process Architectures 2001, volume 59 of Concurrent Systems Engineering Series, pages 329-349, Amsterdam, The Netherlands, September 2001. IOS Press.
• The Decline and Fall of the American Programmer?. K C Mander. Communications of the ACM, 44(7):43-44, July 2001.
• A novel architecture for active service management. IW Marshall, H Gharib, J Hardwicke, and CM Roadknight. In Proceedings IM2001, IEE 2001, pages 795-811, 2001.
• A policy based management architecture for large scale active communcation systems. IW Marshall and P McKee. In Sloman, Lobo, and Lupu, editors, Policies for Distributed Systems and Networks, LNCS 1995. Springer Verlag, 2001.
• Provision of quality of service for active services. I W Marshall and C M Roadknight. Computer Networks, 36(1):75-87, June 2001.
• Differentiated quality of service in application layer active networks. IW Marshall and CM Roadknight. In Yasuda, editor, Active Networks, LNCS 1942, pages 358-371. Springer Verlag, 2001.
• Emergent organization in colonies of simple automata. IW Marshall and CM Roadknight. In J Kelemen and P Sosik, editors, Advances in Artificial Life, number 2159 in Lecture Notes in Artificial Intelligence, pages 349-356. Springer Verlag, 2001.
• Management of future data networks. IW Marshall and CM Roadknight. In Proceedings IEEE Systems, Management and Cybernetics Conference, Tucson, October 2001.
• A multinational, multi-institutional study of assessment of programming skills of first-year CS students. M. McCracken, V. Almstrum, D. Diaz, M. Guzdial, D. Hagan, Y.B.-D. Kolikant, C. Laxer, L. Thomas, I. Utting, and T. Wilusz. ACM SIGCSE Bulletin, 33(4):125-140, December 2001.
• Towards the Implementation of Evolving Autopoietic. B McMullin and D Gross. In Proceedings of the 6th European Conference on Advances in Artificial Life, pages 440-443. Springer-Verlag, September 2001.
• Discovering fuzzy classification rules with genetic programming and co-evolution. RRF Mendes, FB Voznika, AA Freitas, and JC Nievola. In Principles of Data Mining and Knowledge Discovery (Proc. 5th European Conference PKDD 2001) - Lecture Notes in Artificial Intelligence, 2168, pages 314-325, Berlin, 2001. Springer-Verlag.
• Tool support for development using patterns. S. Neal and P.F. Linington. In E.Lupu and A.Wegmann, editors, Proceedings of the fifth International Enterprise Distributed Object Computng Conference, pages 237-248, Seattle, Washingto, USA, September 2001. IEEE Computer Society.
• A Language for the Dynamic Verification of Design Patterns in Distributed Computing. Stephen Neal. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, October 2001.
• Animating Object Oriented Conceptual Models. Ian Oliver. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, January 2001.
• An ant colony based system for data mining: applications to medical data. RS Parpinelli, HS Lopes, and AA Freitas. In LE Spector, E Goodman, and et al, editors, Proc. 2001 Genetic and Evolutionary Computation Conference (GECCO-2001), pages 791-798, San Francisco, USA, July 2001. Morgan Kaufmann.
• Context-Aware Software. Jason Pascoe. PhD thesis, Computing Laboratory, University of Kent at Canterbury, August 2001.
• Introduction to Programming Language Theory. Octavian Patrascoiu. Editura Rom TPT, September 2001.
• Integration of Web Browsers and Interactive TV. Michael Pediaditakis. Master's thesis, Computing Laboratory, University of Kent at Canterbury, August 2001.
• Writing Solid Software. S Pfleeger, L Hatton, and C Howell. Prentice-Hall, 2001.
• Using semantic searching for web portal interoperability. Francisco Pinto, Claudio Baptista, and Nick Ryan. In International Workshop on Information Integration on the Web - Technologies and Applications, April 9-11, Rio de Janeiro - Brazil. Federal University of Rio de Janeiro, April 2001.
• Interoperable portal for the historic environment. Francisco Pinto, Nick Ryan, Tony Austin, and Julian Richards. In Erich Neuhold and Leonid Kalinichenko, editors, Forthcoming paper in Interoperability on Digital Libraries - Delos Workshop 2001: Proceedings of European Conference on Research and Advanced Technology for Digital Libraries. German National Research Center for Information Technologie, Darmstadt, Germany, European Research Consortium for Informatics and Mathematics (ERCIM), September 2001.
• GHood - Graphical Visualisation and Animation of Haskell Object Observations. Claus Reinke. In Ralf Hinze, editor, ACM SIGPLAN Haskell Workshop, Firenze, Italy, volume 59 of Electronic Notes in Theoretical Computer Science, page 29. Elsevier Science, September 2001. Preliminary Proceedings have appeared as Technical Report UU-CS-2001-23, Institute of Information and Computing Sciences, Utrecht University. Final proceedings to appear in ENTCS.
• Issues of Dataflow and View Presentation in Multiple View Visualization. Jonathan Roberts. In 2001 International Conference on Imaging Science, Systems and Technology (CISST), CISST Annual Conference, Workshop: Fundamental Issues of Visualization, pages 177-183, Las Vegas, NV, June 2001.
• Sticky Pixels: Evolutionary Growth by Random Drop Ballistic Aggregation. Jonathan Roberts. In Eurographics UK 2001 Conference Proceedings, 19th Annual Conference, pages 149-155, Eurographics UK, PO Box 38, Abingdon, Oxon OX14 1PX, April 2001.
• FAD: A Functional Analysis and Design Methodology. Dan Russell. Phd thesis, Computing Laboratory, University of Kent at Canterbury, January 2001.
• Documenting and validating virtual archaeology. Nick Ryan. Archeologia e Calcolatori, 12:245-273, November 2001.
• jnet, a successor to gnet. Nick Ryan. In W. Borner, editor, Archaologie und Computer, Workshop 6. Forschungsgesellschaft Wiener Stadtarchaologie, November 2001.
• Iguana: A management support tool using Haskell and LDAP. Chris Ryder. Technical Report 6-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, June 2001.
• The Distributed occam Protocol - A New Layer on Top of TCP/IP to Serve occam Channels Over the Internet. Mario Schweigler. Master's thesis, Computing Laboratory, University of Kent, Canterbury, UK, Canterbury, Kent, CT2 7NF, United Kingdom, September 2001.
• Verifying termination and error-freedom of logic programs with block declarations. Jan-Georg Smaus, Pat M. Hill, and Andy King. Theory and Practice of Logic Programming, 1(4):447-486, July 2001. (Theory and Practice of Logic Programming was formally known as The Journal of Logic Programming, see http://www.cwi.nl/projects/alp/Welcome/appeal.html.
• Verifying termination and error-freedom of logic programs with block declarations. Jan-Georg Smaus, Patricia Hill, and Andy King. Theory and Practise of Logic Programming, January 2001.
• Specification, refinement and verification of concurrent systems - an integration of Object-Z and CSP. G. Smith and J. Derrick. Formal Methods in Systems Design, 18:249-284, May 2001.
• Interpreting ODP Viewpoint Specification: Observations from a Case Study. C Taylor, E Boiten, and J Derrick. Technical Report 9-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, UK, September 2001.
• Refactoring Functional Programs. Simon Thompson and Claus Reinke. Technical Report 16-01, University of Kent, Computing Laboratory, October 2001.
• Logic and Dependent Types in the Aldor Computer Algebra System. Simon Thompson. In Manfred Kerber and Michael Kohlhase, editors, Symbolic Computation and Automated Reasoning, pages 205-219. A K Peters, January 2001.
• Artificial immune systems: Using the immune system as inspiration for data mining. Jon Timmis and Thomas Knight. In Hussein A. Abbass, Ruhul A. Sarker, and Charles S. Newton, editors, Data Mining: A Heuristic Approach, chapter XI, pages 209-230. Group Idea Publishing, September 2001.
• A resource limited artificial immune system for data analysis. Jon Timmis and Mark Neal. Knowledge Based Systems, 14(3-4):121-130, June 2001.
• aivis - artificial immune network visualisation. Jon Timmis. In EuroGraphics UK 2001 Conference Proceedings, pages 61-69, Univerisity College London., April 2001. Eurographics.
• Interception of communications. Gerald Tripp. Information and Communications Technology Law, 10(3):285-292, October 2001.
• Transforming web pages for interactive TV using XSL. Vedhagiri Valliapan, David Shrimpton, Chris Dobbyn, and Tom Casey. In Proceedings of IEEE International Conference on Multimedia and Expo, pages 1008-1011. IEEE, August 2001.
• Integrating interactive TV with the Web using XSL. Vedhagiri Valliapan, David H Shrimpton, and Chris Dobbyn. In Poster Proceedings of The Tenth International World Wide Web Conference, Conference Series of the International World Wide Web Conference Committee, pages 72-73. IW3C2, May 2001.
• Educating the digital fieldwork assistant. Martijn van Leusen and Nick Ryan. In G. Burenhult, editor, Forthcoming paper in CAA 2001: Proceedings of Computer Applications and Quantitive Methods in Archeology Conference. Gotland University, Visby, Gotland - Sweden, Archaeopress, Oxford, April 2001.
• Multiple-view tracing for Haskell: a new Hat. Malcolm Wallace, Olaf Chitil, Thorsten Brehm, and Colin Runciman. In Ralf Hinze, editor, Preliminary Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, pages 151-170, Firenze, Italy, September 2001. Universiteit Utrecht UU-CS-2001-23. Final proceedings to appear in ENTCS 59(2).
• Permabase: predicting the performance of distributed systems at the design stage. G. Waters, P. Linington, D. Akehurst, P. Utton, and G. Martin. IEE Proceedings - Software, 148(4):113-121, August 2001.
• A resource limited artificial immune classifier. A Watkins. Master's thesis, Mississippi State University, MS. USA., December 2001.
• Mobile Data Types for Communicating Processes. P.H. Welch and F.R.M. Barnes. In H.R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 2001, volume 1, pages 20-26. CSREA, CSREA Press, June 2001.
• Object Orientated Computational Models of Prion Propagation. Jacqueline Louise Whalley. Master's thesis, University of Kent, Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NX, United Knigdom, September 2001.
• Coherence in UML. A C Wills. In Coupling the UML diagrams, Mont St Michel, 2001. Tutorial at TOOLS Europe 2000.
• A Concurrent Language for Refinement. JCP Woodcock and ALC Cavalcanti. In 5th Irish Workshop on Formal Methods, 2001.
• The Steam Boiler in a Unified Theory of Z and CSP. JCP Woodcock and ALC Cavalcanti. In 8th Asia-Pacific Software Engineering Conference. IEEE Press, 2001.
• Providing secure remote access to legacy applications. A.J. Young, D.W. Chadwick, and J. New. IEE Computing and Control Engineering Journal, 12(4):148-156, August 2001.