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

• `simulating the global directory service with opnet. A Andrianopoulos and D W Chadwick. In Proceedings of the IEEE 26th Annual Simulation Symposium, Washington, pages 162-172. IEEE Computer Society Press, March 1993.
• Training for Transputer Technologies. A.W.P. Bakkers, R. Bruis, H.W. Roebbers, N.C. Schaller, M. H. Schwirtz, J.P.E. Sunder, K.C.J. Wijbrans, and P.H. Welch. In Parallel Processing in Education. TEMPUS, Hungarian Academic of Sciences, March 1993.
• Parallel searching for a first solution. Bozena Bartoszek, Zbigniew Czeck, and Marek Konopka. Technical Report 8-93*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1993.
• Transformational derivation of (parallel) programs using skeletons. E.A. Boiten, A.M. Geerling, and H.A. Partsch. In H. Wijshoff, editor, Computing Science in the Netherlands 1993, pages 97-108, Amsterdam, November 1993. Stichting Mathematisch Centrum.
• Parsing in ISBES. E.A. Boiten. In D. Bjorner, M. Broy, and I.V. Pottosin, editors, Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, pages 423-433, Berlin, June 1993. Springer-Verlag.
• Time versus abstraction in formal description. H. Bowman, G.S. Blair, L. Blair, and A.G. Chetwynd. In Richard Tenney, Paul D. Amer, and Umit Uyar, editors, IFIP Transactions C_22, Proceedings of FORTE`93, Sixth International Conference on Formal Description Techniques, pages 467-482. North-Holland, October 1993.
• An object-oriented toolkit for oda and hyperoda. H Brown, F C Cole, and E A Oxborrow. In Proceedings of SigDoc'93, pages 29-41. ACM, January 1993.
• Oda extensions for quality and flexibility. Heather Brown and Fred Cole. In B L Meek C D Evans and R S Walker, editors, User Needs in Information Technology Standards, Computer Weekly Professional Series, chapter 5, pages 148-160. Butterworth-Heinemann, January 1993.
• Desktop publishing. Heather Brown. In A Ralston and E D Reilly, editors, Encyclopedia of Computer Science, pages 426-429. Van Nostrand Reinhold, 3rd edition, January 1993.
• Using parallel programming environments on clusters of workstations. R.D. da Cunha and Tim Hopkins. Technical Report 12-93*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, December 1993.
• A parallel implementation of the restarted gmres iterative method for nonsymmetric systems of linear equations. Rudnei Dias da Cunha and Tim Hopkins. Technical Report 7-93*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1993.
• Parallel preconditioned conjugate-gradients methods on transputer networks. Rudnei Dias da Cunha and Tim Hopkins. Technical Report 5-93*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, April 1993.
• Porting linear algebra subroutines from transputers to clusters of workstations. Rudnei Dias da Cunha and Tim Hopkins. Technical Report 6-93*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1993.
• Strategies for Sharing Objects in Distributed Systems. J Daniels and S J Cook. Journal of Object-oriented Programming, January 1993.
• Farming: Towards a rigorous definition and efficient transputer implementation. Warren Day and Steve Hill. Technical Report 1-93*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, February 1993.
• Reasoning about Array Structures using a Dependently Typed Logic. Alan Dent and Keith Hanna. In Proc Computer Hardware Description Languages (CHDL-93), pages 195-212. Elsevier Science Publishers, 1993.
• The specification in z of the rex protocol. John Derrick and Robert Sultana. Technical Report 10-93*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1993.
• T'ecnicas de Compilacc ao para Sistemas Distribu'idos. Geraldina Paula Alves Fernandes. Dissertacc ao para Mestrado em Inform'atica ('area de Ci^encias da Computacc ao), Escola de Engenharia, Universidade do Minho, Braga, Portugal, October 1993. in portuguese.
• Algoritmos Geneticos e sua aplicacao ao problema do corte de barras. AA Freitas, JC Anacleto, R Morabito Neto, and C Kirner. In Proc I Simp Brasileiro em Automacao Inteligente, pages 38-47, Rio Claro - SP, Brazil: UNESP, August 1993.
• Fine-grain parallel best-first branch-and-bound. AA Freitas and C Kirner. In Proc XIX Latin-American Conf on Informatics, pages 421-436, Buenos Aires, Argentina, August 1993.
• Tailoring A* for a massively parallel machine: application to the traveling salesman problem. AA Freitas and C Kirner. In Proc I Simp Brasileiro em Automacao Inteligente, pages 371-380, Rio Claro - SP< Brazil: UNESP, August 1993.
• Strongly-Typed Theory of Structures and Behaviours. Keith Hanna and Neil Daeche. In Correct Hardware Design and Verification Methods, pages 39-54. Springer-Verlag, 1993.
• Cyclic weighted reference counting without delay. Richard E. Jones and Rafael D. Lins. In Proceedings of PARLE'93, pages 712-715, June 1993.
• Teaching electronic publishing: Learning software engineering. Richard E. Jones and Ian A. Utting. Technical Report 9-93*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1993.
• Zed - a Z specification language Type 1 font. Richard E. Jones. Oxford Z archive, Info-mac archive at Stanford University and mirrors, November 1993.
• Compilation of combinatory reduction systems. Stefan Kahrs. In Jan Heering, Karl Meinke, Bernhard M"oller, and Tobias Nipkow, editors, Higher-Order Algebra, Logic, and Term Rewriting, volume 816 of Lecture Notes in Computer Science, pages 169-188. Springer, September 1993.
• Mistakes and ambiguities in the definition of Standard ML. Stefan Kahrs. LFCS Report ECS-LFCS-93-257, University of Edinburgh, April 1993. An update listing further errors can be found at t ftp://ftp.dcs.ed.ac.uk/pub/smk/SML/errors-new.ps.Z.
• Modelling Relationships in Object Management Systems. Zarine Kemp. In Proceedings of Object Technology '93, DS3, pages 1-11, Cambridge, England, April 1993.
• Formally Specifying Temporal Constraints and Error Recovery. S. Kent, T. S. E. Mailbaum, and W. J. Quirk. In Proceedings of IEEE First International Symposium on Requirements Engineering (RE93), San Diego, January 1993.
• An Axiomatic Semantics for VDM++: OO Aspects. S. Kent. Afrodite Report AFRO/IC/SK/SEM-OO/V2, Imperial College of Science, Technology and Medicine, London, January 1993.
• Modelling Events from Natural Language. S. Kent. PhD thesis, Department of Computing, Imperial College of Science, Technology and Medicine, London, January 1993.
• Towards a Modal Logic of Durative Actions. S. Kent. In Proceedings of the first Imperial College Dept. of Computing Theory & Formal Methods Section Workshop, pages 183-194. Springer Verlag, March 1993.
• The introduction to hospital office system. Chunsheng Lan, Fang Ting, and Linying Su. Processing and Research of Medical Iinformation, 1(1):26-28, August 1993.
• An implementation of ocr system based on skeleton matching. Ning Li. Technical Report 3-93*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1993.
• Cyclic weighted reference counting. Rafael D. Lins and Richard E. Jones. In WP & FP'93 Workshop on Parallel and Distributed Processing, Sofia, Bulgaria, pages 369-382, May 1993. Also in UKC Computing Laboratory Technical Report 95, December 1991, revised November 1992.
• Further Development of a Distributed Transputer Based X Server. G.J. Makinson and M. Wojtulewicz. In Proceedings of the Seventh International Parallel Processing Symposium, pages 98-102, Los Angeles, California, USA, April 1993. IEEE Computer Society Press. ISBN 0-963-6720-0-2.
• The SAZ Method: Version 1.0. K C Mander, F A C Polack, and M Whiston. In YCS 207, page 227, University of York, September 1993.
• The SAZ Project: Integrating SSADM and Z. K C Mander, F A C Polack, and M Whiston. In Proceedings JFIT conference, pages 355-362. University of Keele, March 1993.
• Spatial Simulation Modelling of Insect Population Dynamics on a Transputer Network. D.R. Morse. In Jon Kerridge, editor, Proceedings of WoTUG 16, pages 66-75, Sheffield University, UK, March 1993. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-121-5.
• Evaluation of Contrasting Prolog Trace Output Formats. M.J. Patel, J.B.H. du Boulay, and C. Taylor. Cog. Sci. Research Paper 276, University of Sussex, April 1993.
• The SAZ Project: Integrating SSADM and Z. F A C Polack, M Whiston, and K C Mander. In Proceedings FME'93, number 670, pages 541-557, Denmark, April 1993.
• An implementation of occam 2 targetted to 80386, etc. Michael Poole. WoTUG Newsletter, 18, 1993.
• An overview of rendering from volume data - including surface and volume rendering. Jonathan C. Roberts. Technical Report 13-93*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, December 1993.
• Adaptive importance sampling for Bayesian networks applied to filtering problems. Andrew R. Runnalls. In David J. Hand, editor, Artificial Intelligence Frontiers in Statistics: AI and Statistics III. Chapman and Hall, 1993. Based on the proceedings of the Third International Workshop on AI and Statistics, Fort Lauderdale, 1991.
• The implementation of Computer Based Nursing System. Linying Su, Xiulan Ji, Liling Guo, and Xiaoling Lu. Processing and Research of Medical Iinformation, 1(1):24-26, August 1993.
• An interface to dbase-iii in natural language. Linying Su. Journal of Inner Mongoliar University (Edition of Science), 24(2):213-224, March 1993.
• Conflict Prediction Prototype (Test Harness and Results). Chris Taylor and Yogesh Naik. Technical Report CAA/FAROAS/05/043/01, Dept. of Comp. Science, City University, London, August 1993.
• Conflict Prediction Prototype (User Guide). Chris Taylor and Yogesh Naik. Technical Report CAA/FAROAS/05/036/02, Dept. of Comp. Science, City University, London, August 1993.
• Conflict Prediction Specification (Domain Objects). Chris Taylor and Yogesh Naik. Technical Report CAA/FAROAS/05/035/02, Dept. of Comp. Science, City University, London, June 1993.
• Conflict Prediction Specification (MATS-2 Separation Rules). Chris Taylor and Yogesh Naik. Technical Report CAA/FAROAS/05/034/02, Dept. of Comp. Science, City University, London, June 1993.
• Parsing and Translation of MATS-2 Rules in Theoretical Form. Chris Taylor and Yogesh Naik. Technical Report CAA/FAROAS/05/024/04, Dept. of Comp. Science, City University, London, August 1993.
• Uncertainties in the Interpretation of MATS-2 Separation Rules. Chris Taylor and Yogesh Naik. Technical Report CAA/FAROAS/05/022/01, Dept. of Comp. Science, City University, London, February 1993.
• User Guide to Theoretical Form Parsing and Translation Tool (PATT). Chris Taylor and Yogesh Naik. Technical Report CAA/FAROAS/05/025/03, Dept. of Comp. Science, City University, London, August 1993.
• A Formal Logical Analysis of Causal Relations. Chris Taylor. DPhil Thesis, University of Sussex, July 1993.
• Verification techniques for LOTOS: final report. M. Thomas, C. Kirkwood, B. Matthews, and P. Watson. Technical Report FM-1993-8, Department of Computing Science, University of Glasgow, January 1993.
• Solving divergence in Knuth-Bendix completion by enriching signatures. M. Thomas and P. Watson. Theoretical Computer Science, 112:145-185, January 1993.
• The pragmatics of closure reduction. Stephen P. Thomas. PhD thesis, University of Kent at Canterbury, September 1993.
• Delay Considerations in Multicast Routing for ATM Networks. A.G. Waters and T. L. J. Bishop. In 10th UK Teletraffic Symposium, pages 12/1-12/6. IEE, April 1993.
• Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress. P.H. Welch, R. Grebe, J. Hektor, S.C. Hilton, and M.R. Jane, editors. IOS Press, Netherlands, September 1993. ISBN 90-5199-140-1.
• Higher-Level Paradigms for Deadlock-Free High-Performance Systems. P.H. Welch, G.R.R. Justo, and C.J. Willcock. In R. Grebe, J. Hektor, S.C. Hilton, M.R. Jane, and P.H. Welch, editors, Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress, volume 2, pages 981-1004, Aachen, Germany, September 1993. IOS Press, Netherlands. ISBN 90-5199-140-1.
• Networks, Routers and Transputers: Function, Performance and Application. P.H. Welch, M.D. May, and P.W. Thompson. IOS Press, Netherlands, February 1993. ISBN 90-5199-129-0.
• Serialisation as a Paradigm for the Engineering of Parallel Programs. P.H. Welch and G.R.R. Justo. Computers and Artifical Intelligence, 12(3):229-249, January 1993.
• An enabling infrastructure for a distributed multimedia industry. P.H. Welch and P.F. Linington. In P.H. Welch, M.D. May, and P.W. Thompson, editors, Networks, Routers and Transputers: Function, Performance and Application, pages 183-200. IOS Press, Netherlands, February 1993. ISBN 90-5199-129-0.
• Image Tracking in Real-Time: a Transputer Emulation of Some Early Mammalian Vision Processes. P.H. Welch and D.C. Wood. Image and Vision Computing, II(4):221-228, May 1993.