• 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 1990

• Deduction with Modularity, Equality and Sortedness. W. Atkinson, J. Cunningham, and S. Kent. In FOREST Research Deliverable Report WP3.R1. Department of Computing, Imperial College of Science, Technology and Medicine, London, January 1990.
• Factorisation of the factorial - an algorithm discovered by playing with transformations. E.A. Boiten. Technical Report 90-18, Dept. of Informatics, University of Nijmegen, November 1990.
• Assessing the quality of hypertext documents (keynote address to ECHT''90). P. J. Brown. In A. Rizk et al., editors, Hypertext: Concepts, Systems and Applications, pages 1-12. Cambridge University Press, January 1990.
• The 1992 directory standards - implications for earlier implementations of the directory. D W Chadwick. In Colloquium on the Global Directory, London. IEE, April 1990.
• The directory and its implications for name registration. D W Chadwick. In Proceedings of the Open Systems and Interoperability Conference, London. Blenheim Online Publications, March 1990.
• Tutorial on x.500 - the directory. D W Chadwick. In IFIP TCC 3rd Int Conf on Information Network and Data Communication, Lillehammer, pages T3-1-T3-17, March 1990.
• A generally configurable multigrid implementation for the solution of three-dimensional elliptic equations on a transputer network. Mohamed Osama El-Giar and Tim Hopkins. Technical Report 79*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1990.
• Specification and Verification using Dependent Types. F. K. Hanna, N. Daeche, and M. Longley. IEEE Trans. Software Engineering, SE-16(9):949-964, September 1990.
• Distributing matrix eigenvalue calculations over transputer arrays. Tim Hopkins and Barry Vowden. Technical Report 81*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1990.
• Nag spline fitting routines on a graphics workstation - the story so far. Tim Hopkins. Technical Report 76*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, July 1990.
• Tail recursion without space leaks. Richard Jones. Technical Report 72*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1990.
• Implementing SASL using Categorical Multi-combinators. Rafael D Lins and Simon Thompson. Technical Report 47*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, February 1990.
• Case studies in equational reasoning. U.H. Martin, D.A. Cohen, M.K.F. Lai, K.J. Norrie, and P. Watson. Technical report, Royal Holloway and Bedford New College, University of London, January 1990.
• Modular Object-Oriented Z Specifications. SRL Meira and ALC Cavalcanti. In JE Nicholls, editor, Z User Workshop, pages 173-192, Oxford, UK, 1990. Springer-Verlag.
• Diffusion Limited Aggregation: an Example of Real-Time Parallelisation. D.R. Morse, A.M. Welch, and P.H. Welch. In H.S.M. Zedan, editor, Real-Time Systems with Transputers, Proceedings of OUG 13, pages 248-261, University of York, UK, September 1990. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 041 3.
• On restricted forms of enumeration reducibility. P. Watson. Annals of Pure and Applied Logic, 49:75-96, January 1990.
• A Generalized FFT Algorithm on Transputers. P.H. Welch and H. Roebbers. In Transputer Research and Applications 4, Proceedings of NATUG 4, pages 77-87, Ithaca, New York, October 1990. North America Transputer User Group, IOS Press, Netherlands. ISBN 90 5199 040 4.
• Transputer Models for a High-Performance Local Area Network Bridge. P.H. Welch and A.M. Sarrafan. In Tools and Techniques for Transputer Applications, Proceedings of OUG 12, pages 111-121, University of Exeter, UK, April 1990. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 029 4.
• Multi-Priority Scheduling for Transputer-Based Real-Time Control. P.H. Welch. In H.S.M. Zedan, editor, Real-Time Systems with Transputers, Proceedings of OUG 13, pages 198-214, University of York, UK, September 1990. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 041 3.
• Parallel Algorithms and Safety-Critical Standards. P.H. Welch. In Proceedings of the 10th Benelux Meeting on Systems and Control, Eindhoven, Netherlands, March 1990.