• Contact
• Maps
• Departments

Navigation menu

School of Computing

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

Studying

• Undergraduate courses
• Postgraduate courses

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 1995

• A Methodology for Structuring Web Documents. James Allwright, David Pritchard, Stephen Jones, Nelson Stephens, Andrew Peel, Gordon Makinson, and John Steel. Unpublished paper by the TLTP HPCC developers., November 1995.
• High Performance Computing For All. James Allwright, David Pritchard, Stephen Jones, Nelson Stephens, Andrew Peel, Gordon Makinson, John Steel, and Heather Liddell. In Sylvia Alexander and Patricia Magee, editors, Proceedings of the 3rd Annual Conference on the Teaching of Computing, Dublin City University, September 1995. Dublin City University, CTI.
• Combined log system. D.J. Beckett. Computer Networks and ISDN Systems - Proceedings of the Third International World-Wide Web Conference, 27(6):1089-1095, April 1995. Slides of presentation are available at http://www.hensa.ac.uk/tools/www/logtools/www95/slides/index.html.
• Iafa templates in use as internet metadata. D.J. Beckett. World Wide Web Journal - Proceedings of the Fourth International World-Wide Web Conference, 1(1):135-143, December 1995.
• Formal specification and verification of multimedia systems in open distributed processing. L. Blair, G.S. Blair, H. Bowman, and A. Chetwynd. Computer Standards and Interfaces, 17(5-6):413-436, September 1995.
• Unification and multiple views of data in Z. E. Boiten, J. Derrick, H. Bowman, and M. Steen. In J.C. van Vliet, editor, Computing Science in the Netherlands, pages 73-85, Amsterdam, November 1995. Stichting Mathematisch Centrum.
• Cross viewpoint consistency in open distributed processing (intra language consistency). Eerke Boiten, Howard Bowman, John Derrick, and Maarten Steen. Technical Report 8-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1995.
• Formal description of distributed multimedia systems: an assessment of potential techniques. H. Bowman, L. Blair, G.S. Blair, and A. Chetwynd. Computer Communications, 18(12):964-977, December 1995.
• FDTs for ODP. H. Bowman, J. Derrick, P. Linington, and M. Steen. Computer Standards and Interfaces, 17:457-479, September 1995.
• Some results on cross viewpoint consistency checking. H. Bowman, J. Derrick, and M. Steen. In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 399-412, Brisbane, Australia, February 1995. Chapman and Hall.
• Strategies for consistency checking. Howard Bowman, Eerke Boiten, John Derrick, and Maarten Steen. Technical Report 12-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1995.
• Modelling distributed systems using Z. H. Bowman and J. Derrick. In K. M. George, editor, ACM Symposium on Applied Computing, pages 147-151, Nashville, February 1995. ACM Press.
• A true concurrency semantics for quality of service specification and validation. H. Bowman and J. Derrick. In Behcet Sarikaya and Senro Saito, editors, MMNet'95, International Conference on Multimedia and Networking, pages 173-182. IEEE Computer Society Press, September 1995.
• Embedded or separate hypertext mark-up: is it an issue?. P. J. Brown and H. Brown. EP-odd, 8(1):1-13, January 1995.
• Acrobat, mosaic and guide as vehicles for electronic journals. Heather Brown and Judith Wusteman. The New Review of Information Networking, 1:33-60, January 1995.
• Electronic journals using guide. Heather Brown and Judith Wusteman. In M Collier and K Arnold, editors, Electronic Library and Visual Information Research: ELVIRA 2, pages 92-106. Aslib, January 1995.
• Taking a stroll down babel street. P. J. Brown. In A. Davidson, editor, Humor the Computer, pages 165-168. MIT Press, Cambridge, Mass., January 1995.
• Towards a Denotational Semantics for Timed LOTOS. J.W. Bryans, J.W. Davies, and S.A. Schneider. In Lecture Notes in Computer Science 962. CONCUR'95, October 1995.
• Denotationelle und operationelle Semantiken für konstruktorbasierte funktionale Programmiersprachen erster Ordnung. Olaf Chitil. Master's thesis, RWTH Aachen, February 1995. In German.
• Pda web browsers: Implementation issues. Ian Cooper and Royston Shufflebotham. Technical Report 11-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1995.
• Maintaining cross viewpoint consistency using Z. J. Derrick, H. Bowman, and M. Steen. In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 413-424, Brisbane, Australia, February 1995. Chapman and Hall.
• Viewpoints and Objects. J. Derrick, H. Bowman, and M. Steen. In J. P. Bowen and M. G. Hinchey, editors, Ninth Annual Z User Workshop, volume 967 of Lecture Notes in Computer Science, pages 449-468, Limerick, September 1995. Springer-Verlag.
• The burden is description, not identification - reply. M. Edwards and D.R. Morse. Trends in Ecology and Evolution, 10(10):416-417, October 1995.
• The potential for computer-aided identification in biodiversity research. M. Edwards and D.R. Morse. Trends in Ecology and Evolution, 10(4):153-158, April 1995.
• Using Hypermedia Techniques to Enhance Learning in Dyslexic Students and Children. Karen Evans and Maria Welch. In D.Slater W.Strang and V.Simpson, editors, Hypermedia at Work, pages 203-206. University of Kent, January 1995.
• A flexible object invocation language based on object-oriented language definition. Mark Evered, Michael Kolling, and Axel Schmolitzky. The Computer Journal, 38(3):181-191, September 1995.
• Comparison of POSIX Open System Environment (OSE) and Open Distributed Processing (ODP) Reference Models. G. Fernandes and J. Hungate. NISTIR 5736, NIST - National Institute of Standards and Technology, Distributed Systems Engineering, Computer Systems Laboratory, Technology Administration, U.S. Department of Commerce, Gaithersburg, MD 20899, U.S.A., November 1995.
• Generic Multimedia Facilities in Geographic Information Systems. J. Groom and Z. Kemp. In P. Fisher, editor, Innovations in GIS 2. Taylor & Francis, London, UK, January 1995.
• The Tardis Project: Seismic Data Compression with CD Archival: Phase 1 - Feasibility. L. Hatton and C.J.M. Hewlett. in European Association of Exploration Geophysicists, Glasgow, June 1995.
• Computer Programming Languages and Safety-Related Systems. Les Hatton. In Redmill F and Anderson T, editors, Proceedings of 3rd Safety-Critical Systems Symposium. Springer-Verlag, January 1995.
• Safer C: Developing for High-Integrity and Safety-Critical Systems. Les Hatton. McGraw-Hill, January 1995.
• Surface models and the resolution of N-Dimensional cell ambiguity. Steve Hill and Jonathan C. Roberts. In Alan W. Paeth, editor, Graphics Gems V, pages 98-106. Academic Press, May 1995.
• Miranda in Isabelle. Steve Hill and Simon Thompson. In Lawrence C. Paulson, editor, Preceedings of the first Isabelle Users Workshop, number 397 in University Of Cambridge Computer Laboratory Technical Reports Series, pages 122-135, September 1995.
• Analysis of a retail branch network: a problem of catchment areas. Mike H.W. Hobbs. In Peter Fisher, editor, Inovations in GIS 2, pages 151-161. Taylor & Francis, March 1995.
• Computer Applications and Quantitative Methods in Archaeology, 1994. J. Huggett and N. Ryan, editors, number 600 in BAR International Series, Oxford, March 1995. Tempvs Reparatvm.
• Distributed Systems: Survey of Open Management Approaches. J. Hungate and G. Fernandes. NISTIR 5735, NIST - National Institute of Standards and Technology, Distributing Systems Engineering, Computer Systems Laboratory, Technology Administration, U.S. Department of Commerce, Gaithersburg, MD 20899, U.S.A., September 1995.
• A parallel implementation of the ANSA REX protocol. A.L. Ibbetson, P.F. Linington, I.A. Penny, A.B. Smith, and G.E.W. Tripp. In B.M. Cook, M.R. Jane, P. Nixon, and P.H. Welch, editors, Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995., volume 46 of Concurrent Systems Engineering Series, pages 29-41. IOS Press, October 1995.
• Enhancing a GIS with Temporal Capabilities. D. Johnson and Z. Kemp. Proceedings of GIS Research UK 1995 Conference, Newcastle, UK., April 1995.
• Introducing more systematic quality assurance arrangements for course approval and review. Richard Jones. In Robin Middlehurst, editor, Managing for Quality: Stories and Strategies, chapter 3.3, pages 15-17. Higher Education Quality Council, January 1995.
• Zed - a Z specification language font for PostScript Type 1 and TrueType. Richard E. Jones. BBS in a BOX CD-ROM, AMUG CD, Inc., 4131 N. 24th Street A-120,Phoenix, AZ 85016, June 1995. Available for Macintosh and Windows from the Oxford Z archive, Info-mac archive at Stanford University and mirrors.
• Confluence of curried term-rewriting systems. Stefan Kahrs. Journal of Symbolic Computation, 19:601-623, August 1995.
• Towards a domain theory for termination proofs. Stefan Kahrs. In Jieh Hsiang, editor, Rewriting Techniques and Applications, volume 914 of Lecture Notes in Computer Science, pages 241-255. Springer, April 1995.
• The variable containment problem. Stefan Kahrs. In Gilles Dowek, Jan Heering, Karl Meinke, and Bernhard M"oller, editors, Higher-Order Algebra, Logic, and Term Rewriting, volume 1074 of Lecture Notes in Computer Science, pages 109-123. Springer, September 1995.
• Multimedia and Spatial Information Systems. Zarine Kemp. IEEE MultiMedia, vol.2(no.4):pp 68-76, January 1995.
• Encapsulation and Aggregation. S. Kent and I. Maung. In Proceedings of TOOLS PACIFIC 95 (TOOLS 18), pages 227-238. Prentice Hall, November 1995.
• Quantified Assertions in Eiffel. S. Kent and I. Maung. In Proceedings of TOOLS PACIFIC 95 (TOOLS 18), pages 349-364. Prentice Hall, November 1995.
• Abstract matching can improve on abstract unification. Andy King and Mark Longley. Technical Report 4-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1995.
• Share x free revisited. Andy King. Technical Report 3-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, January 1995.
• Requirements for a first year object-oriented teaching language. Michael Kolling, Bett Koch, and John Rosenberg. In Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, volume 27, pages 173-177, Nashville, Tennessee, USA, March 1995. ACM.
• Rivus: A template language for modelling multimedia streams. Donna Lindsey. Technical Report 10-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1995.
• RM-ODP: The Architecture. P.F. Linington. In K.Raymond and E.Armstrong, editors, Open Distributed Processing: Experience with Distributed Environments, pages 15-33. IFIP, Chapman and Hall, February 1995.
• Rigorous Specification using Structured Systems Analysis and Z. K C Mander and F A C Polack. Information and Software Technology, 37(5-6):285-291, September 1995.
• A Requirements Capture Method and Its Use in an Air Traffic Control Application. T.L. McCluskey, J.M. Porteous, Y. Naik, C. Taylor, and S. Jones. Software Practice and Experience, 25:47-71, January 1995.
• Ecology on the Internet. D.R. Morse. BES Bulletin, XXVIII(4):244-250, November 1995.
• Modelmaker: A review. D.R. Morse. BES Bulletin, XXVIII(4):284-286, November 1995.
• Fixed-point calculus. Mathematics of Program Construction group. Information Processing Letters, 53(3):131-136, February 1995. Special Issue on The Calculational Method. Authors: C. Aarts, R. Backhouse, E. Boiten, H. Doornbos, N. van Gasteren, R. van Geldrop, P. Hoogendijk, E. Voermans and J. van der Woude.
• The Industrial Trial of SAZ: reflections on the use of an integrated specification method. H E D Parker, F A C Polack, and K C Mander. In Proceedings 7th International Conference on "Putting into practice methods and tools for information systems design", Universite de Nantes, October 1995. Institut de Recherches en Informatique de Nantes.
• Constructing Multiple-choice Tests. John Partington and Andrew Peel. TLTP Project ALTER software package, November 1995. ISBN 1 85889 115 9.
• Introduction to Computer-aided Assessment in Higher Education. John Partington and Andrew Peel. TLTP Project ALTER software package, November 1995. ISBN 1 85889 120 5.
• Graphs and Combinatorics. Algorithms and Programs. Octavian Patrascoiu, Nicolae Mitroi, and Gheorghe Marian. All Press, September 1995.
• Hypermedia at Work - Computer Aided Assessment through Hypermedia. Andrew Peel and Glenn Rowe. In W. Strang, D.Slater, and V.Simpson, editors, Hypermedia at Work, January 1995.
• Using records and pointers with occam 2.5. M. Poole. In Proceedings of WoTUG-18: Transputer and occam Developments, volume 44 of Transputer and Occam Engineering, pages 151-162, Amsterdam, April 1995. IOS Press. ISBN 90 5199 222 x.
• Progress with occam for the PC. Michael Poole. WoTUG Newsletter, 1995.
• Case-based Reasoning Applied to Information Retrieval. Carlos Ramirez. In IEE Coloquium on Case-Based Reasoning: Prospects for Application, London, February 1995. IEE.
• An agent-based model for the provision of advanced telecommunications services. Mike Rizzo and Ian Utting. In TINA 95: Integrating Telecommunications and Distributed Computing - from Concept to Reality, pages 205-218, February 1995.
• Aspects of Abstraction in Scientific Visualization. Jonathan C. Roberts. Ph.D thesis, University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK, October 1995.
• An Object-oriented Model for Spatio-temporal Data. E. Rojas-Vega and Zarine Kemp. In Proceedings of the Ninth Annual Conference on Geographical Information Systems, Vancouver, Canada, March 1995.
• Monte Carlo Markov Chain methods for tracking. A. R. Runnalls. In Algorithms for Target Tracking. IEE, May 1995. Digest No 1995/104.
• Database systems engineering. N. S. Ryan and D. J. Smith. International Thomson Computer Press, London, June 1995.
• The excavation archive as hyperdocument?. N. Ryan. In J. Huggett and N. Ryan, editors, Computer applications and quantitative methods in archaeology, 1994, number 600 in BAR International Series, pages 211-220, Oxford, March 1995. Tempvs Reparatvm.
• Composition of LOTOS specifications. M. W. A. Steen, H. Bowman, and J. Derrick. In P. Dembinski and M. Sredniawa, editors, Protocol Specification, Testing and Verification, XV, pages 73-88, Warsaw, Poland, January 1995. Chapman & Hall.
• Static analysis of martin-l"of's intuitionistic type theory. Alastair Telford. PhD thesis, The Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, UK, September 1995.
• Functional programming through the curriculum. Simon Thompson and Steve Hill. In Pieter H. Hartel and Rinus Plasmeijer, editors, Functional Programming Languages in Education, number 1022 in Lecture Notes in Computer Science, pages 85-102. Springer-Verlag, December 1995.
• A Logic for Miranda, Revisited. Simon Thompson. Formal Aspects of Computing, (7), March 1995.
• Miranda: The Craft of Functional Programming. Simon Thompson. Addison Wesley, July 1995.
• Programming Language Semantics using Miranda. Simon Thompson. Technical Report 9-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1995.
• Regular Expressions and Automata using Miranda. Simon Thompson. May 1995.
• An atm interface with facilities for traffic generation and monitoring. Gerald Tripp. Technical Report 6-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1995.
• An occam style communications system for unix networks. Kevin J. Vella. Technical Report 13-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, December 1995.
• Inductive learning of recurrence-term languages from positive data. P. Watson. In K.P. Jantke and S. Lange, editors, Algorithmic learning for knowledge-based systems, volume 961 of Lecture Notes in Artificial Intelligence, pages 292-315. Springer Verlag, January 1995.
• Transputer Applications and Systems ''95, Proceedings of the 1995 World Transputer Congress. P.H. Welch, B.M. Cook, M.R. Jane, and P. Nixon. IOS Press, Netherlands, September 1995. ISBN 90-5199-235-1.
• Real time image scanning on transputers (a case study in parallel design). P.H. Welch and D.J. Beckett. In B.M. Cooke, M.R. Jane, P. Nixon, and P.H. Welch, editors, Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995 (WTC'95), volume 46, pages 118-134, Amsterdam, Holland, September 1995. Transputer Consortium (TTC) and WoTUG, IOS Press.
• Parallel Hardware and Parallel Software: a Reconciliation. P.H. Welch. In Proceedings of the ZEUS''95 (Centres for European Supercomputing) NTUG''95 (Nordic Transputer User Group) Conference, pages 287-301, Linkoping, Sweden, May 1995. IOS Press, Netherlands. ISBN 90-5199-22-7.
• An investigation into the use of hypertext as a user interface to taxonomic keys. J.F. Wright, D.R. Morse, and G.M. Tardivel. Computer Applications in the Biosciences, 11(1):19-27, February 1995.
• Electronic journals using guide. Judith Wusteman and Heather Brown. Technical Report 7-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, April 1995.