Skip to main content
Kent Academic Repository

Browse by Publisher

Group by: Item Type | Date | No Grouping
Number of items: 13.

Reports and Papers

Cavalcanti, Ana L. C. and Woodcock, Jim (2004) Angelic Nondeterminism and Unifying Theories of Programming. Technical report. University of Kent (KAR id:14151)
Format: PDF
Boiten, Eerke Albert (2004) Input/Output Abstraction of State Based Systems. Technical report. University of Kent (KAR id:14143)
Format: Postscript Format: PDF
Boiten, Eerke Albert (2004) Travelling Salesman Heuristics: Exercises in Haskell. Technical report. University of Kent (KAR id:14138)
Format: Postscript Format: PDF
Boiten, Eerke Albert (2004) Turtle Graphics: Exercises in Haskell. Technical report. University of Kent (KAR id:14157)
Format: Postscript Format: PDF
Bowman, Howard and Gomez, Rodolfo and Su, Li (2004) How to stop time stopping (preliminary version). Technical report. University of Kent, Canterbury, Kent, CT2 7NF, UK (KAR id:14161)
Format: PDF
Linington, Janet (2004) An Analysis of Student Performance. Technical report. University of Kent, University of Kent, Canterbury, Kent, UK (KAR id:14178)
Format: PDF
Tripp, Gerald (2004) An Intrusion Detection System for Gigabit Networks -Architecture and an example system. Technical report. University of Kent (KAR id:14188)
Format: PDF
Oliveira, Marcel V. M. (2004) A Refinement Calculus for Circus - Mini-thesis. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK (KAR id:14175)
Format: PDF
Patrascoiu, Octavian (2004) Model Transformations in YATL. Studies and Experiments. Technical report. University of Kent, Great Britain (KAR id:14196)
Format: PDF
Tang, Xinbei (2004) Mobile Process in Unifying Theories. Technical report. University of Kent, Canterbury, Kent CT2 7NF (KAR id:14219)
Format: PDF
Waters, A. Gill and Lim, Sei Guan (2003) Applying clustering algorithms to multicast group hierarchies. Technical report. University of Kent (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13932)
Bodden, Eric (2003) JAnalyzer, A Visual Static Analyzer for Java. Technical report. University of Kent, Kent, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13943)
King, Andrew C. (2003) Removing GC Synchronisation (extended version). Technical report. University of Kent (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13985)
This list was generated on Thu Jul 18 01:46:04 2024 BST.