Computer Science: Publication Index 1998

• Coping with Poorly Understood Domains: the Example of Internet Trust. A. Basden, J. B. Evans, D. W. Chadwick, and A. Young. In Research and Development in Expert Systems, 1998, pages 114-132, December 1998. Presented at Expert Systems 98 conference, December 1998.
• Putting it all together: a pattern language for interaction design. Elisabeth Bayle, Rachel Bellamy, George Casaday, Thomas Erickson, Sally Fincher, Beki Grinter, Ben Gross, Diane Lehder, Hans Marmolin, Brian Moore, and Colin Potts. SIGCHI Bulletin, 30(1):17-24, January 1998.
• Polishing your searches. David Beckett. Ariadne, 1(16), July 1998. Published at URL http://www.ariadne.ac.uk/issue16/search-engines/.
• A Min-plus Polynomial Approach to Forbidden State Control for General Petri Nets. R. K. Boel, B. Bordbar, and G. Stremersch. In Proceedings of the 4th International Workshop on Discrete Event Systems, pages 79-84, Cagliari, Italy, August 1998.
• Controlled Timed Petri Nets: Equivalence Relations, Model Reduction. R. K. Boel, B. Bordbar, and G. Stremersch. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pages 674-679, San Diego, California, USA, October 1998.
• Grey box data refinement. E.A. Boiten and J. Derrick. In J. Grundy, M. Schwenke, and T. Vickers, editors, International Refinement Workshop & Formal Methods Pacific '98, Discrete Mathematics and Theoretical Computer Science, pages 45-59, Canberra, September 1998. Springer-Verlag.
• IO - refinement in Z. E.A. Boiten and J. Derrick. In A Evans, D Duke, and T Clark, editors, 3rd BCS-FACS Northern Formal Methods Workshop, Electronic Workshops in Computing. Springer Verlag, September 1998.
• Constraint-oriented style for object-oriented formal specification. Tommaso Bolognesi and John Derrick. IEE Proceedings Software, 145(2-3):61-69, April 1998.
• The weakly almost periodic compactification of a direct sum of finite groups. B. Bordbar and J. S. Pym. Proc Cambridge Phil Soc, (124):421-449, January 1998.
• Weakly almost period functions on N with a negative base. B. Bordbar. J Lond Math Soc, (57):706-720, June 1998.
• Automatic verification of a lip-synchronisation algorithm using uppaal - extended version. H. Bowman, G. Faconti, J-P. Katoen, D. Latella, and M. Massink. In Bas Luttick Jan Friso Groote and Jos Van Wamel, editors, FMICS'98, Third Internatinoal Workshop on Formal Methods for Industrial Crtical Systems, pages 97-124. CWI, May 1998. Also available as: H. Bowman, G. Faconti, J-P Katoen, D. Latella and M. Massink `Using UPPAAL for the Specification and Verification of a Lip-Sync Protocol' ERCIM Research Report 07/98-R054, July 1998.
• Automatic verification of a lip synchronisation protocol using UPPAAL. H. Bowman, G. Faconti, J.-P. Katoen, D. Latella, and M. Massink. Formal Aspects of Computing, 10(5-6):550-575, August 1998. Special Issue on Formal Methods for Industrial Critical Systems.
• Specification and verification of media constraints using UPPAAL. H. Bowman, G. Faconti, and M. Massink. In 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98, Eurographics Series. Springer-Verlag, August 1998.
• Analysis of a multimedia stream using stochastic process algebra. Howard Bowman, Jeremy Bryans, and John Derrick. In Corrado Priami, editor, Sixth International Workshop on Process Algebras and Performance Modelling, pages 51-69, Nice, September 1998.
• A true concurrency semantics for ET-LOTOS. Howard Bowman and Joost-Pieter Katoen. In CSD'98 International Conference on Application of Concurrency to System Design, IEEE Computer Society. IEEE Computer Society Press, March 1998.
• A tableaux method for interval temporal logic with projection. Howard Bowman and Simon J. Thompson. In TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods, volume 1397 of Lecture Notes in AI, pages 108-123. Springer-Verlag, May 1998.
• An interpretation of cognitive theory in concurrency theory. Howard Bowman. Technical Report 8-98, Computing Laboratory, University of Kent at Canterbury, October 1998.
• A lotos based tutorial on formal methods for object oriented distributed systems. Howard Bowman. New Generation Computing, 16(4):30, August 1998. Invited Tutorial Paper.
• Information technology, plant pathology and biodiversity. P. D. Bridge, P. Jeffries, D. R. Morse, and P. R. Scott. CAB International, Wallingford, Oxford, UK, February 1998.
• Active paper for active learning. Heather Brown, Robert Harding, Steve Lay, Peter Robinson, Dan Sheppard, and Richard Watts. ALT-J, 6(1):95-101, May 1998.
• Active alice: Using real paper to interact with electronic text. Heather Brown, Robert Harding, Steven Lay, Peter Robinson, Dan Sheppard, and Richard Watts. In Roger D Hersch, Jacques Andre, and Heather Brown, editors, Electronic Publishing, Artistic Imaging, and Digital Typography, number 1375 in Lecture Notes in Computer Science, pages 407-419. Springer-Verlag, April 1998.
• Triggering information by context. P. J. Brown. Personal Technologies, 2(1):1-9, September 1998.
• Synchronization in Multimedia Documents. Helen Cameron, Peter King, Howard Bowman, and Simon Thompson. In Jacques Andre, editor, Electronic Publishing 98. Springer, May 1998.
• Studying Parallel Evolutionary Algorithms: The cellular Programming Case. M. Capcarrere, A. Tettamanzi, M. Tomassini, and M. Sipper. In Eiben et al, editor, Parallel Problem Solving from Nature V, pages 573-582. Spriner-Verlag, September 1998.
• Performance limitations of a Banyan-based ATM switching system under multiple, shaped traffic flows. P. Carvalho and P. Linington. In 16th IASTED International Conference on Applied Informatics, Garmisch-Partenkirchen, Germany, February 1998.
• Procedures and Recursion in the Refinement Calculus. ALC Cavalcanti, A Sampaio, and JCP Woodcock. Journal of the Brazilian Computer Society, 5(1):1-15, 1998.
• A Weakest Precondition Semantics for Z. AC Cavalcanti and JCP Woodcock. The Computer Journal, 41(1):1-15, 1998.
• Intelligent Computation of Trust. D. W. Chadwick, A. Basden, J. Evans, and A. J. Young. In Terena Networking Conference, TNC98, Dresden, Germany, pages 114-132, 1998.
• Enabling the Internet White Pages Service - the Directory Guardian. D. W. Chadwick and A. J. Young. In Internet Society Symposioum on Network and Distributed Systems Security (NDSS 98), San Diego, California, 1998.
• Common Subexpressions are Uncommon in Lazy Functional Languages. Olaf Chitil. In Chris Clack, Tony Davie, and Kevin Hammond, editors, Proceedings of the 9th International Workshop on Implementation of Functional Languages (September 1997), pages 53-71. St Andrews, Scotland, Springer, 1998.
• Widening Positive Boolean functions for Goal-dependent Groundness Analysis. Michael Codish, Andy Heaton, Andy King, Muhamed Abo-Zaed, and Pat Hill. Technical Report 12-98, Computing Laboratory, May 1998.
• A "ready reckoner" for staff costs in the NHS, volume i, estimated costs. R.E. Cooley, A. Slight, A. Netten, J. Knight, and J. Dennett, volume 1. PSSRU, University of Kent, Canterbury, Kent., December 1998.
• A "ready reckoner" for staff costs in the NHS. volume ii. methodology. R.E. Cooley, A. Slight, A. Netten, J. Knight, and J. Dennett. PSSRU, University of Kent, Canterbury, Kent, December 1998.
• Web Resource Re-discovery - Personal Resource Storage and Retrieval on the World Wide Web. Ian Cooper. PhD thesis, University of Kent at Canterbury, January 1998.
• Heuristics for atm multicast routing. J.S. Crawford and A.G. Waters. In Demetres Kouvatsos, editor, ATM'98 Sixth IFIP Wokshop on Performance Modelling and Evaluation of ATM Networks. Participants Proceedings: Tutorial Papers, pages 5/1-5/18, University of Bradford, July 1998. IFIP Workshop TC6 IFIP Working Groups WG6.3 and WG6.4, Performance Engineering Workshop.
• Heuristics for atm multicast routing. J.S. Crawford and A.G. Waters. In Demetres Kouvatsos, editor, ATM'98 Sixth IFIP Workshop on Performance Modelling and Evaluation of ATM Networks. Participants Proceedings: Tutorial Papers, pages 5/1-5/18, University of Bradford, July 1998. IFIP Workshop TC6 IFIP Working Groups WG6.3 and WG6.4, UK Performance Engineering Workshop.
• A Hybrid Approach to Quality of Service Multicast Routing in High Speed Networks. John Crawford. PhD thesis, University of Kent at Canterbury, November 1998.
• Coordinated Atomic Actions in Modelling Objects Cooperation. R. de Lemos and A. Romanovsky. In Proceedings of the 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98), pages 152-160, Kyoto, Japan, April 1998.
• Spatial Information Systems and the World Wide Web. Claudio de Souza Baptista and Zarine Kemp. Proceedings of GIS Research UK, 6th National Conference, Edinburgh, UK, March 1998.
• Specifying and Refining Internal Operations in Z. John Derrick, Eerke Boiten, Howard Bowman, and Maarten Steen. Formal Aspects of Computing, 10:125-159, December 1998.
• Testing refinements by refining tests. J. Derrick and E. A. Boiten. In J. P. Bowen, A. Fett, and M. G. Hinchey, editors, ZUM'98: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science, pages 265-283. Springer-Verlag, September 1998.
• Distributed Platform Support for Service Management. Geraldina Fernandes. PhD thesis, University of Kent at Canterbury, July 1998.
• Beyond anecdote towards real transfer: Using other institutions' experience of project work. Sally Fincher and Marian Petre. In 6th Annual Conference on the Teaching of Computer and 3rd Annual conference on Inegrating Technology into Computer Science Education: Changing the Delivery of Computer Science Education, pages 86-89. CTI/CTC and ACM SIGCSE, August 1998.
• Project-based learning practices in computer science education. Sally Fincher and Marian Petre. In 1998 FiE Conference, pages 1185-1191. IEEE, November 1998.
• Entraining students in professional issues: challenging their structures of knowledge. Sally Fincher and Ian Utting. In 6th Improving Student Learning Symposium: Improving Student Learning Outcomes, September 1998.
• Computer science: the discipline network and the metanet. Sally Fincher. In Stephen McNair, editor, Developing Disciplines the experience of the Discipline Networks Programme 1995-98, pages 13-19. Department for Education and Employment, December 1998.
• Learning from other disciplines: pedagogic models within computer science and from elsewhere. Sally Fincher. In Fred Mulder and Tom van Weert, editors, Informatics in Higher Education Views on informatics and non-informatics curricula, pages 231-234. Chapman & Hall, August 1998.
• Mining Very Large Databases with Parallel Processing. AA Freitas and SH Lavington. Kluwer Academic Publishers, Boston, 1998.
• A Multi-criteria approach for the evaluation of rule interestingness. AA Freitas. In N Ebecken, editor, Data Mining (Proc Int Conf Rio de Janeiro, Brazil), pages 7-20, Boston, September 1998. WIT Press.
• A Survey of Parallel Data Mining. AA Freitas. In HF Arner and N Mackin, editors, Proc 2nd Int Conf on the Practical Applications of Knowledge Discovery and Data Mining, pages 287-300, London, 1998. The Practical Application Company.
• On Objective Measures of Rule Surprisingness. AA Freutas. In JM Zytkow and M Quafafou, editors, LNAI 1510: Principles of Data Mining and Knowledge Discovery (Proc 2nd European Symp PKDD'98, Nantes, France), pages 1-9, Berlin, 1998. Springer-Verlag.
• The electronic faculty. U.D. Fuller and K.J. Lampard. In David Avison and Denis Edgar-Nevill, editors, Matching Technology with Organisational Needs, pages 475-483. McGraw-Hill International, April 1998.
• The electronic faculty: Towards truly paperless academic administration. U.D. Fuller and K.J. Lampard. In Annual International Conference of the Higher Education Research and Development Society of Australasia, Auckland, New Zealand. HERDSA, July 1998.
• Three Dimensional Software Modelling. Y. Gil and S. Kent. In Proceedings of ICSE98. IEEE Press, September 1998.
• A Theory of Episodic Memory for Case-based Reasoning and its Implementation. Carlos Ramierez Guitierrez. PhD thesis, University of Kent at Canterbury, December 1998.
• Reflections on the Object Constraint Language. A. Hamie, F. Civello, J. Howse, S. Kent, and M. Mitchell. In Post Workshop Proceedings of UML98. Springer Verlag, June 1998.
• Interpreting the Object Constraint Language. A. Hamie, J. Howse, and S. Kent. In Proceedings of Asia Pacific Conference in Software Engineering. IEEE Press, July 1998.
• Modular Semantics for Object-Oriented Models. A. Hamie, J. Howse, and S. Kent. In Proceedings of Northern Formal Methods Workshop, eWics Series. Springer Verlag, August 1998.
• Navigation Expressions in OO Modelling. A. Hamie, J. Howse, and S. Kent. In Proceedings of FASE98 at ETAPS98, pages 123-137. Springer Verlag, March 1998.
• Automatic Verification of Mixed-Level Logic Circuits. Keith Hanna. In O. Gopalakrishna and P. Windley, editors, Formal Methods in Computer-Aided Design, volume 1522 of Lecture Notes in Computer Science, pages 133-148, Proceedings FMCAS 98, December 1998. Springer-Verlag, Berlin.
• Reasoning about Imperfect Digital Systems. Keith Hanna. In B. Moller and J. V. Tucker, editors, Prospects for Hardware Foundations, pages 333-355. Springer-verlag, Berlin, December 1998.
• Improvisation and ear-training for guitarists. Leslie Hatton. In preparation, January 1998.
• Keynote paper in ISTCS'98. Leslie Hatton. In Conference on Computer Software Testing, Washington, DC., June 1998.
• Programming technology, reliability, safety and measurement. Leslie Hatton. IEE Computing and Control Engineering Journal, 9(1):23-27, February 1998.
• Software Failure: avoiding the avoidable and living with the rest. Leslie Hatton. Addison Wesley, January 1998. In preparation.
• Analysis of Logic Programs with Delay. Andrew Heaton, Pat Hill, and Andy King. In N E Fuchs, editor, Logic Programming, Synthesis and Transformation (Selected Papers), volume 1463 of Lecture Notes in Computer Science, pages 148-167. Springer-Verlag, July 1998. Copyright Springer-Verlag, see http://www.springer.de./comp/lncs/index.html.
• Electronic publishing, artistic imaging, and digital typography. Roger D Hersch, Jacques Andre, and Heather Brown. Lecture Notes in Computer Science. Springer-Verlag, April 1998.
• Detecting and Exploiting Determinacy in Logic Programs. P Hill and A King. Computational Logic Newsletter, 4(1):100-101, January 1998.
• Generating Surface Geometry in Higher Dimensions using Local Cell Tilers. Steve Hill and Jonathan C. Roberts. Technical Report 4-98, University of Kent at Canterbury, Computing Laboratory, University of Kent, Canterbury, Kent CT2 7NF, March 1998.
• Representing space: A hybrid genetic algorithm for aesthetic graph layout. M.H.W. Hobbs and P.J. Rodgers. In FEA'98 Frontiers in Evolutionary Algorithms in Proceedings of JCIS'98 The Fourth Joint Conference on Information Sciences, volume 2, pages 415-418, October 1998.
• Projects in the computing curriculum. Mike Holcombe, Andy Stratton, Sally Fincher, and Gary Griffiths. Springer-Verlag, July 1998.
• Restructuring the BLAS Level-1 routine for computing the modified Givens transformation. Tim Hopkins. ACM SIGNUM, 32(4):2-14, October 1998. This is the published version of the UKC Computing Laboratory report 1-98, "Restructuring the BLAS Level 1 routine for computing the modified Givens transformation".
• Restructuring the blas level 1 routine for computing the modified givens transformation. Tim Hopkins. Technical Report 1-98, University of Kent, Computing Laboratory, Canterbury, Kent, UK., January 1998.
• A `Permuation-free' Calculus for Lax Logic. J. M. Howe. Research Report CS/98/1, University of St Andrews, January 1998.
• Proof Search Issues in Some Non-Classical Logics. J. M. Howe. PhD thesis, University of St Andrews, December 1998. Available as University of St Andrews Research Report CS/99/1.
• Jisys: Development of an artificial immune system for real world applications. J Hunt, J Timmis, D Cooke, M Neal, and C King. In Artificial Immune Systems and their Applications, pages 157-186. Springer-Verlag, 1998.
• Revisiting Simon on the Design of Complex Systems. L Johnson. Int. J. Systems Research and Information Science, 7(4):213-224, October 1998.
• Proceedings of the First International Symposium on Memory Management. Richard Jones, editor, Vancouver, Canada, October 1998. ACM. ISMM is the successor to the IWMM series of workshops.
• Reflections on the design of a specification language. Stefan Kahrs and Donald Sannella. In Egidio Astesiano, editor, Fundamental Aspects of Software Engineering, volume 1382 of Lecture Notes in Computer Science, pages 154-170. Springer, April 1998.
• A Marine Environmental Information System for Spatiotemporal Analysis. Zarine Kemp and T. K. Howard Lee. Proceedings of 8th International Symposium on Spatial Data Handling, SDH '98, Vancouver, Canada., July 1998.
• Towards a Comprehensive Fisheries Management Information System. Zarine Kemp and Geoff Meaden. Proceedings of the International Institute of Fisheries Economics and Trade, IIFET '98 Conference, Tromsoe, Norway, July 1998.
• Modelling Components. S. Kent, J. Howse, and A. Lauder. In Proceedings: International Workshop on Large-Scale Software Composition at DEXA98. IEEE Press, August 1998.
• Visualising Action Contracts in OO Modelling. S Kent and Y. Gil. In IEE Proceedings: Software, number 2-3 in 145, pages 70-78, April 1998.
• Practical dependency analysis through a share quotient. Andy King, Pat Hill, and Jan Smaus. Technical Report 11-98, Computing Laboratory, May 1998.
• Using Probability to Reason about Soft Deadlines. Andy King and Jeremy Bryans. Technical Report 13-98, Computing Laboratory, August 1998. Presented at the International Workshop on Constraint Programming for Time Critical Applications and Multi-Agent Systems, Nice, France.
• Formality: The object constraint language and its application in the uml metamodel. A Kleppe, J Warmer, and S Cook. In J Bezivin and P-A Muller, editors, UML98 Conference Proceedings. LNCS 1618, Springer-Verlag, 1998.
• Support for object-oriented testing. Michael Kolling and John Rosenberg. In Technology of Object-Oriented Languages and Systems (TOOLS) 28, pages 204-215, Melbourne, Australia, June 1998. IEEE.
• The Blue Programming Environment - Reference Manual. Michael Kolling. Technical Report TR98/19, School of Computer Science and Software Engineering, Monash University, August 1998.
• Precise Visual Specification of Design Patterms. A. Lauder and S. Kent. In Proceedings of ECOOP98, pages 114-134. Springer Verlag, July 1998.
• Policies in communities: Extending the enterprise viewpoint. P.F. Linington, Z Milosevic, and K. Raymond. In Proc. 2nd International Workshop on Enterprise Distributed Object Computing (EDOC'98), San Diego, USA, page 11, November 1998.
• Strategies for Lifecycle and Concurrency and Iteration: A Systems Dynamics Approach. K C Mander, A L Powell, and D S Brown. In Proceedings Process Modelling and Simulation 98 (ProSim'98), Silver Falls, Oregon, June 1998.
• Elaboration and Testing of Hierarchical / Distributed Computing Algorithms. Lungu Marin, Gheorghe Marian, Carmen Musatescu, and Octavian Patrascoiu. In Proceedings of the International Symposium on System Theory (ISST-98), Craiova Romania, May 1998.
• MPEG Video Transmission over a Four Priority Level ATM Network. Richard Mills. PhD thesis, University of Kent at Canterbury, August 1998.
• Enhanced reality fieldwork using hand-held computers in the field. D.R. Morse, N.S. Ryan, and J. Pascoe. Life Sciences Educational Computing, 9:18-20, January 1998.
• Augmenting an artificial immune network. M Neal, J Hunt, and J Timmis. In Proc. of Int. Conf. Systems and Man and Cybernetics, pages 3821-3826, San Diego, California, U.S.A., 1998. IEEE.
• Developing personal technology for the field. J. Pascoe, D. R. Morse, and N. S. Ryan. Personal Technologies, 2:28-36, August 1998.
• Context aware: the dawn of sentient computing?. J. Pascoe, N. S. Ryan, and P. J. Brown. GPS World, 9(9):22-30, September 1998.
• Human Computer Giraffe Interaction: HCI in the Field. J. Pascoe, N. S. Ryan, and D. R. Morse. In C. Johnson, editor, Workshop on Human Computer Interaction with Mobile Devices, GIST Technical Report G98-1. University of Glasgow, May 1998.
• Adding generic contextual capabilities to wearable computers. Jason Pascoe. In The Second International Symposium on Wearable Computers, pages 92-99, Pittsburgh, October 1998. IEEE Computer Society. Online proceedings available from http://iswc.gatech.edu/.
• An Extension of Prolog for UBG. Octavian Patrascoiu. In Proceedings of the International Symposium on System Theory (ISST-98), Craiova, Romania, May 1998.
• Implementing English Inflection. Octavian Patrascoiu. In Proceedings of the International Symposium on System Theory (ISST-98), Craiova, Romania, May 1998.
• Constraint oriented specification with CSP and real time temporal logic. Justin Pearson and Jeremy Bryans. Technical Report 3-98, University of Kent at Canterbury, July 1998.
• Using other people's experience of project work: Realising fitness for purpose. Marian Petre and Sally Fincher. In Mike Holcombe, Andy Stratton, Sally Fincher, and Gary Griffiths, editors, Projects in the Computing Curriculum, pages 19-30. Springer-Verlag, July 1998.
• Architectures, Languages and Patterns for Parallel and Distributed Applications. P.H.Welch and A.W.P.Bakkers, editors, volume 52 of Concurrent Systems Engineering Series. WoTUG, IOS Press (Amsterdam), April 1998.
• Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor. Erik Poll and Simon Thompson. Technical Report 6-98, Computing Laboratory, University of Kent, May 1998. Presented at the workshop Calculemus and Types, Eindhoven, Netherlands, July 1998. <a href="http://www.win.tue.nl/math/dw/pp/calc/">Workshop website</a>.
• Behavioural subtyping for a type-theoretic model of objects. Erik Poll. In FOOL5: Fifth International Workshop on Foundations of Object-Oriented Languages, January 1998.
• Expansion Postponement for Normalising Pure Type Systems. Erik Poll. Journal of Functional Programming, 8(1):89-96, January 1998.
• Subtyping and Inheritance for Categorical Datatypes. Erik Poll. In Theories of Types and Proofs (TTP) - Kyoto, RIMS Lecture Notes 1023. Kyoto University Research Insitute for Mathematical Sciences, January 1998.
• Extended Transputer Code - a Target-Independent Representation of Parallel Programs. M.D. Poole. In P.H.Welch and A.W.P.Bakkers, editors, Architectures, Languages and Patterns for Parallel and Distributed Applications, volume 52 of Concurrent Systems Engineering, Address, April 1998. WoTUG, IOS Press.
• Some lessons for location-aware applications. Proceedings of first workshop on HCI for mobile devices. Glasgow University, May 1998.
• On Encouraging Multiple Views for Visualization. Jonathan C. Roberts. In Ebad Banissi, Farzad Khosrowshahi, and Muhammad Sarfraz, editors, IV'98 - Proceedings International Conference on Information Visualization, pages 8-14. IEEE Computer Society, July 1998.
• Publishing Time Dependent Oceanographic Visualizations using VRML. Jonathan C. Roberts. In Simon Grange, editor, Proceedings of the Fifth UK Virtual Reality Special Interest Group - VRSIG '98, page 12, September 1998. (http://www.cs.ukc.ac.uk/people/staff/jcr/vrsig98/oceanVRML.html).
• URLs in Print: To Cite or Not to Cite - Considering the Sources. Jonathan C. Roberts. Computer, 31(2):115-117, February 1998. (Internet Watch - letter).
• Waltz - an exploratory visualization tool for volume data, using multiform abstract displays. Jonathan C. Roberts. In Robert F. Erbacher and Alex Pang, editors, Visual Data Exploration and Analysis V, Proceedings of SPIE, volume 3298, pages 112-122. (IS&T and SPIE), January 1998.
• A Graph Rewriting Programming Language for Graph Drawing. P.J. Rodgers. In Proceedings of the 14th IEEE Symposium on Visual Languages, Halifax, Nova Scotia, Canada. IEEE, IEEE Computer Society Press, September 1998.
• Cyclic distributed garbage collection with group merger. Helena Rodrigues and Richard Jones. In Eric Jul, editor, Proceedings of 12th European Conference on Object-Oriented Programming, ECOOP98, Lecture Notes in Computer Science, pages 249-273, Brussels, July 1998. Springer.
• Cyclic Distributed Garbage Collection. Helena Rodrigues. PhD thesis, University of Kent at Canterbury, November 1998.
• The `gold standard'' navigator. Andrew Runnalls and Robin Handley. In Mark Bedworth and Jane O''Brien, editors, Proceedings of Eurofusion98, pages 77-82, 1998.
• CFTP - A caching FTP server. M.T. Russell and T.R. Hopkins. Computer Networks and ISDN Systems, 30(22-23):2211-2222, November 1998. Presented at the 3rd International Caching Workshop, Manchester, 15th-17th June 1998.
• Enhanced reality fieldwork: the context-aware archaeological assistant. N. S. Ryan, J. Pascoe, and D. R. Morse. In V. Gaffney, M. van Leusen, and S. Exxon, editors, Computer Applications in Archaeology 1997, British Archaeological Reports, Oxford, October 1998. Tempus Reparatum.
• Distance: a New Metric for Controlling Granularity for Parallel Execution. K. Shen, V. Santos Costa, and A. King. In Joint International Conference and Symposium on Logic Programming, pages 85-99. MIT Press, July 1998.
• A Simple Cellular Automation that Solves the Density and Ordering Problems. M Sipper, M Capcarrere, and E Ronald. International Journal of Modern Physics C, 9(7):899-902, October 1998.
• Evolving asynchronous and scalable cellular automata. M. Sipper, M. Tomassini, and M. Capcarrere. In Smith et al, editor, International Conference on Artificial Neural Networks and Genetic Algorithms'97, pages 66-69. Springer-Verlag, June 1998.
• Preventing instantiation errors and loops for logic programs with several modes using t block declarations. Jan-Georg Smaus, Pat Hill, and Andy King. Technical Report UMCS-98-6-1 (University of Manchester), June 1998. Extended abstract. Accepted for presentation at the LOPSTR 98 workshop.
• Termination of Logic Programs with block Declarations Running in Several Modes. Jan-Georg Smaus, Pat Hill, and Andy King. In Catuscia Palamidessi, editor, International Symposium on Programming Languages: Implementations, Logics and Programs, jointly held with Algebraic and Logic Programming, volume 1490 of Lecture Notes in Computer Science, pages 73-88. Springer-Verlag, see also http://www.springer.de/comp/lncs/index.html, June 1998.
• Verification of logic programs with block declarations running in several modes. Jan-Georg Smaus, Pat Hill, and Andy King. Technical Report 7-98, University of Kent at Canterbury, Canterbury, CT2 7NF, United Kingdom, July 1998.
• Well-terminating, input-driven logic programs. Jan-Georg Smaus. Technical Report 16-98, University of Kent at Canterbury, November 1998.
• Consistency and composition of process specifications. Maarten W. A. Steen. PhD thesis, University of Kent at Canterbury, United Kingdom, May 1998.
• The Importance of Business Rules in the Organisational Transformation Process. Maria Stergiou and Leslie Johnson. In Nagib Callaos, Hong Heather Yu, and Angel Garcia, editors, ISAS'98 Proceedings - 4th International Conference on Information Systems, Analysis and Synthesis, volume 3, pages 548-553. International Institute of Informatics and Systemics, July 1998.
• The role of the user in computer-based species identification. G. M. Tardivel and D. R. Morse. In P. Bridge, P. Jeffries, D.R. Morse, and Scott P.R., editors, Information technology, plant pathology and biodiversity, pages 247-259. CAB International, Wallingford, Oxfordshire, UK, March 1998.
• A Functional Reactive Animation of a Lift using Fran. Simon Thompson. Technical Report 5-98, Computing Laboratory, University of Kent, May 1998.
• Automated Programme Flaw Finding using Simulated Annealing. N J Tracey, J A Clark, and K C Mander. In ACM SOGSOFT Symposium on Software Testing and Analysis (ISSTA 98), Florida, March 1998.
• The Way Forward for Unifying Dynamic Test Case Generation: The Optimisation-based Approach. N J Tracey, J A Clark, and K C Mander. In IFIP International Workshop on Dependable Computing and its Applications (DCIA 98), Johannesburg, January 1998.
• An Automated Framework for Structural Test-data Generation. N J Tracey, J A Clark, K C Mander, and J A McDermid. In Proceedings 13th IEEE Conference in Automated Software Engineering, Hawaii, October 1998.
• Standards in the CHIC-pilot distributed indexing architecture. Peter Valkenburg, Dave Beckett, Martin Hamilton, and Simon Wilkinson. In Towards Networking and Services in the Year 2001, Proceedings of TERENA Networking Conference 1998, volume 30, pages 1571-1578, Amsterdam, The Netherlands, September 1998. TERENA, Elsevier.
• Seamless Parallel Computing on Heterogeneous Networks of Multiprocessor Workstations. Kevin Vella. PhD thesis, University of Kent at Canterbury, December 1998.
• Um metodo para solucao exata do problema flowshop permutacional. MA Visintin and AA Freitas. In Anais do XXX SBPO (Simposio Brasileiro de Pesquisa Operacional), pages 311-312, Curitiba - PR, Brazil: PUC-PR, November 1998.
• Java Threads in the Light of occam/CSP. P.H. Welch. In P.H.Welch and A.W.P.Bakkers, editors, Architectures, Languages and Patterns for Parallel and Distributed Applications, volume 52 of Concurrent Systems Engineering Series, pages 259-284, Amsterdam, April 1998. WoTUG, IOS Press.
• Parallel and Distributed Computing in Education (Invited Talk). P.H. Welch. In J.M.L.M.Palma, J.Dongarra, and V.Hernandez, editors, VECPAR''98: Third International Conference on Vector and Parallel Processing - Selected Papers, volume 1573 of Lecture Notes in Computer Science, page 30 pages. Springer-Verlag, June 1998.
• Modeling for Component Based Development. A C Wills. Presented at ECCOP 98, OOPSLA 98, 1998.
• A virtual laboratory notebook for simulation models. A. J. Winfield. In Russ B. Altman, Dunker K. Keith, and Lawren Hunter, editors, Pacific Symposium on Biocomputing '98, volume 3, pages 177-188. World Scientific Pub Co., January 1998. PSB'98 electronic proceedings availiable at http://www.cgl.ucsf.edu/psb/psb98/.