Computer Science: Publication Index 2000

Egis: A system for environmental modelling and gis. Proceedings of GIS Research UK, 8th National Conference, York, UK, April 2000.
Modelling Human Testing Strategies: A Computer-Aided Approach to Knowledge Acquisition (Poster). Sophiana Chua Abdullah and Roger E. Cooley. In Proceedings of Workshop W1 on Modeling Human Teaching Tactics and Strategies,held as part of the Fifth International Conference on Intelligent Tutoring Systems, ITS'2000, Montr�al, Canada, page 17, June 2000.
The Use of Constraint Logic Programming in the Development of Adaptive Tests (Poster). Sophiana Chua Abdullah and Roger E. Cooley. In G. Gauthier, C. Frasson and K. VanLehn, editors, Lecture Notes in Computer Science 1839, Proceedings of the Fifth International Conference on Intelligent Tutoring Systems, ITS 2000, Montr�al, Canada, page 650. Springer-Verlag, June 2000.
Using Constraints to Develop and Deliver Adaptive Tests. Sophiana Chua Abdullah and Roger E. Cooley. In H. Cooper and S. Clowes, editors, Proceedings of the Fourth International Computer Assisted Assessment Conference, Loughborough University, UK, pages 93-101, June 2000.
A Manual for a ModelChecker for Stochastic Automata. David Akehurst, Howard Bowman, Jeremy Bryans, and John Derrick. Technical Report 9-00, Computing Laboratory, University of Kent, December 2000.
Model translation: A uml-based specification technique and active implementation approach. David H. Akehurst. PhD thesis, Computing Laboratory, University of Kent, December 2000.
An oo visual language definition approach supporting multiple views. D.H. Akehurst. In VL2000, IEEE Symposium on Visual Languages, September 2000.
Rule Discovery with a Parallel Genetic Algorithm. DLA Araujo, HS Lopes, and AA Freitas. In Proc 2000 Genetic and Evolutionary Computation Conf Workshop Program, pages 89-92, Las Vegas, USA, July 2000.
Steplib: A Digital Library for Spatio-temporal and Multimedia Data. Claudio Baptista. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, September 2000.
The evolution and testing of a medium sized numerical package. D.J. Barnes and T.R. Hopkins. In H.P. Langtangen, A.M. Bruaset, and E. Quak, editors, Advances in Software Tools for Scientific Computing, volume 10 of Lecture Notes in Computational Science and Engineering, pages 225-238. Springer-Verlag, Berlin, January 2000.
Blocking system calls in KRoC/Linux. Frederick R.M. Barnes. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering Series, pages 155-178. Computing Laboratory, University of Kent, IOS Press, September 2000.
A Java-based framework for comparing mobility policies in networks with dynamic resource management. M Boissaux, A Munro, IW Marshall, and P McKee. In Proceedings ITC specialist seminar on mobility, Lillehammer, March 2000.
Viewpoint consistency in ODP. E.A. Boiten, H. Bowman, J. Derrick, P.F. Linington, and M.W.A. Steen. Computer Networks, 34(3):503-537, August 2000.
Liberating data refinement. E.A. Boiten and J. Derrick. In R.C. Backhouse and J.N. Oliveira, editors, Mathematics of Program Construction, 5th International Conference, Ponte de Lima, volume 1837 of Lecture Notes in Computer Science, pages 144-166. Springer, July 2000.
Genetic programming for knowledge discovery in chest pain diagnosis. CC Bojarczuk, HS Lopes, and AA Freitas. IEEE Engineering in Medicine and Biology Magazine, 19(4):38-44, July 2000.
A UML-based Approach to the Modelling and Supervisory Control of Manufacturing Machinery. B. Bordbar, L. Giacomini, and D. J. Holding. In IEE Control Seminars on Model Validation for Plant Control and Condition Monitoring, pages 31-33, London, March 2000.
Design of Distributed Manufacturing Systems using UML and Petri Nets. B. Bordbar, L. Giacomini, and D. J. Holding. In Proceedings of 6th International Federation of Automatic Control (IFAC), Workshop on Algorithms and Architectures for Real-Time Control, pages 91-96, Palma de Mallorca, Spain, May 2000.
Hybrid Control Systems: a Design Case Study. B. Bordbar, L. Giacomini, and D. J. Holding. In IEEE CCA/CACSD, Alaska, USA, September 2000.
UML and Petri Nets for Design and Analysis of Distributed Systems. B. Bordbar, L. Giacomini, and D. J. Holding. In IEEE CCA/CACSD, Alaska, USA, September 2000.
Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets. B. Bordbar, L. Giacomini, and D. J. Holding. In Proceedings of the 6th International Workshop on Discrete Event Systems, Ghent, Belgium, August 2000. To appear.
The set of idempotents in the weakly almost periodic compactification of the integers is not closed. B. Bordbar and J. S. Pym. Trans Amer Math Soc, (2):823-842, February 2000. (Featured Review in Mathematical Reviews 2000 c43007).
Towards stochastic model checking with generalised distributions. H. Bowman, J.W. Bryans, and J. Derrick. In UKPEW 2000, 16th United Kingdom Performance Engineering Workshop, November 2000.
Guest editors introduction: Formal methods for object oriented distributed systems. H Bowman, J Derrick, and E Brinksma. IEEE Transactions on Software Engineering, 26(7):577-578, July 2000.
Towards integrated cognitive and interface analysis. H. Bowman, G. Faconti, and M. Massink. In Howard Bowman, editor, Proceedings of Formal Methods Elsewhere 2000, Pisa, Italy, volume 43 of Electronic Notes in Theoretical Computer Science, page 16. Elsevier Science, October 2000. Available at http://www.elsevier.nl/gej-ng/31/29/23/72/23/show/Products/notes/index.htt.
A Complete Axiomatization of Interval Temporal Logic with Projection. Howard Bowman and Simon Thompson. Technical Report 6-00, Computing Laboratory, University of Kent, January 2000.
What makes them succeed? Entry, progression and graduation in Computer Science. R Boyle, J Carter, and M Clark. Technical Report 2000-19, School of Computer Studies, University of Leeds, July 2000. http://www.scs.leeds.ac.uk/services/reports/2000.html.
Behavioural subtyping in process algebra. Charles Peter Briscoe-Smith. PhD thesis, University of Kent at Canterbury, Canterbury, UK, November 2000.
Specification and analysis of automata-based designs. Jeremy Bryans, Lynne Blair, Howard Bowman, and John Derrick. In W. Grieskamp, T. Stanten, and B. Stoddart, editors, Integrated Formal Methods (IFM 2000), volume 1945 of Lecture Notes in Comuter Science, pages 176-193. Springer, November 2000.
A model checking algorithm for stochastic systems. Jeremy Bryans, Howard Bowman, and John Derrick. Technical Report 4-00, University of Kent at Canterbury, Canterbury, Kent, January 2000.
Teaching Delivery Issues - Lessons from Computer Science. Janet Carter and Roger Boyle. In 25th International IUT conference proceedings, Frankfurt, July 2000.
Gender Differences in Learning to Program. Janet Carter and Tony Jenkins. Computing Research News, 12(2), March 2000.
Profile of the July 1999 UKC CS Graduates. Janet Carter. Technical Report 8-00, UKC, April 2000.
A Genetic Algorithm-based Solution for the Problem of Small Disjuncts. DE Carvalho and AA Freitas. In DA Zighed, J Komorowski, and J Zytkow, editors, Principles of Data Mining and Knowledge Discovery (Proc. 4th European Conf. PKDD-2000, Lyon, France), volume 1910 of Lecture Notes in Artificial Intelligence, pages 345-352, Berlin, 2000. Springer-Verlag.
A hybrid decision tree/genetic algorithm for coping with the problem of small disjuncts in data mining. DR Carvalho and AA Freitas. In Proc. Genetic and Evolutionary Computation Conf (GECCO-2000), pages 1061-1068, Las Vegas, USA, July 2000. Morgan Kaufmann.
A Weakest Precondition Semantics for Refinement of Object-oriented Programs. ALC Cavalcanti and DA Naumann. IEEE Transactions on Software Engineering, 26(8):713-728, August 2000.
Simulation and Class Refinement for Java. ALC Cavalcanti and DA Naumann. In S Drossopoulou and S Eisenback et al, editors, ECOOP 2000 Workshop on Formal Techniques for Java Programs, Technical Report 269. Fernuniversitat Hagen, 2000.
Using the internet to access confidential patient records: A case study''. D. W. Chadwick, P.J. Cook, A.J. Young, D.M. McDowell, and J.P. New. British Medical Journal, 321:612-614, September 2000.
Initial experiences of accessing patient confidential data over the internet using a public key infrastructure. D. W. Chadwick, S. Harvey, J. New, and A. J. Young. In W.S. Schneider B. Jerman-Blazic and T. Klobucar, editors, Advanced Security Technologies for Insecure Networks, pages 201-209. IOS Press, Amsterdam, December 2000. Proceedings of the NATO Advanced Networking Workshop on Advanced Security Technologies in Networking, Portoroz, Slovenia, 2000 4.
Experiences of using a public key infrastructure for the preparation of examination papers. D. W. Chadwick, R. Tassabehji, and A. J. Young. Computers in Education, 35(1):1-20, 2000.
Initial Experiences of Building Secure Access to Patient Confidential Data via the Internet. D.W. Chadwick, S. Harvey, J. New, and A.J. Young. In Information Security Solutions Europe (ISSE) 2000, Barcelona, September 2000.
A directory application level firewall - the Guardian DSA. D.W. Chadwick and A.J. Young. In W.S. Schneider B. Jerman-Blazic and T. Klobucar, editors, Advanced Security Technologies for Insecure Networks, pages 133-147. IOS Press, Amsterdam, December 2000. Proceedings of the NATO Advanced Networking Workshop on Advanced Security Technologies in Networking, Portoroz, Slovenia, 2000 3.
Windows 2000: A threat to internet diversity and open standards?. D. Chadwick. IEEE Computer, 321:107-109, August 2000.
Network firewall technologies. D.W. Chadwick. In W.S. Schneider B. Jerman-Blazic and T. Klobucar, editors, Advanced Security Technologies for Insecure Networks, pages 149-166. IOS Press, Amsterdam, December 2000. Proceedings of the NATO Advanced Networking Workshop on Advanced Security Technologies in Networking, Portoroz, Slovenia, 2000 2.
Secure directories. D.W. Chadwick. In W.S. Schneider B. Jerman-Blazic and T. Klobucar, editors, Advanced Security Technologies for Insecure Networks, pages 123-131. IOS Press, Amsterdam, June 2000. Proceedings of the NATO Advanced Networking Workshop on Advanced Security Technologies in Networking, Portoroz, Slovenia.
Designing a trace format for heap allocation events. Trishul Chilimbi, Richard Jones, and Benjamin Zorn. In Tony Hosking, editor, ISMM2000 International Symposium on Memory Management, pages 35-49, Minneapolis, MN, October 2000. ACM Press. This is the version of HATF 1.0 and MetaTF 1.0 presented at ISMM2000. Following discussions there, a revised definition has been produced.
Tracing and Debugging of Lazy Functional Programs - A Comparative Evaluation of Three Systems. Olaf Chitil, Colin Runciman, and Malcolm Wallace. In Markus Mohnen and Pieter Koopman, editors, Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages, pages 47-62, Aachen, Germany, September 2000. Aachener Informatik-Bericht 00-7, RWTH Aachen.
Deforestation of Functional Programs through Type Inference. Olaf Chitil. In Wolfgang Goerigk, editor, 17 Workshops der GI-Fachgruppe 2.1.4. Programmiersprachen und Rechenkonzepte mit Schwerpunkt Softwarecomponenten, pages 121-130. Bad Honnef, Bericht Nr. 2007 des Instituts fur Informatik und Praktische Mathematik der Christian-Albrechts-Universitat zu Kiel, July 2000.
Type-inference based deforestation of functional programs. Olaf Chitil. PhD thesis, RWTH Aachen, October 2000.
Type-Inference Based Short Cut Deforestation (nearly) without Inlining. Olaf Chitil. In Chris Clack and Pieter Koopman, editors, Proceedings of 11th International Workshop on Implementation of Functional Languages (1999), number 1868 in LNCS, pages 19-36, Netherlands, 2000. Springer.
The UML Family: Profiles, Prefaces and Packages. S Cook. In S Kent A Evans and B Selic, editors, UML2000 Conference Proceedings. LNCS 1939, 2000.
Controlling Problem Progression in Adaptive Testing. Roger E. Cooley and Sophiana Chua Abdullah. In Proceedings of the International Conference on Computers in Education and the International Conference on Computer Assisted Instruction, ICCE/ICCAI 2000, Taiwan, volume 1, pages 635-642, November 2000.
Derivation of Refinement Proof Rules for Z: forwards and backwards rules incorporating input/output refinement. D Cooper, S Stepney, and J Woodcock. Technical Report PRG-127, Oxford University Computing Laboratory, October 2000.
Recursive functions and reactive behaviours: The essence of fran. Anthony C. Daniels. October 2000.
Object-O}riented Programming with Java: An Introduction. David J. Barnes. Prentice-Hall, January 2000.
Millennial Perspectives in Computer Science. J Davies, B Roscoe, and J Woodcock, editors, Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare, 2000.
Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare. J Davies, B Roscoe, and J Woodcock, editors, 2000.
A Co-operative Object-Oriented Architecture for Adaptive Systems. R. de Lemos. In Proceedings of the 7th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, pages 120-128. IEEE Computer Society, April 2000.
Safety Analysis of an Evolving Software Architecture. R. de Lemos. In Proceedings of the 5th IEEE International High-Assurance Systems Engineering Symposium (HASE 2000), pages 159-167. IEEE Computer Society, November 2000.
Metacris: Metadata for research digital libraries. Claudio de Souza Baptista, Francisco Queiros Pinto, Zarine Kemp, and Nick Ryan. In The Fifth European Conference on Current Research Information Systems, Helsinki, Finland, May 2000. Innovation Directorate of the European Commission's DG Enterprise.
An Integrated Metamodel for Knowledge Representation in Geolibraries. Claudio de Souza Baptista and Zarine Kemp. In J. Hoppenbrouwers, T. Lima, M. Papazoglou, and A. Sheth, editors, Proceedings of the IEEE Advances on Digital Libraries (ADL'2000), Washington D.C., USA, May 2000. IEEE Computer Press.
Interacting with Spatiotemporal Digital Libraries. Claudio de Souza Baptista and Zarine Kemp. In Proceedings of the 11th International Workshop on Databases & Expert Systems Applications (DEXA'00) - W11 International Workshop on Interacting with Databases, London, Greenwich, the University of Geenwich - Greenwich Maritime Campus, September 2000. IEEE Computer Press.
Steplib: a spatiotemporal digital library. Claudio de Souza Baptista and Zarine Kemp. Informatica: an International Journal of Computing and Informatics, 24(1):69-73, March 2000.
Refinement of objects and operations in Object-Z. John Derrick and Eerke Boiten. In Scott F. Smith and Carolyn L. Talcott, editors, Formal Methods for Open Object-based Distributed Systems IV, pages 257-277. Kluwer Academic Publishers, September 2000.
Teaching communication protocols. John Derrick and Sally Fincher. Computer Science Education, 10(3):195-202, December 2000.
Structural refinement in Object-Z / CSP. John Derrick and Graeme Smith. In W. Grieskamp, T. Stanten, and B. Stoddart, editors, Integrated Formal Methods (IFM 2000), volume 1945 of Lecture Notes in Computer Science, pages 194-213. Springer, November 2000.
A single complete refinement rule for Z. J. Derrick. Logic and Computation, 10(5):663-675, October 2000.
Proceedings of UML 2000. A Evans, S Kent, and B Selic. In LNCS, 1939. Springer Verlag, October 2000.
Concurrency, objects and visualisation. Chris Exton and Michael Kölling. In Australian Computing Education Conference (ACE 2000), pages 109-115, Melbourne, Australia, December 2000. ACM.
Limited attribute certificate acquisition protocol. S Farrell and D.W. Chadwick. Internet Draft, July 2000.
Discovering comprehensible classification rules with a genetic algorithm. MV Fidelis, HS Lopes, and AA Freitas. In Proc. Congress on Evolutionary Computation (CEC-2000), pages 805-810, La Jolla, CA, USA, July 2000. IEEE.
From transfer to tranformation: towards a framework for successful dissemination of engineering education. Sally Fincher. In Frontiers in Education Conference, page F4F, October 2000.
Panel on lifelong learning. P. Fisser, E. Stacey, T.J. van Weert, J. Wibe, C. Fulford, U. Fuller, and F. Vries. In Stephen D Franklin and Ellen Strenski, editors, Building University Electronic Educational Environments, IFIP conference proceedings. IFIP, Kluwer, April 2000.
Data Mining with Evolutionary Algorithms: Research Directions. AA Freitas. AI Magazine, 21(1):97, April 2000.
Understanding the crucial differences between classification and discovery of association rules - a position paper. AA Freitas. ACM SIGKDD Explorations, 2(1):65-69, 2000.
From cvr to cvro: The past, present, and future of cultural virtual reality. Bernard Frischer, Franco Niccolucci, Nick Ryan, and Juan Barcel�. In Franco Niccolucci, editor, Virtual Archaeology between Scientific Research and Territorial Marketing, proceedings of the VAST EuroConference, Arezzo, Italy, November 2000.
Hybrid Sliding Mode Control for a Set of Interconnected Nonlinear. L. Giacomini, B. Bordbar, and D. J. Holding. In 39th IEEE Conference on Decision and Control, Sydney Convention & Exhibition Centre, December 2000. To appear.
Projections in Venn-Euler Diagrams. J Gill, J Howse, S Kent, and J Taylor. In Proc. IEEE Symposium on Visual Languages (VL2000), pages 119-126, Seattle, September 2000. IEEE Computer Society Press.
Implementation and testing of a set of event detection operators. R. Gomez, J.C. Augusto, and A. Galton. Technical Report 398, School of Engineering and Computer Science, University of Exeter, December 2000.
Can Agent-Based Models Assist Decisions on Large-Scale Practical Problems: A Philosophical Analysis. D Gross and R Strand. Complexity, 5(5):26-33, January 2000.
Reasoning About Analog-Level Implementations of Digital Systems. Keith Hanna. Formal Methods in System Design, 16(2):123-158, March 2000.
Balancing static and dynamic testing for embedded control systems. L Hatton and M Hennell. In Proceedings of 2nd World Congress on software quality, Yokohama, September 2000.
Balancing static and dynamic testing: some observations from measurement. L Hatton. invited as part of visiting scientists series, Nokia Research Labs, Helsinki, 2000.
Embedded control systems: risks and challenges. L Hatton. European Space Agency, Noordwijk, 2000.
Embedded software testing. L Hatton. In The European Software Testing (TEST) Congress 2000, London, London, 2000.
Safer language subsets: issues in developing reliable and fast software. L Hatton. Invited as part of visiting scientists series, CISCO systems, San Jose, 2000.
Software failure: living with a wobbly technology. L Hatton. invited at Kent Show 2000, July 2000.
Testing Embedded C Programs. L Hatton. invited talk, Philips Research Labs, Eindhoven, April 2000. Also given by invitation to Japanese car industry colloquium, Tokyo.
Why is Linux so reliable?. L Hatton. Keynote address ASM 2000 Software Metrics Conference, San Jose, 2000.
A Simple Polynomial Groundness Analysis for Logic Programs. A. Heaton, M. Abo-Zaed, M. Codish, and A. King. Journal of Logic Programming, 45:143-156, September 2000.
Abstract Domains for Universal and Existential Properties. A. Heaton, P. Hill, and A. King. In G. Smolka, editor, European Symposium on Programming, volume 1782 of Lecture Notes in Computer Science, pages 150-164. Springer-Verlag, March 2000. see http://www.springer.de./comp/lncs/index.html.
Abstracting Builtins for Groundness Analysis. A. Heaton and A. King. Technical Report 3-00, University of Kent at Canterbury, Computing Laboratory, January 2000.
Editorial: Special Issue on specification-based testing. Robert Hierons and John Derrick. Software Testing, Verification and Reliability, 10(4):201-202, December 2000.
Abstracting Numeric Constraints with Boolean Functions. J. M. Howe and A. King. Information Processing Letters, 75(1-2):17-23, July 2000.
Implementing Groundness Analysis with Definite Boolean Functions. J. M. Howe and A. King. In G. Smolka, editor, European Symposium on Programming, volume 1782 of Lecture Notes in Computer Science, pages 200-214. Springer-Verlag, March 2000. Copyright Springer-Verlag, see http://www.springer.de./comp/lncs/index.html.
Specialising Finite Domain Programs using Polyhedra. J.M. Howe and A. King. In A. Bossi, editor, Logic Programming, Synthesis and Transformation (Selected Papers), volume 1817 of Lecture Notes in Computer Science, pages 118-135. Springer-Verlag, March 2000. Copyright Springer-Verlag, see http://www.springer.de./comp/lncs/index.html.
Introduction to memory management and garbage collection. Richard Jones and Eric Jul, October 2000. Tutorial 70, OOPSLA 2000 Conference on Object-Oriented Programming, Systems, Languages and Applications, Minneapolis.
Memeory management session overview. Richard Jones. In Graham N.C. Kirby, Alan Dearle, and Dag I.K. Sjoberg, editors, Persistent Object Systems: Design, Implementation, and Use, volume 2135 of Lecture Notes in Computer Science, pages 84-86, Lillehammer, Norway, September 2000. Springer.
A Multidimensional Model for Exploratory Spatiotemporal Analysis. Zarine Kemp and Howard Lee. In Bruce H. Carlisle Robert J Abrahart, editor, Proceedings of the 5th International Conference on GeoComputation, University of Greenwich, UK., August 2000.
Pair-sharing over rational trees. Andy King. Journal of Logic Programming, 46(1-2):139-155, November 2000.
The Bluej Tutorial. Michael Kolling. Technical Report TR2000/01, Faculty of Information Technology, Monash University, January 2000.
Evaluation of Co-operative Actions in the Safety Analysis of the Destruction System of the Sounding Rocket VS-40X (in Portuguese). C. Lahoz, M. Abdala, C. A. T. Moura, and R. de Lemos. In Proceedings of the Symposium on Safety and Security of Information Systems, pages 49-58, October 2000.
Internet ethics. Duncan Langford, editor. St Martin's Press, New York, June 2000.
Internet ethics. Duncan Langford, editor. MacMillan Press, May 2000.
Whistleblowing by Independent Auditors. Duncan Langford. In Research on Accounting Ethics, volume 6. JAI Press, Stanford, Connecticut, 2000.
Legacy System Anti-Patterns and a Pattern-Oriented Migration Response. A Lauder and S Kent. In P Henderson, editor, Systems Engineering for Business Process Change. Springer Verlag, 2000.
Statecharts for Business Process Modeling. A Lauder and S Kent. In Proceedings of the 2nd International Conference on Enterprise Information Systems (ICEIS 2000), 2000.
Hierarchical Reasoning and On-line Analytical Processing in Spatio-temporal Information Systems. Howard Lee and Zarine Kemp. In Jianibang He Pip Forer, Anothony Jeh, editor, Proceedings 9th International Symposium on Spatial Data Handling, Beijing, China, August 2000. Study Group on Geographical Information Science of the International Geographical Union.
A Multi-dimensional Analytical Framework for Hierarchical Reasoning in Space and Time. Howard Lee. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, September 2000.
Two-point atm switching system measurements. P.F. Linington and G.E.W. Tripp. In D. Kouvatsos, editor, Technical Proceedings, Eighth IFIP Workshop on Performance Modelling and Evaluation of ATM and IP Networks (ATM and IP 2000), page 14. Networks UK, July 2000.
Active management of multiservice networks. IW Marshall, J Hardwicke, H Gharib, M Fisher, and P McKee. In Proceedings NOMS-2000 (IEEE), Hawaii, 2000.
Adaptive management of an active services network. I W Marshall and C M Roadknight. BT Technology, 18(4):78-84, October 2000. (special issue on Biologically inspired computing).
Emergent quality of service - a bacterial approach. IW Marshall and CM Roadknight. In Proceedings IEEE Openarch, Tel Aviv, 2000.
A Framework for Defining Object-oriented Languages using Action Semantics. LCS Meneses, S Soares, JB Meneses, H Moura, and ALC Cavalcanti. In 4th Brazilian Symposium on Programming Languages, pages 172-185, 2000.
Guards, Preconditions, and Refinement in Z. Ralph Miarka, Eerke Boiten, and John Derrick. In Jonathan P. Bowen, Steve Dunne, Andy Galloway, and Steve King, editors, ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users, volume 1878 of Lecture Notes in Computer Science, pages 286-303. Springer-Verlag Berlin, August 2000.
Native JCSP: the CSP-for-java library with a Low-Overhead CPS Kernel. J. Moores. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 263-273. WoTUG, IOS Press (Amsterdam), September 2000.
Teams work (panel session). Louise Moses, Sally Fincher, and James Caristi. In Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, pages 421-422, March 2000.
Document Clustering and Text Summarization. J Larocca Neto, AD Santos, CAA Kaestner, and AA Freitas. In N Mackin, editor, Proc. 4th International Conference Practical Applications of Knowledge Discovery and Data Mining (PADD-2000), pages 41-55, London, 2000. The Practical Application Company.
Generating Text Summaries through the Relative Importance of Topics. J Larocca Neto, AD Santos, CAA Kaestner, and AA Freitas. In Proc. Int. Joint Conf. IBERAMIA-2000 (7th Ibero-American Conf. on Artif. Intel.) and SBIA-2000 (15th Brazilian Symp. on Artif. Intel.), volume 1952 of Lecture Notes in Artificial Intelligence, pages 301-309, Atibaia, SP, Brazil, November 2000. Springer-Verlag.
The integrated data mining tool MineKit and a case study of its application on video shop data. J Larocca Neto, AD Santos, CAA Kaestner, and AA Freitas. In C Fyfe, editor, Proc. 2nd Int. ICSC Symp. on Engineering of Intelligent Systems (EIS-2000), Scotland, July 2000. ICSC Academic Press.
A Trainable Algorithm for Summarizing News Stories. J Larocca Neto, AD Santos, CAA Kaestner, AA Freitas, and JC Nievola. In H Zaragoza, P Gallinari, and M Rajman, editors, Proc. PKDD'2000 Workshop on Machine Learning and Textual Information Access, Lyon, France, September 2000.
Comparing a genetic algorithm with a rule induction algorithm in the data mining task of dependence modeling. E Noda, AA Freitas, and HS Lopes. In Proc 2000 Genetic and Evolutionary Computation Conf (GECCO-2000), page 1080, Las Vegas, USA, July 2000.
Tactics of Refinement. M Oliveira and ALC Cavalcanti. In 14th Brazilian Symposium on Software Engineering, pages 117-132, 2000.
Tactics of refinement. M. V. M. Oliveira and A. L. C. Cavalcanti. In 14th Brazilian Symposium on Software Engineering, pages 117-132, October 2000.
Sumarizacao de textos usando algoritmos de classificacao. FEB Otero and AA Freitas. In E Lethelier, F Bortolozzi, KC Weber, and H Pereira, editors, Proc. 2000 Int. Symp. on Knowledge Management/Document Management (ISKM/DM-2000), pages 347-357, Curitiba, Brazil, 2000. Editora Universitaria Champagnat (PUCPR).
Using while moving: Hci issues in fieldwork environments. J. Pascoe, N.S. Ryan, and D.R. Morse. ACM Transactions on Computer Human Interaction, 7:417-437, January 2000.
Compiler Construction. Octavian Patrascoiu and Gheorghe Marian. Editura Rom TPT, September 2000.
DCGToProlog: A DCG to Prolog Translator. Octavian Patrascoiu. In Proceedings of the International Symposium on System Theory (ISST-00), Craiova, Romania, May 2000.
Object Oriented Metrics. Octavian Patrascoiu. In Proceedings of the International Symposium on System Theory (ISST-00), Craiova, Romania, May 2000.
Communicating process architectures 2000. P.H.Welch and A.W.P.Bakkers, editors, volume 58 of Concurrent Systems Engineering. WoTUG, IOS Press (Amsterdam), September 2000.
Integrating Computer Algebra and Reasoning through the Type System of Aldor. Erik Poll and Simon Thompson. In Helene Kirchner and Christophe Ringeissen, editors, Frontiers of Combining Systems: Frocos 2000, volume 1794 of Lecture Notes in Computer Science, pages 136-150. Springer, March 2000.
Distributed quality of service multicast routing with multiple metrics for receiver initiated joins. Miguel Rio and Peter F. Linington. In Proceedings of ICON'2000. IEEE Computer Society, September 2000.
Adaptive management of active services. CM Roadknight and IW Marshall. In GECKO-2000, 2000.
Future network management - a bacterium inspired solution. CM Roadknight and IW Marshall. In Proceedings IEEE Openarch, Tel Aviv, 2000.
Multiple Window Visualization on the Web using VRML and the EAI. Jonathan C. Roberts, Rob Knight, Mark Gibbins, and Nimesh Patel. In Robin Hollands, editor, Proceedings of the Seventh UK VR-SIG Conference, pages 149-157, September 2000.
Display models - ways to classify visual representations. Jonathan C. Roberts. International Journal of Computer Integrated Design and Construction, 2(4):241-250, December 2000.
Multiple-View and Multiform Visualization. Jonathan C. Roberts. In Robert Erbacher, Alex Pang, Craig Wittenbrink, and Jonathan Roberts, editors, Visual Data Exploration and Analysis VII, Proceedings of SPIE, volume 3960, pages 176-185. IS&T and SPIE, January 2000.
A Demonstration of the Grrr Graph Rewriting Programming Language. Peter Rodgers and Natalia Vidal. In Agtive99: Applications of Graph Transformations with Industrial Relevance, LNCS, pages 473-480. Springer-Verlag, 2000.
Graph Algorithm Animation with Grrr. Peter J. Rodgers and Natalia Vidal. In Agtive99: Applications of Graph Transformations with Industrial Relevance, LNCS, pages 379-394. Springer-Verlag, 2000.
An XML Specification for Grrr Programs. Peter Rodgers. In University of Paderborn GT Exchange Formats, page 7, September 2000.
Constructs for Programming with Graph Rewrites. Peter Rodgers. In H Ehrig and G Taentzer, editors, GRATRA 2000: Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems, pages 59-66, March 2000.
Uma revisao de abordagens geneticodifusas para descoberta de conhecimento em banco de dados. W Romao, AA Freitas, and RCS Pacheco. Acta Scientiarum, 22(5):1347-1359, December 2000.
Some Stratagems for the Estimation of Time Series using the Metropolis Method. Andrew Runnalls. In Neal Madras, editor, Monte Carlo Methods, volume 26, pages 207-220, June 2000. Fields Institute Communications, No. 26.
FAD: A Functional Analysis and Design Methodology. Daniel Russell. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK, December 2000.
Back to reality: augmented reality from field survey to tourist guide. Nick Ryan. In Franco Niccolucci, editor, Forthcoming paper in Virtual Archaeology between Scientific Research and Territorial Marketing, proceedings of the VAST EuroConference, Arezzo, Italy, November 2000.
Extracting comprehensible rules from neural networks via genetic algorithms. R Santos, JC Nievola, and AA Freitas. In Proc. 2000 IEEE Symp. on Combinations of Evolutionary Computation and Neural Networks (ECNN-2000), pages 130-139, San Antonio, TX, USA, May 2000. IEEE.
Typeview: A Tool for Understanding Type Errors. Axel Simon, Olaf Chitil, and Frank Huch. In Markus Mohnen and Pieter Koopman, editors, Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages, pages 63-69, Aachen, Germany, September 2000. Aachener Informatik-Bericht 00-7, RWTH Aachen.
Mode analysis domains for typed logic programs. J.-G. Smaus, P. Hill, and A. King. In A. Bossi, editor, LOPSTR. Springer-Verlag, January 2000.
Mode Analysis Domains for Typed Logic Programs. Jan-Georg Smaus, Pat Hill, and Andy King. In A Bossi, editor, Logic Programming, Synthesis and Transformation (Selected Papers), volume 1817 of Lecture Notes in Computer Science, pages 82-101, September 2000. Copyright Springer-Verlag, see http://www.springer.de./comp/lncs/index.html.
ODP Enterprise Viewpoint Specification. M.W.A. Steen and J. Derrick. Computer Standards and Interfaces, 22:165-189, September 2000.
An Electronic Purse: Specification, Refinement and Proof. S Stepney, D Cooper, and J Woodcock. Technical Report PRG-126, Oxford University Computing Laboratory, July 2000.
A Case Study in Partial Specification: Consistency and Refinement for Object-Z. Chris Taylor, John Derrick, and Eerke Boiten. In Proc. of ICFEM 2000, pages 177-185. IEEE, September 2000.
A Semantics of Simultaneous Events (SSE) for State-Based Formal Specification. Chris Taylor and David Till. Formal Aspects of Computing, September 2000. (Submitted to journal, currently being refereed.).
Comparison of ODP Viewpoint Specifications: A Case Study. Chris Taylor. Technical Report 7-00, University of Kent, March 2000.
A hierarchy of languages with strong termination properties. Alastair Telford and David Turner. Technical Report TR 2-00, Computing Lab, University of Kent at Canterbury, The Computing Laboratory, The University, Canterbury, Kent, CT2 7NF, February 2000. Paper currently under revision.
Regular Expressions and Automata using Haskell. Simon Thompson. Technical Report 5-00, Computing Laboratory, University of Kent, January 2000.
An artificial immune system for data analysis. J Timmis, M Neal, and J Hunt. Biosystems, 55(1/3):143-150, 2000.
A Resource Limited Artificial Immune System for Data Analysis. J. Timmis and M. J. Neal. Research and Development in Intelligent Systems XVII, pages 19-32, December 2000. Proceedings of ES2000, Cambridge, UK.
Investigating the evolution and stability of a resource limited artificial immune system. Jon Timmis and Mark Neal. In A.S.Wu, editor, Special Workshop on Artificial Immune Systems, Gentic and Evolutionay Computtion Conference (GECCO) 2000, Workshop Program, pages 40-41, Las Vegas, Nevada, U.S.A., July 2000. AAAI, AAAI Press.
Visualising artificial immune networks. J Timmis. Technical Report UWA-DCS-00-034, University of Wales and Aberystwyth, 2000.
Artificial immune systems: A novel data analysis technique inspired by the immune network theory. Jon Timmis. PhD thesis, Department of Computer Science, University of Wales, Aberystwyth. Ceredigion. Wales., August 2000.
On parameter adjustment of the immune inspired machine learning algorithm AINE. Jon Timmis. Technical Report 12-00, Computing Laboratory, Univeristy of Kent at Canterbury, Canterbury, Kent. CT2 7NF., November 2000.
Automated Test-Data Generation for Exception Conditions. N J Tracey, J A Clark, K C Mander, and J A McDermid. Software Practice and Experience, 30:61-79, January 2000.
The design of an associative processing system for network monitoring. Gerald Tripp. Technical Report 1-00, The Computing Laboratory, University of Kent, January 2000.
ATM Multicast Routing. A.G. Waters and J.S. Crawford. In Kouvatsos DD, editor, Performance Evaluation and Application of ATM Networks, pages 229-248. Kluwer, 2000.
Hierarchies for network evolution. Gill Waters. In 16th UK Teletraffic Symposium on Management of Quality of Service - the New Challenge, pages 5/1 - 5/6. IEE, IEE, June 2000.
An immunological approach to intrusion detection. A Watkins. In 12th annual Canadian information technology security symposium, January 2000.
Review of Aizenstein, H. et al, `On learning read-k-satisfy-j DNF'. P. Watson. Mathematical Reviews, (2000a:68060), January 2000.
Review of Ambainis A. et al, `Ordinal mind change complexity of language identification'. P. Watson. Mathematical Reviews, (2000e:68079), May 2000.
Review of Case J., `The power of vacillation in language learning'. P. Watson. Mathematical Reviews, (2000e:68081), May 2000.
Review of Gasarch W. et al, `Classification using information'. P. Watson. Mathematical Reviews, (2000a:68062), January 2000.
Review of Schaefer M., `A guided tour of minimal indices and shortest descriptions'. P. Watson. Mathematical Reviews, (2000b:03156), February 2000.
Using Java for Parallel Computing: JCSP versus CTJ. P.H. Welch, G.H. Hilderink, and N.C. Schaller. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 205-226. WoTUG, IOS Press (Amsterdam), September 2000.
A CSP Model for Java Multithreading. P.H. Welch and J.M.R. Martin. In P.Nixon and I.Ritchie, editors, Software Engineering for Parallel and Distributed Systems, pages 114-122. ICSE 2000, IEEE Computer Society Press, June 2000.
Formal Analysis of Concurrent Java Systems. P.H. Welch and J.M.R. Martin. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 275-301. WoTUG, IOS Press (Amsterdam), September 2000.
Process Oriented Design for Java: Concurrency for All. P.H. Welch. In H.R.Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), volume 1, pages 51-57. CSREA, CSREA Press, June 2000.
Component Architecture: Catalysis Techniques for Defining Interfaces. A C Wills. In B Councill and G Heinemann, editors, Component Based Software Engineering, 2000.
Component Design is Language Design. A C Wills. In ISSUG 2000, Paris, 2000. Tutorial at ISSUG 2000.
Modeling Traits of Component Based Systems. A C Wills. In OOPSLA 2000. At AD2000 and OOPSLA 2000, 2000.
Introduction: Special Issues for FM'99: the First World Congress on Formal Methods in the Development of Computing Systems. JM Wing and JCP Woodcock. Formal Aspects of Computing, 12(3):145-146, 2000.
Introduction: Special Issues for FM'99: the First World Congress on Formal Methods in the Development of Computing Systems. JM Wing and JCP Woodcock. Formal Methods in System Design, 17(3):199-200, 2000.
Introduction: Special Issues for FM'99: the First World Congress on Formal Methods in the Development of Computing Systems. JM Wing and JCP Woodcock. IEEE Transactions on Software Engineering, 26(8):673-674, August 2000.
Post-Mortem Debugging in KRoC. D.C. Wood and F.R.M. Barnes. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 179-191. WoTUG, IOS Press (Amsterdam), September 2000.
An Experiment with Recursion in occam. D.C. Wood. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures 2000, volume 58 of Concurrent Systems Engineering, pages 193-204. WoTUG, IOS Press (Amsterdam), September 2000.
Abstract Data Types and Processes. J Woodcock, J Davies, and C Bolton. In AW Roscoe JW Davies and JCP Woodcock, editors, Proceedings of the Symposium in Honour of CAR Hoare, pages 391-405, 2000.
An Overview of the Verification of a Handel-C Program. JCP Woodcock and AA McEwan, editors, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. IDPT Press, 2000.

Navigation menu

School of Computing

Studying

Activities

Local users

About us

Search

School of Computing

Computer Science: Publication Index 2000