# Reports and Theses

All technical reports and theses are now stored in the Warwick WRAP repository, and can be found from the WRAP web portal (search for "computer science technical report <author> <title>").

In some cases the reports have been subsequently published and the report withdrawn. In such case the link provided is to the published paper.

- CS-RR-442
- M. Hendrix, P. De Bra, M. Pechenizkiy, D. Smits and A.I. Cristea,
*Defining adaptation in a generic multi layer model: CAM: The GRAPPLE Conceptual Adaptation Model*, June, 2008 **CS-RR-441**- J.R.C. Nurse and J.E. Sinclair, BOF4WSS: A Business-Oriented Framework for Enhancing Web Services Security for e-Business, 2008
- CS-RR-440
- G. Cosma,
*An Approach to Source-Code Plagiarism Detection and Investigation Using Latent Semantic Analysis*(PhD thesis), September, 2008 - CS-RR-439
- S. Kalvala, R. Warburton and D. Lacey,
*Program transformations using temporal logic side conditions*, August, 2008 - CS-RR-438
- S. Liu, M.S. Joy and N.E. Griffiths,
*An Exploration of Correlative Elements to Support Cognitive Advancement in the Design of Collaborative Learning Tools*, August, 2008 - CS-RR-437
- H. Aziz and M.S. Paterson,
*Variation in Weighted Voting Games*, February, 2008 - CS-RR-436
- S.N. Lim Choi Keung and N.E. Griffiths,
*Using Recency and Relevance to Assess Trust and Reputation*, January, 2008 - CS-RR-435
- A. Dimovski,
*Compositional Software Verification Based on Game Semantics*(PhD thesis), September, 2007 - CS-RR-434
- H. Aziz, M.S. Paterson and D. Leech,
*Efficient Algorithm for Designing Weighted Voting Games*, July, 2007 - CS-RR-433
- R. Boyatt and J. Sinclair,
*Investigating post-completion errors with the Alloy Analyzer*, July, 2007 - CS-RR-432
- S.J. Gay, R. Nagarajan and N. Papanikolaou,
*QMC: A Model Checker for Quantum Systems*, April, 2007 - CS-RR-431
- C.-T. Li and R.G. Wilson,
*Unsupervised Learning and Clustering Using a Random Field Approach*, March, 2007 - CS-RR-430
- H. Park,
*Affine Symmetry and Applications in Image Processings*, February, 2007 - CS-RR-429
- C. Care,
*A Chronology of Analogue Computing*, November, 2006 - CS-RR-428
- K. Masood and N.M. Rajpoot,
*Hyperspectral Colon Biopsy Classification into Normal and Malignant Categories*, October, 2006 - CS-RR-427
- R.V. Krishna,
*Derivation of Process Algebraic Models of Biochemical Systems*, September, 2006 - CS-RR-426
- C.-H. Wei and C.-T. Li,
*A Logistic Regression Approach to Content-based Mammogram Retrieval*, July, 2006 - CS-RR-425
- P.Y.H.Wong,
*An Investigation in Energy Consumption Analyses and Application-Level Prediction Techniques*(MSc thesis), July, 2006 - CS-RR-424
- C. Care,
*Modelling Oil Reservoirs: Analog Computing at British Petroleum*, May, 2006 - CS-RR-423
- A.C. Yu
*Improved Schemes for Multi-mode Coding in the H.264/AVC Standard and Simplified Lagrangian Evaluation for Video Coding*, March, 2006 - CS-RR-422
- G. Cosma and M.S. Joy,
*Source-code Plagiarism: An Academic Perspective*, May, 2006 - CS-RR-421
- W.M. Beynon and S.B. Russ,
*Redressing the Past: Liberating Computing as an Experimental Science*, January, 2006 - CS-RR-420
- C. Care,
*The Analogue Computer as a Scientific Instrument*, January, 2006 - CS-RR-419
- H. Qu,
*Theoretical and Practical Tools for Validating Discrete and Real-time Systems*(PhD thesis), October, 2005 - CS-RR-418
- D. Rutter,
*From Diversity to Convergence: British Computer Networks and the Internet, 1970-1995*(PhD Thesis), July, 2005 - CS-RR-417
- H. Park and G.R. Martin,
*Video Compression : Wavelet Based Coding and Texture Synthesis Based Coding*, June, 2005 - CS-RR-416
- N. Papanikolaou,
*Reasoning Formally about Quantum Systems: An Overview*, July, 2005 - CS-RR-415
- P.S. Heng, M.S. Joy, R. Boyatt and N.E. Griffiths,
*Evaluation of the BOSS Online Submission and Assessment System*, September, 2005 - CS-RR-414
- W.-H. Lai and C.-T. Li,
*Detecting Faces in Color Images*, July, 2005 - CS-RR-413
- N.K. Papanikolaou,
*Techniques for Design and Validation of Quantum Protocols*(MSc thesis), May 11, 2005 - CS-RR-412
- W.M. Beynon and A. Harfield,
*Empirical Modelling in support of constructionism: a case study,*, June, 2005 - CS-RR-411
- N. Palmer and P.W. Goldberg,
*PAC Classification Based on PAC Estimates of Label Class Distributions*, - CS-RR-410
- N.E. Griffiths,
*Task Delegation using Experience-Based Multi-Dimensional Trust*, December 8, 2004. - CS-RR-409
- N.E. Griffiths and K.-M. Chao,
*Experience-Based Trust: Enabling Effective Resource Selection in a Grid Environment*, December 8, 2004. - CS-RR-408
- A. Krokhin and B. Larose,
*Maximum Constraint Satisfaction on Diamonds*, November 18, 2004. - CS-RR-407
- A. Korhonen (Ed.),
*Proceedings of the Third Program Visualization Workshop*, November 15, 2004. - CS-RR-406
- M. Dyer, L.A. Goldberg, M. Jerrum, and R. Martin,
*Markov Chain Comparison*, October 11, 2004. - CS-RR-405
- P. Berenbrink, L.A. Goldberg, P. Goldberg, and R. Martin,
*Utilitarian Resource Assignment*, October 11, 2004. - CS-RR-404
- A.C. Yu,
*Efficient Intra- and Inter-mode Selection Algorithms for H.264/AVC*, September 16, 2004. - CS-RR-403
- A. Dimovski and R.S. Lazic,
*Software Model Checking Based on Game Semantics and CSP*, August 11, 2004 (revised June 20, 2005). - CS-RR-402
- P. Berenbrink, T. Friedetzky and R. Martin,
*Dynamic Diffusion Load Balancing*, July 1, 2004. - CS-RR-401
- C.-T. Li,
*Reversible Watermarking Scheme with Image-independent Embedding Capacity*, June 10, 2004 - CS-RR-400
- A. Dimovski and R.S. Lazic,
*CSP Representation of Game Semantics for Second-order Idealized Algol*, May 21, 2004 - CS-RR-399
- R.S. Lazic, T. Newcomb and W. Roscoe,
*Polymorphic Systems with Arrays: Decidability and Undecidability*, April 23, 2004 - CS-RR-398
- C.C. Reyes-Aldasoro,
*A Guide to Co-occurrence Matrix Analysis*, February 19, 2004 - CS-RR-397
- N.M. Rajpoot,
*Model Based Optimal Bit Allocation*, January 12, 2004 **CS-RR-396**- S.A. Jarvis, L. He, D.P. Spooner and G.R. Nudd,
*The Impact of Predictive Inaccuracies on Execution Scheduling*, 2003 - CS-RR-395
- R.S. Lazic, T. Newcomb and W. Roscoe,
*On Model Checking Data-independent Systems with Arrays with Whole-array Operations*, October 24, 2003 **CS-RR-394**- S.A. Jarvis and G.R. Nudd,
*Review of the e-Science Demonstrators and their Compatibility with the Warwick Middleware Project*, 2003 - CS-RR-393
- G. Cormode,
*Sequence Distance Embeddings*(PhD thesis), January, 2003 - CS-RR-392
- R.S. Lazic and D. Nowak,
*On a Semantic Definition of Data Independence*, December 6, 2002 - CS-RR-391
- C.U. Ng and G.R. Martin,
*Content-Description Interfaces for Medical Imaging*, August 10, 2002 - CS-RR-390
- N. Katugampala and R.G. Wilson,
*Parameter Estimation of Two Dimensional Component Gaussian Mixtures*, July 10, 2002 - CS-RR-389
- J.D. Turner, R. Lopez-Hernandez, D.J. Kerbyson and G.R. Nudd,
*Performance Optimisation of a Lossless Compression Algorithm using the PACE Toolkit*, May 10, 2002 - CS-RR-388
- C.C. Reyes-Aldasoro and A.H. Bhalerao,
*Classification of Human Knee Data from Magnetic Resonance Images*, April 10, 2002 - CS-RR-387
- S. Rawles, M.S. Joy and M. Evans,
*Computer-Assisted Assessment in Computer Science: Issues and Software*, February 4, 2002 - CS-RR-386
- L.A. Goldberg, M. Jerrum and M. Paterson,
*The computational complexity of two-state spin systems*, November 29, 2001 - CS-RR-385
- Li Wang and A.H. Bhalerao,
*Detecting Branching Structures using Local Gaussian Models*, November 26, 2001 - CS-RR-384
- L.A. Goldberg, S. Kelk and M. Paterson,
*The complexity of choosing an H-colouring (nearly) uniformly at random*, August 23, 2001 - CS-RR-383
- C.U. Ng and G.R. Martin,
*Content-Description Interfaces for Medical Imaging*, August 20, 2001 - CS-RR-382
- A.H. Bhalerao and P. Summers,
*Angiotool: A Tool for Interactive Visualization of MRI Vector and Tensor Fields*, May 30, 2001 - CS-RR-381
- P. Berenbrink, T. Friedetzky and L.A. Goldberg,
*The Natural Work-Stealing Algorithm is Stable*, April 26, 2001 - CS-RR-380
- S.A. Jarvis, J.S. Mirsky, J.F. Peden and N.J. Saunders,
*Finding Secret Messages in DNA Microdots*, January 15, 2001 - CS-RR-379
- S.A. Jarvis, J.S. Mirsky, J.F. Peden and N.J. Saunders,
*Identification of Horizontally Acquired DNA Using Genome Signature Analysis*, January 15, 2001 - CS-RR-378
- S.A. Jarvis, J.M.D. Hill, C.J. Siniolakis and V.P. Vasilev,
*Portable and Architecture Independent Parallel Performance Tuning*, January 15, 2001 - CS-RR-377
- P.W. Goldberg,
*When Can Two Unsupervised Learners Achieve PAC Separation?*, November 1, 2000 - CS-RR-376
- M. Dyer, L.A. Goldberg, C. Greenhill, G. Istrate and M. Jerrum,
*Convergence of the Iterated Prisoner's Dilemma Game*, October 23, 2000 - CS-RR-375
- A.H. Bhalerao and R.G. Wilson,
*Unsupervised Image Segmentation Combining Region and Boundary Estimation*, August 24, 2000 - CS-RR-374
- G.P. Meehan,
*Aspects of Functional Programming*, August 30, 1999 - CS-RR-373
- M. Cryan,
*Learning and Approximation Algorithms for problems motivated by Evolutionary Trees*(PhD thesis), October 31, 1999 **CS-RR-372**- (not allocated?)
- CS-RR-371
- R.G. Wilson,
*Multiresolution Gaussian Mixture Models: Theory and Application*, February 28, 2000 - CS-RR-370
- M. Dyer, L.A. Goldberg, C. Greenhill and M. Jerrum,
*On the Relative Complexity of Approximate Counting Problems*, February 20, 2000 - CS-RR-369
- M.A.A. Zito,
*Randomised Techniques in Combinatorial Algorithmics*(PhD thesis), November 20, 1999 - CS-RR-368
- R.I. Cartrwight,
*Geometric Aspects of Empirical Modelling: Issues of Design and Implementation*, January 10, 1998 - CS-RR-367
- M. Wahab,
*Object Code Verification*(PhD thesis), December 10, 1998 - CS-RR-366
- M. Adler, F. Fitch, L.A. Goldberg and M.S. Paterson,
*Tight Size Bounds for Packet Headers in Narrow Meshes*, January 21, 2000 - CS-RR-365
- L.A. Goldberg, M. Jerrum, S. Kannan and M.S. Paterson,
*A Bound on the Capacity of Backoff and Acknowledgement-based Protocols*, January 7, 2000 - CS-RR-364
- L.A. Goldberg and M. Jerrum,
*Counting Unlabelled Subtrees of a Tree is #P-complete*, November 26, 1999 - CS-RR-363
- S.C. Perry, J.S. Harper, D.J. Kerbyson and G.R. Nudd,
*Theory and Operation of the Warwick Multiprocessor Scheduling (MS) System*, October 10, 1999 - CS-RR-362
- P.W. Goldberg,
*Learning Fixed-Dimension Linear Thresholds from Fragmented Data*, September 14, 1999 - CS-RR-361
- R.G. Wilson and C.-T. Li,
*Multiresolution Random Fields and their Application to Image Analysis*, August 1, 1999 - CS-RR-360
- G. Cormode, M.S. Paterson, S.C. Sahinalp and U. Vishkin,
*Communication Complexity of Document Exchange*, August 2, 1999 - CS-RR-359
- H. Al-Ammal, L.A. Goldberg and P. MacKenzie,
*Binary Exponential Backoff is Stable for High Arrival Rates*, August 3, 1999 - CS-RR-358
- H.-W.R. Hseu, A.H. Bhalerao and R.G. Wilson,
*Image Matching Based On The Co-occurrence Matrix*, May 30, 1999 - CS-RR-357
- P.-H. Sun, S.B. Russ, Y.C. Chen and W.M. Beynon,
*Cultivating Requirements in a Situated Requirements Engineering Process*, May 1, 1999 - CS-RR-356
- L.A. Goldberg,
*Randomly Sampling Unlabelled Structures*, April 22, 1999 - CS-RR-355
- G.P. Meehan,
*The Aladin Abstract Machine*, December 18, 1998 - CS-RR-354
- M. Wahab,
*Verification and Abstraction of Flow-Graph Programs with Pointers and Computed Jumps*, November 9, 1998 - CS-RR-353
- W.M. Beynon, R. Cartwright, J. Rungrattanaubol and P.-H. Sun,
*Interactive Situation Models for Systems Development*, March 1, 1999 - CS-RR-352
- W.M. Beynon and P.-H. Sun,
*Interactive Situation Models for Program Comprehension*, October 22, 1998 - CS-RR-351
- G.-H. Chen and R.G. Wilson,
*Image Segmentation Based on the Multiresolution Fourier Transform and Markov Random Fields*, October 15, 1998 - CS-RR-350
- N.M. Rajpoot,
*Progressive Image Coding using Augmented Zerotrees of Wavelet Coefficients*, September 19, 1998 - CS-RR-349
- J.S. Harper, D.J. Kerbyson and G.R. Nudd,
*Analytical Modeling of Set-Associative Cache Behaviour*, October 15, 1998 - CS-RR-348
- R. Klasing,
*Methods and Problems of Wavelength-Routing in All-Optical Networks*, September 24, 1998 - CS-RR-347
- M. Cryan, L.A. Goldberg and Paul W. Goldberg,
*Evolutionary Trees can be Learned in Polynomial Time in the Two-State General Markov Model*, July 21, 1998 - CS-RR-346
- W.M. Beynon, J. Rungrattanaubol, P.-H. Sun and A. Wright,
*Explanatory Models for Open-Ended Human-Computer Interaction*, July 16, 1998. - CS-RR-345
- M.S. Joy and M. Luck,
*Plagiarism in Programming Assignments*, June 16, 1998 - CS-RR-344
- L.A. Goldberg and M. Jerrum,
*The "Burnside Process" Converges Slowly*, June 11, 1998 - CS-RR-343
- R. Klasing,
*Improved Compressions of Cube-Connected Cycles Networks*, June 29, 1998 - CS-RR-342
- V. Berry,
*An Improved Polynomial Time Algorithm for Computing the Refined Buneman Tree*, March 25, 1998 - CS-RR-341
- V. Berry and O. Gascuel,
*Inferring Evolutionary Trees with Strong Combinatorial Evidence*, March 25, 1998 - CS-RR-340
- L.A. Goldberg, P.D. MacKenzie, M. Paterson and A. Srinavasan,
*Contention Resolution with Constant Expected Delay*, March 25, 1998 - CS-RR-339
- S. Khanna, S. Muthukrishnan and M. Paterson,
*On Approximating Rectangle Tiling and Packing*, March 25, 1998 - CS-RR-338
- U. Uzun,
*Towards Distributed Object Design*, March 25, 1998 - CS-RR-337
- W.M. Beynon,
*Modelling State in Mind and Machine*, February 25, 1998 - CS-RR-336
- J.S. Harper, D.J. Kerbyson and G.R. Nudd,
*Predicting the Cache Miss Ratio of Loop-Nested Array References*, December 5, 1997 - CS-RR-335
- E. Papaefstathiou, D.J. Kerbyson, G.R. Nudd, T.J. Atherton and J.S. Harper,
*An Introduction to the Layered Characterisation for High Performance Systems*, December 5, 1997 - CS-RR-334
- G.P. Meehan,
*Compiling Functional Programs to Java Byte-code*, September 2, 1997 **CS-RR-333**- (not allocated?)
- CS-RR-332
- P. Giridhar, V. Kumar and M. Joseph,
*The Mine Pump Problem*, August 1, 1997 - CS-RR-331
- J. Beacom and R.G. Wilson,
*Model Based Multiresolution Motion Analysis*, July 1, 1997 - CS-RR-330
- R. Agarwala, V. Bafna, M. Farach, M.S. Paterson and M. Thorup,
*On the Approximability of Numerical Taxonomy (Fitting Distances by Tree Metrics)*, July 1, 1997 - CS-RR-329
- J. Allderidge, W.M. Beynon, R. Cartwright and Y.P. Yung,
*Enabling Technologies for Empirical Modelling in Graphics*, July 1, 1997 - CS-RR-328
- L.A. Goldberg and P.D. MacKenzie,
*Contention Resolution with Guaranteed Constant Expected Delay*, July 1, 1997 - CS-RR-327
- M. Cryan, L.A. Goldberg and C.A. Phillips,
*Approximation Algorithms for the Fixed-Topology Phylogenetic Number Problem*, June 1, 1997 - CS-RR-326
- M. Marx and C. Areces,
*Failure of Interpolation in Combined Modal Logics*, June 1, 1997 - CS-RR-325
- N. Kurtonina and M. de Rijke,
*Expressiveness of First-Order Description Logics*, December 16, 1997 - CS-RR-324
- J. Hogan,
*An Analysis of OO Software Metrics*, May 1, 1997 - CS-RR-323
- I.D. Craig,
*Programs that Model Themselves*, May 1, 1997 - CS-RR-322
- G.P. Meehan,
*Fuzzy Functional Programming*, April 1, 1997 - CS-RR-321
- C.-T. Li and R.G. Wilson,
*Textured Image Segmentation Using Multiresolution Markov Random Fields and a Two-component Texture Model*, March 1, 1997 - CS-RR-320
- M.K. Steliaros, G.R. Martin and R.A. Packwood,
*Parallelisation of Block Matching Motion Estimation Algorithms*, January 1, 1997 - CS-RR-319
- W.M. Beynon, R. Cartwright, A. Cartwright and Y.P. Yung,
*Abstract Geometry for Design in an Empirical Modelling Context*, December 1, 1996 - CS-RR-318
- M. de Rijke,
*A Note on Graded Modal Logic*, October 1, 1996 - CS-RR-317
- M. Wahab,
*The Semantics of TLA on the PVS Theorem Prover*, October 1, 1996 - CS-RR-316
- C.T. Li and R.G. Wilson,
*Multiresolution Image Segmentation Using Markov Random Fields and a Two-component Texture Model*, September 1, 1996 - CS-RR-315
- P. Blackburn, J. Jaspars and M. de Rijke,
*Reasoning about Changing Information*, September 1, 1996 - CS-RR-314
- I.D. Craig,
*Multi-Agent Systems: A Risk to Freedom*, September 1, 1996 - CS-RR-313
- I.D. Craig,
*A Review of "Android Epistemology"*, September 1, 1996 - CS-RR-312
- L.A. Goldberg, M.S. Paterson, A. Srinivasan and E. Sweedyk,
*Better Approximation Guarantees for Job-shop Scheduling*, August 1, 1996 - CS-RR-311
- W.B. Beynon, P.E. Ness and S.B. Russ,
*Worlds Before and Beyond Words*, August 1, 1996 - CS-RR-310
- I. Levy and R. Wilson,
*Advances in Predictive Wavelet Transform Image Coding*, July 1, 1996 - CS-RR-309
- J. Beacom and R. Wilson,
*Multiresolution Motion Analysis*, July 1, 1996 - CS-RR-308
- Tao-I Hsu and R. Wilson,
*A Two-component Model of Texture for Analysis and Synthesis*, June 1, 1996 - CS-RR-307
- N. Kurtonina and M. de Rijke,
*Directed Simulations*, June 1, 1996 - CS-RR-306
- L.A. Goldberg and M. Jerrum,
*Randomly Sampling Molecules*, June 1, 1996 - CS-RR-305
- W. van der Hoek and M. de Rijke,
*Interleaved Contractions*, April 1, 1996 - CS-RR-304
- N. Kurtonina and M. de Rijke,
*Bisimulations for Temporal Logic*, April 1, 1996 - CS-RR-303
- I. Pu and A.M. Gibbons,
*Matricial Space-Economy with Constant Access-Time*, March 1, 1996 - CS-RR-302
- Z. Liu and M. Joseph,
*Verification of Fault-Tolerance and Real-Time*, March 1, 1996 - CS-RR-301
- T. Janowski and M. Joseph,
*Dynamic Scheduling in the Presence of Faults: Specification and Verification*, March 1, 1996 - CS-RR-300
- T. Janowski,
*Bisimulation and Fault-Tolerance*, February 1, 1996 - CS-RR-299
- J. Papay, T.J. Atherton, M.J. Zemerly and G.R. Nudd,
*Performance Prediction of Parallel Self Consistent Field Computation*, February 1, 1996 - CS-RR-298
- M. Amos, A.M. Gibbons and D. Hodgson,
*Error-resistant Implementation of DNA Computations*, January 1, 1996 - CS-RR-297
- L.A. Goldberg, P.W. Goldberg, C.A. Phillips and G.B. Sorking,
*Constructing Computer Virus Phylogenies*, January 1, 1996 - CS-RR-296
- L.A. Goldberg, W.E. Hart and D.B. Wilson,
*Learning Foraging Thresholds for Lizards*, January 1, 1996 - CS-RR-295
- M.J. Zemerly, J. Papay and G.R. Nudd,
*Optimising Overlapped and Non-Overlapped Parallel Algorithms Using Bottleneck Analysis: A Case Study*, November 1, 1995 - CS-RR-294
- J. Papay, M.J. Zemerly and G.R. Nudd,
*Pipelining the Givens Linear Solver on Distributed Memory Machines*, November 1, 1995 - CS-RR-293
- S.J. O'Neill,
*Partial Metrics, Valuations and Domain Theory*, October 1, 1995 - CS-RR-292
- G.R. Martin, R.A. Packwood and I. Rhee,
*Variable Size Block Matching Motion Estimation with Minimal Error*, October 1, 1995 - CS-RR-291
- N. Cross and R.G. Wilson,
*Neural Networks for Object Recognition*, September 1, 1995 - CS-RR-290
- C.-T. Li and R.G. Wilson,
*Image Segmentation Using Multiresolution Fourier Transform*, September 1, 1995 - CS-RR-289
- I. Levy and R.G. Wilson,
*A Hybrid Fractal-Wavelet Transform Image Data Compression Algorithm*, September 1, 1995 - CS-RR-288
- P.R. Meulemans and R.G. Wilson,
*Feature Extraction for Very Low Bit Rate Video Coding*, August 1, 1995 - CS-RR-287
- I. Rhee and G.R. Martin,
*A Scalable Real-Time Synchronization Protocol for Distributed Systems*, June 1, 1995 - CS-RR-286
- M.S. Paterson and T. Przytycka,
*On the Complexity of String Folding*, May 1, 1995 - CS-RR-285
- M.S. Paterson and A. Srinavasan,
*Contention Resolution with Bounded Delay*, May 1, 1995 - CS-RR-284
- S. Ravindran, A.M. Gibbons and M.S. Paterson,
*Dense Edge-Disjoint Embedding of Complete Binary Trees in Interconnection Networks*, March 1, 1995 - CS-RR-283
- S.J. O'Neill,
*Two Topologies are Better Than One*, March 1, 1995 - CS-RR-282
- E.R.S. Pearson,
*The Multiresolution Fourier Transform and its application to Polyphonic Audio Analysis*, January 1, 1995 - CS-RR-281
- M.J. Zemerly, J. Papay and G.R. Nudd,
*Characterisation Based Bottleneck Analysis of Parallel Systems*, January 1, 1995 - CS-RR-280
- E. Papaefstathiou, D.J. Kerbyson, G.R. Nudd and T.J. Atherton,
*An Introduction to the CHIP3S Language for Characterising Parallel Systems in Performance Studies*, January 1, 1995 - CS-RR-279
- E. Papaefstathiou, D.J. Kerbyson, G.R. Nudd and T.J. Atherton,
*An Analysis of Processor Resource Models for Use in Performance Prediction*, March 1, 1994 - CS-RR-278
- W.M. Beynon, A. Cartwright and Y.P. Yung,
*Databases from an Agent-oriented Perspective*, January 1, 1995 - CS-RR-277
- W.M. Beynon and S.B. Russ,
*Empirical Modelling of Requirements*, January 1, 1995 - CS-RR-276
- M. Luck and M. d'Inverno,
*Agency and Autonomy: A Formal Framework*, January 1, 1995 - CS-RR-275
- T. Janowski,
*Stepwise Transformations for Fault-Tolerant Design of CCS Processes*, December 1, 1994 - CS-RR-274
- R.G. Wilson and H. Knutsson,
*Seeing Things*, November 1, 1994 - CS-RR-273
- I.D. Craig,
*A Perspective on Multi-Agent Systems*, November 1, 1994 - CS-RR-272
- X. Liu and D.J. Walker,
*Confluence of Processes and Systems of Objects*, October 1, 1994 - CS-RR-271
- S. Clippingdale and R.G. Wilson,
*Self-Similar Neural Networks Based On A Kohonen Learning Rule*, October 1, 1994 - CS-RR-270
- T. Janowski,
*Fault-Tolerant Bisimulation and Process Transformations*, September 1, 1994 - CS-RR-269
- N. Cross and R.G. Wilson,
*Object Representation Using Circular Harmonics*, June 1, 1994 - CS-RR-268
- M.S. Paterson and V. Dancik,
*Longest Common Subsequences*, May 1, 1994 - CS-RR-267
- P.B. Miltersen,
*On the Cell Probe Complexity of Polynomial Evaluation*, April 1, 1994 - CS-RR-266
- I.D. Craig,
*Agents That Model Themselves*, March 1, 1994 - CS-RR-265
- C. Clarke and G.R. Nudd,
*Highly non-linear encoders for Current Mode Multiple-Valued Logic*, March 1, 1994 - CS-RR-264
- C. Clarke and G.R. Nudd,
*Three Dimensional CORDIC with Reduced Iterations*, March 1, 1994 - CS-RR-263
- S. Kautz and P.B. Miltersen,
*Relative to a Random Oracle, NP is not Small*, March 1, 1994 - CS-RR-262
- E. Papaefstathiou, D.J. Kerbyson and G.R. Nudd,
*A Layered Approach to Parallel Software Performance Prediction: A Case Study*, March 1, 1994 - CS-RR-261
- I.D. Craig,
*The Formal Specification of ELEKTRA*, April 1, 1994 - CS-RR-260
- M. Farkas, W.M. Beynon and Y.P. Yung,
*Agent-oriented Modelling for a Billiards Simulation*, December 1, 1993 - CS-RR-259
- Y. Naik,
*A Temporal Logic for the Specification and Verification of Real-Time Systems*, March 1, 1994 - CS-RR-258
- P.B. Miltersen,
*Lower Bounds for Union-Split-Find Related Problems on Random Access Machines*, December 1, 1993 - CS-RR-257
- M.J. Zemerly, E. Papaefstathiou, T.J. Atherton, D.J. Kerbyson and G.R. Nudd,
*Smart Integration: A Test Case Study*, December 1, 1993 - CS-RR-256
- M.J. Zemerly,
*Hardware Characterisation of Multi-Processor Systems*, December 1, 1993 - CS-RR-255
- M.J. Zemerly and E. Papaefstathiou,
*Characterisation Survey*, December 1, 1993 - CS-RR-254
- I.D. Craig,
*A New Interpretation of the Blackboard Architecture*, October 1, 1993 - CS-RR-253
- H. Koizumi, A. Maruoka and M.S. Paterson,
*Consistency of Natural Relations on Sets*, October 1, 1993 - CS-RR-252
- T. Shuttleworth and R.G. Wilson,
*Note Recognition in Polyphonic Music using Neural Networks*, October 1, 1993 - CS-RR-251
- S.G. Matthews,
*An Extensional Treatment of Lazy Data Flow Deadlock*, October 1, 1993 - CS-RR-250
- V. Dancik and M.S. Paterson,
*Upper Bounds for the Expected Length of a Longest Common Subsequence of Two Binary Sequences*, October 1, 1993 - CS-RR-249
- M.S. Paterson,
*Computer Science Seminars 1992/93*, October 1, 1993 - CS-RR-248
- A.P. King and R.G. Wilson,
*Multiresolution Image Analysis Based on Local Symmetries*, September 1, 1993 - CS-RR-247
- E. Papaefstathiou, Y. Papay, G.R. Nudd, T.J. Atherton, C. Clarke, D.J. Kerbyson, Andrew Stratton, R. Ziani and M.J. Zemerly,
*A Layered Approach To Modelling Parallel Systems For Performance Prediction*, September 1, 1993 - CS-RR-246
- I.P. Gent,
*Analytic Proof Systems for Classical and Modal Logics of Restricted Quantification*, July 1, 1993 - CS-RR-245
- Z. Liu, M. Joseph and T. Janowski,
*Specifying Schedulability for Real-Time Programs*, July 1, 1993 - CS-RR-244
- M.S. Ryan and G.R. Nudd,
*Dynamic Character Recognition Using Hidden Markov Models*, May 1, 1993 - CS-RR-243
- A.P. Hiltgen and M.S. Paterson,
*PIk Mass Production and an Optimal Circuit for the Nechiporuk Slice*, June 1, 1993 - CS-RR-242
- D.J. Walker,
*Process Calculus and Parallel Object-oriented Programming Languages*, April 1, 1993 - CS-RR-241
- R. Cole, R. Hariharan, M.S. Paterson and U. Zwick,
*Tighter Lower Bounds on The Exact Complexity of String Matching*, March 1, 1993 - CS-RR-240
- A. Czumaj and A.M. Gibbons,
*Problems on Pairs of Trees and the Four Colour Problem of Planar Graphs*, February 1, 1993 - CS-RR-239
- L.A. Novak and A.M. Gibbons,
*Superperfect Pairs of Trees in Graphs*, February 1, 1993 - CS-RR-238
- M.S. Ryan and G.R. Nudd,
*The Viterbi Algorithm*, February 1, 1993 - CS-RR-237
- D. Peled and M. Joseph,
*A Compositional Framework for Fault-Tolerance by Specification Transformation*, January 1, 1993 - CS-RR-236
- A.D. Calway and R.G. Wilson,
*Curve Extraction in Images Using a Multiresolution Framework*, January 1, 1993 - CS-RR-235
- M.S. Joy,
*Ginger - A Simple Functional Language*, December 1, 1992 - CS-RR-234
- C. Clarke and G.R. Nudd,
*A Redundant Arithmetic CORDIC System with a Unit Scale Factor*, December 1, 1992 - CS-RR-233
- I.D. Craig,
*The New Implementation of Cassandra*, October 1, 1992 - CS-RR-232
- I.D. Craig,
*Replacing Cassandra*, October 1, 1992 - CS-RR-231
- H. Scott and R.G. Wilson,
*A Comparison of Filters For Audio Signal Segmentation in Audio Restoration*, October 1, 1992 - CS-RR-230
- W.M. Ferreira, M.R. Hill and M. Joseph,
*Automated Timing Analysis of Real-time Programs*, December 1, 1992 - CS-RR-229
- Z. Liu, A.P. Ravn, E.V. Sorensen and C. Zhou,
*Towards a Calculus of Systems Dependability*, September 1, 1992 - CS-RR-228
- S.G. Matthews,
*The Cycle Contraction Mapping Theorem*, August 1, 1992 - CS-RR-227
- I.D. Craig,
*Where Do You Want To Go On Holiday*, July 1, 1992 - CS-RR-226
- T.-I. Hsu, A.D. Calway and R.G. Wilson,
*Analysis of Structured Texture Using the Multiresolution Fourier Transform*, June 1, 1992 - CS-RR-225
- A. Czumaj,
*Parallel Algorithm for the Matrix Chain Product Problem*, June 1, 1992 - CS-RR-224
- A. Czumaj,
*An Optimal Parallel Algorithm for Computing a Near-Optimal Order of Matrix Multiplications*, February 1, 1992 - CS-RR-223
- S. Ravindran and A.M. Gibbons,
*Dense Edge-Disjoint Embedding of Complete Binary Trees in the Hypercube*, July 1, 1992 - CS-RR-222
- S.G. Matthews,
*The Topology of Partial Metric Spaces*, June 1, 1992 - CS-RR-221
- M.J. Fischer and M.S. Paterson,
*Fishspear: A Priority Queue Algorithm*, June 1, 1992 - CS-RR-220
- F. Baude,
*PRAM Implementation on Fine-Grained MIMD Multicomputers*, May 1, 1992 - CS-RR-219
- T.H. Axford and M.S. Joy,
*List Processing in Parallel Languages*, May 1, 1992 - CS-RR-218
- Z. Liu, Anders P. Ravn, E.V. Sorensen and C. Zhou,
*A Probabilistic Duration Calculus*, May 1, 1992 - CS-RR-217
- D.J. Walker,
*Objects in the Pi-calculus*, April 1, 1992 - CS-RR-216
- P.B. Miltersen, M.S. Paterson and J. Tarui,
*The Asymptotic Complexity of Merging Networks*, April 1, 1992 - CS-RR-215
- J.A. Dain,
*A Practical Minimum Distance Method for Syntax Error Handling*, April 1, 1992 - CS-RR-214
- Y. Zheng, D.J. Kerbyson and G.R. Nudd,
*Efficient Load Balancing Techniques for Image Analysis on an M-SIMD Machine*, June 1, 1992 - CS-RR-213
- T.J. Atherton, D.J. Kerbyson and G.R. Nudd,
*An Heterogeneous M-SIMD Architecture for Kalman Filter Controlled Processing of Image Sequences*, December 1, 1992 - CS-RR-212
- S.G. Matthews,
*Partial Metric Spaces*, March 1, 1992 - CS-RR-211
- L.A. Novak and A.M. Gibbons,
*Hybrid Bases in Graphs*, March 1, 1992 - CS-RR-210
- M.S. Joy and T.H. Axford,
*Parallel Combinator Reduction: Some Performance Bounds*, March 1, 1992 - CS-RR-209
- M.S. Paterson and U. Zwick,
*Shallow Multiplication Circuits and Wise Financial Investments*, February 1, 1992 - CS-RR-208
- A.M. Gibbons and M.S. Paterson,
*Dense Edge-Disjoint Embedding of Binary Trees in the Mesh*, February 1, 1992 - CS-RR-207
- W.M. Beynon and S.B. Russ,
*The Interpretation of States: a New Foundation for Computation?*, February 1, 1992 - CS-RR-206
- Z. Liu and M. Joseph,
*A Transformational Approach to Specifying Recovery in Asynchronous Communicating Systems*, February 1, 1992 - CS-RR-205
- W.M. Beynon,
*Programming Principles for the Semantics of the Semantics of Programs*, January 1, 1992 - CS-RR-204
- R.G. Wilson, A.D. Calway, E.R.S. Pearson and A.R. Davies,
*An Introduction to the Multiresolution Fourier Transform and its Applications*, June 1, 1992 - CS-RR-203
- D. Peled,
*Sometimes 'Some' is as Good as 'All' (Preliminary Version)*, March 1, 1992 - CS-RR-202
- A.R. Davies and R.G. Wilson,
*Curve and Corner Extraction using the Multiresolution Fourier Transform*, November 1, 1991 - CS-RR-201
- Y. Naik,
*A Temporal Approach to Requirements Specification of Real-Time Systems*, November 1, 1991 - CS-RR-200
- K. Langley, D. Fleet and T.J. Atherton,
*An Instantaneous Frequency-Based Computation of Transparent Motion*, November 1, 1991 - CS-RR-199
- I.D. Craig,
*Formal Techniques in the Development of Blackboard Systems*, November 1, 1991 - CS-RR-198
- M. Joseph,
*Problems, Promises and Performance: Some Questions for Real-Time System Specification*, November 1, 1991 - CS-RR-197
- A. Goswami, M. Bell and M. Joseph,
*ISL: An Interval Logic for the Specification of Real-time Programs*, October 1, 1991 - CS-RR-196
- A.D. Calway, H. Knutsson and R.G. Wilson,
*Multiresolution Estimation of 2-d Disparity Using a Frequency Domain Approach*, October 1, 1991 - CS-RR-195
- I.D. Craig,
*Logicism and Meaning: The Case Against (Draft)*, October 1, 1991 - CS-RR-194
- I.D. Craig,
*The Role of Formal Specification in Rule-Based Real-Time AI (Extended Abstract)*, September 1, 1991 - CS-RR-193
- I.P. Gent and A.G. Cohn,
*Reasoning about Hybrid Reasoning: a Discussion*, September 1, 1991 - CS-RR-192
- T.H. Axford and M.S. Joy,
*List Processing in Parallel*, August 1, 1991 - CS-RR-191
- I.D. Craig,
*Rule Interpreters in ELEKTRA*, August 1, 1991 - CS-RR-190
- W.B. Goh and G.R. Martin,
*Deriving Optical flow in Noisy Image Sequences*, July 1, 1991 - CS-RR-189
- S.G. Matthews,
*Adding Second Order Functions to Kahn Data Flow*, July 1, 1991 - CS-RR-188
- J.A. Dain,
*Syntax Error Handling in Language Translation Systems*, June 1, 1991 - CS-RR-187
- I.D. Craig,
*Meanings and Messages*, June 1, 1991 - CS-RR-186
- U. Zwick and M.S. Paterson,
*The Memory Game*, August 1, 1991 - CS-RR-185
- A.M. Gibbons,
*A Tutorial Introduction to Distributed Memory Models of Parallel Computation*, November 1, 1992 - CS-RR-184
- I.D. Craig,
*Elektra: A Reflective Production System*, March 1, 1991 - CS-RR-183
- I.D. Craig,
*Extending Cassandra*, March 1, 1991 - CS-RR-182
- I.D. Craig,
*Formal Specification of AI Systems: Four Case Studies*, March 1, 1991 - CS-RR-181
- I.D. Craig,
*The Formal Specification of a Blackboard Framework*, May 1, 1991 - CS-RR-180
- I.D. Craig,
*Making Cassandra Parallel and Distributed*, March 1, 1991 - CS-RR-179
- (not allocated?)
- CS-RR-178
- (not allocated?)
- CS-RR-177
- (not allocated?)
- CS-RR-176
- (not allocated?)
- CS-RR-175
- (not allocated?)
- CS-RR-174
- (not allocated?)
- CS-RR-173
- Ian P. Gent,
*Finding Problems in Knowledge Bases Using Modal Logics*, February 1, 1991 - CS-RR-172
- A. Moitra and M. Joseph,
*Determining Timing Properties of Infinite Real-Time Programs*, January 1, 1991 - CS-RR-171
- M.S. Paterson and U. Zwick,
*Shrinkage of de Morgan Formulae under Restriction*, January 1, 1991 - CS-RR-170
- A.R. Davies and R.G. Wilson,
*Linear Feature Extraction using the Multiresolution Fourier Transform*, November 1, 1990 - CS-RR-169
- M.S. Paterson and U. Zwick,
*Shallow Multiplication Circuits*, December 1, 1990 - CS-RR-168
- Ian P. Gent,
*A Sequent System for Lewis's Counterfactual Logic VC*, November 1, 1990 - CS-RR-167
- J. Wong and R.G. Wilson,
*Eigenvector Decomposition of a Multiresolution Operator*, September 1, 1990 - CS-RR-166
- M.S. Paterson, N. Pippenger and U. Zwick,
*Optimal Carry Save Networks*, October 1, 1990 - CS-RR-165
- Z. Liu and M. Joseph,
*Transformation of Programs for Fault-tolerance*, October 1, 1990 - CS-RR-164
- P. Chown, D.W. Walton and G.R. Nudd,
*VLSI Design of a Pipelined CORDIC Processor*, October 1, 1990 - CS-RR-163
- W.M. Beynon, M. Slade and Y.P. Yung,
*Protocol Specification in Concurrent Systems Software Development*, September 1, 1990 - CS-RR-162
- P. Chown,
*GROVER: A Graph Plotting Program for Sun Workstations*, August 1, 1990 - CS-RR-161
- P. Chown,
*Notes on the Design of a Barrel Shifter for the Warwick Pipelined CORDIC Processor*, August 1, 1990 - CS-RR-160
- S.G. Matthews,
*Notes on Separability in Metric Sets*, August 1, 1990 - CS-RR-159
- M.S. Joy and T.H. Axford,
*GCODE: A Revised Standard for a Graph Representation for Functional Programs*, June 1, 1990 - CS-RR-158
- M.S. Paterson and F.F. Yao,
*Optimal Binary Space Partitions for Orthogonal Objects*, April 1, 1990 - CS-RR-157
- A.M. Gibbons and L.A. Novak,
*Perfect Pairs of Trees in Graphs*, May 1, 1990 - CS-RR-156
- A.M. Gibbons and R. Ziani,
*The Balanced Binary Tree Technique on Mesh Connected Computers*, May 1, 1990 - CS-RR-155
- M.S. Paterson and U. Zwick,
*Improved Circuits and Formulae for Multiple Addition, Multiplication and Symmetric Boolean Functions*, March 1, 1990 - CS-RR-154
- A. Bhalerao and R.G. Wilson,
*Multiresolution Image Segmentation Combining Region and Boundary Information*, April 1, 1990 - CS-RR-153
- M. Campbell-Kelly,
*The Airy Tape An Early Chapter in the History of Debugging*, February 1, 1990 - CS-RR-152
- L.A. Novak and A.M. Gibbons,
*Double Independent Subsets of a Graph*, October 1, 1989 - CS-RR-151
- L.A. Novak and A.M. Gibbons,
*On Perfect Pairs of Trees in a Graph*, October 1, 1989 - CS-RR-150
- J.R. Thomas and A.G. Cohn,
*An Expert System for Hollow Extrusion Die Design*, October 1, 1989 - CS-RR-149
- A. Bhalerao and R.G. Wilson,
*Multiresolution Image Segmentation*, September 1, 1989 - CS-RR-148
- Simon L. Peyton Jones and M.S. Joy,
*FLIC - a Functional Language Intermediate Code*, June 1, 1990 - CS-RR-147
- W.M. Beynon, M.T. Norris, S.B. Russ, M.D. Slade, Y.P. Yung and Y.W. Yung,
*Software Construction Using Definitions: an Illustrative Example*, September 1, 1989 - CS-RR-146
- W.M. Beynon, S.B. Russ, M. Slade, Y.P. Yung and Y.W. Yung,
*Definitive Principles and the Specification of Software*, September 1, 1989 - CS-RR-145
- Z. Liu,
*Modelling Checkpointing and Recovery within UNITY*, August 1, 1989 - CS-RR-144
- Z. Liu,
*A Semantic Model for UNITY*, August 1, 1989 - CS-RR-143
- J.A. Dain,
*Women and Computing: Some Responses to Falling Numbers in Higher Education*, June 1, 1989 - CS-RR-142
- M.S. Joy,
*The Translation of High-Level Functional Languages to FLIC*, May 1, 1989 - CS-RR-141
- W.M. Beynon and S.B. Russ,
*Variables in Mathematics and Computer Science*, May 1, 1989 - CS-RR-140
- A. Lord,
*Computer System Dependability: An Introduction*, April 1, 1989 - CS-RR-139
- M.S. Paterson and F.F. Yao,
*Binary Partitions with Applications to Hidden-Surface Removal and Solid Modelling*, March 1, 1989 - CS-RR-138
- M. Joseph and A. Goswami,
*Relating Computation and Time*, February 1, 1989 - CS-RR-137
- D.M.R. Park,
*Essential and Ephemeral Knowledge: the Culture and Education of Computer Specialists*, February 1, 1983 - CS-RR-136
- R.W. McColl and G.R. Martin,
*Texture Analysis and Synthesis*, January 1, 1989 - CS-RR-135
- A.M. Gibbons,
*Optimally Edge-Colouring Outerplanar Graphs is in NC*, January 1, 1989 - CS-RR-134
- J.A. Dain,
*Recruitment and Performance of Female and Male Students in Science*, December 1, 1988 - CS-RR-133
- W.M. Beynon,
*Evaluating Definitive Principles for Interaction in Graphics*, November 1, 1988 - CS-RR-132
- W.M. Beynon,
*Definitive Programming for Parallelism*, October 1, 1988 - CS-RR-131
- A.M. Gibbons,
*Dynamic Expression Evaluation in One of a Class of Problems which are Efficiently Solvable on Mesh-connected Computers*, September 1, 1988 - CS-RR-130
- M.S. Paterson and A.A. Razborov,
*The Set of Minimal Braids is co-NP-complete*, July 1, 1988 - CS-RR-129
- M. Joseph and A. Goswami,
*Formal Description of Real-Time Systems: A Review*, August 1, 1988 - CS-RR-128
- M. Todd and R.G. Wilson,
*Image Data Compression*, July 1, 1988 - CS-RR-127
- W.M. Beynon, M. Norris and M. Slade,
*Parallel Computation in Definitive Models*, May 1, 1988 - CS-RR-126
- Y.Q. Gu,
*A Brief Summary of Digital Image Enhancement*, May 1, 1988 - CS-RR-125
- R.M. Howarth,
*Cluster Programming Language Definition and User Manual*, April 1, 1988 - CS-RR-124
- W.M. Beynon, M. Norris and M. Slade,
*Definitions for Modelling and Simulating Concurrent Systems*, May 1, 1988 - CS-RR-123
- M. Joseph and A. Goswami,
*What's 'Real' about Real-time Systems?*, May 1, 1988 - CS-RR-122
- W.F. McColl, M.S. Paterson and B.H. Bowditch,
*Planar Acyclic Computation*, May 1, 1988 - CS-RR-121
- A. Goswami and M. Joseph,
*A Semantic Model for the Specification of Real-Time Processes*, April 1, 1988 - CS-RR-120
- I.D. Craig,
*WINNSOME: A Neural Network Simulation Package*, March 1, 1988 - CS-RR-119
- K. Langley,
*Phase Shifts from Gabor Filters*, May 1, 1988 - CS-RR-118
- F.F. Yao, D. Dobkin, H. Edelsbrunner and M.S. Paterson,
*Partitioning Space for Range Queries*, January 1, 1988 - CS-RR-117
- M. Joseph,
*Software Engineering: Theory, Experiment, Practice or Performance*, February 1, 1988 - CS-RR-116
- J.A. Dain,
*Getting Women into Computing*, February 1, 1988 - CS-RR-115
- R.M. Howarth,
*A Heterogeneous Pyramid Array Architecture for Image Understanding*, December 1, 1987 - CS-RR-114
- R.F. Thomas,
*ITS Methodology for Problem Solving and Programming*, December 1, 1987 - CS-RR-113
- I.D. Craig and R.F. Thomas,
*Learning to Program: A Cognitive Model for an ITS*, December 1, 1987 - CS-RR-112
- R.W. McColl and G.R. Martin,
*Quantisation of Digitised Colour Images*, November 1, 1987 - CS-RR-111
- W.M. Beynon and Y.W. Yung,
*Implementing a Definitive Notation for Interactive Graphics*, November 1, 1987 - CS-RR-110
- I.D. Craig,
*Blackboard Systems*, November 1, 1987 - CS-RR-109
- W.M. Beynon,
*Monotone Boolean Functions as Combinatorially Piecewise Linear Maps (preliminary version)*, November 1, 1987 - CS-RR-108
- A.D. Calway and R.G. Wilson,
*Hierarchical Descriptors for Nonstationary 1 and 2 Dimensional Signal Processing*, October 1, 1987 - CS-RR-107
- M.F. Rafter,
*FORMATTED STREAMS: Extensible Formatted I/O for C++ Using Object-Oriented Programming*, October 1, 1987 - CS-RR-106
- M. Campbell-Kelly,
*Charles Babbage's Table of Logarithms (1827)*, September 1, 1987 - CS-RR-105
- A.M. Gibbons, A. Israeli and W. Rytter,
*Parallel O(log(n)) Time Edge-Colouring of Trees and Halin Graphs*, June 1, 1987 - CS-RR-104
- W. Rytter,
*On Efficient Parallel Computations for Some Dynamic Programming Problems*, June 1, 1987 - CS-RR-103
- I.D. Craig and D.H. Wilson,
*CONFER: A Knowledge System for Bio-process Control*, June 1, 1987 - CS-RR-102
- J.A. Dain,
*Minimum Distance Error Correction*, June 1, 1987 - CS-RR-101
- I.D. Craig,
*The Blackboard Architecture: Example Systems*, May 1, 1987 - CS-RR-100
- A.M. Gibbons and W. Rytter,
*Observations on the Disjointness Problem for Rational Subsets of Free Partially Commutative Monoids*, May 1, 1987 - CS-RR-099
- W. Rytter,
*100 Exercises in the Theory of Automata and Formal Languages*, April 1, 1987 - CS-RR-098
- I.D. Craig,
*The Blackboard Architecture: A Definition and its Implications*, March 1, 1987 - CS-RR-097
- I.D. Craig,
*SeRPenS - A Production Rule Interpreter*, March 1, 1987 - CS-RR-096
- M. Joseph and P. Pandya,
*Specification and Verification of Total Correctness of Distributed Programs*, February 1, 1987 - CS-RR-095
- M.S. Joy and T.H. Axford,
*A Standard for a Graph Representation for Functional Programs*, February 1, 1987 - CS-RR-094
- I.D. Craig,
*The BB-SR System*, January 1, 1987 - CS-RR-093
- W.M. Beynon,
*Definitive Principles for Interactive Graphics*, February 1, 1987 - CS-RR-092
- I.D. Craig,
*An Overview of CASSANDRA-II*, January 1, 1987 - CS-RR-091
- I.D. Craig,
*A Distributed Blackboard Architecture*, January 1, 1987 - CS-RR-090
- I.D. Craig,
*CASSANDRA-II: A Distributed Blackboard System*, January 1, 1987 - CS-RR-089
- M.S. Paterson,
*Improved Sorting Networks with O(log n) Depth*, January 1, 1987 - CS-RR-088
- M.S. Joy and V.J. Rayward-Smith,
*NP-Completeness of a Combinator Optimisation Problem*, January 1, 1987 - CS-RR-087
- W.M. Beynon,
*The LSD Notation for Communicating Systems*, November 1, 1986 - CS-RR-086
- W.M. Beynon, D. Angier, T. Bissell and S. Hunt,
*DoNaLD: A Line-drawing System Based on Definitive Principles*, October 1, 1986 - CS-RR-085
- W. Rytter and R. Giancarlo,
*Optimal Parallel Parsing of Bracket Languages*, October 1, 1986 - CS-RR-084
- W. Rytter,
*A Note on Optimal Parallel Transformations of Regular Expressions to Nondeterministic Finite Automata*, October 1, 1986 - CS-RR-083
- A.M. Gibbons and W. Rytter,
*Fast Parallel Algorithms for Vertex and Edge Colouring of Halin Graphs*, October 1, 1986 - CS-RR-082
- M. Campbell-Kelly,
*Data Communications at the National Physical Laboratory (1965-1975)*, August 1, 1986 - CS-RR-081
- A.M. Gibbons,
*Two Equivalences for the Four Colours Problem of Planar Maps*, October 1, 1986 - CS-RR-080
- A.M. Gibbons and W. Rytter,
*A Fast Parallel Algorithm for Optimal Edge-Colouring of Outerplanar Graphs*, August 1, 1986 - CS-RR-079
- A.M. Gibbons and W. Rytter,
*On the Decidability of some Problems about Rational Subsets of Free Partially Commutative Monoids*, August 1, 1986 - CS-RR-078
- W.M. Beynon,
*ARCA - A Notation for Displaying and Manipulating Combinatorial Diagrams*, June 1, 1986 - CS-RR-077
- A.M. Gibbons and W. Rytter,
*An Optimal Parallel Algorithm for Dynamic Expression Evaluation and its Applications*, April 1, 1986 - CS-RR-076
- S.G. Matthews,
*Metric Domains for Completeness*, April 1, 1986 - CS-RR-075
- W. Rytter,
*On the Complexity of Parallel Parsing of General Context-free Languages*, April 1, 1986 - CS-RR-074
- M.S. Paterson,
*Universal Chains and Wiring Layouts*, April 1, 1986 - CS-RR-073
- J.A. Dain,
*Error Recovery for YACC Parsers*, October 1, 1985 - CS-RR-072
- W.M. Beynon and J.F. Buckle,
*Computation Equivalence and Replaceability in Finite Algebras*, August 1, 1985 - CS-RR-071
- J.A. Dain,
*Error Recovery Schemes in LR Parsers*, December 1, 1984 - CS-RR-070
- (not allocated?)
- CS-RR-069
- P.E. Dunne,
*Techniques for the Analysis of Monotone Boolean Networks*, September 1, 1984 - CS-RR-068
- A.M. Gibbons and O.A. Ogunyode,
*A Polynomial-time Algorithm to Edge-Colour Almost All Graphs Using Y Colours*, September 1, 1984 - CS-RR-067
- W.M. Beynon,
*Monotone Boolean Functions Computable by Planar Circuits*, September 1, 1984 - CS-RR-066
- P.E. Dunne,
*Lower Bounds on the Complexity of 1-time only Branching Programs*, August 1, 1984 - CS-RR-065
- J.W. Daykin,
*Inequalities for the Number of Monotonic Functions of Partial Orders*, March 1, 1984 - CS-RR-064
- P.E. Dunne,
*Some Results on Replacement Rules in Monotone Boolean Networks*, January 1, 1984 - CS-RR-063
- (not allocated?)
- CS-RR-062
- P.E. Dunne,
*A 2.5n Lower Bound on the Monotone Network Complexity of T3n*, March 1, 1984 - CS-RR-061
- W.M. Beynon,
*Replaceability and Computational Equivalence in Finite Distributive Lattices*, March 1, 1984 - CS-RR-060
- W.F. McColl and M.S. Paterson,
*The Planar Realization of Boolean Functions*, March 1, 1984 - CS-RR-059
- W.F. McColl,
*Planar Circuits Have Short Specifications*, March 1, 1984 - CS-RR-058
- I. Parberry,
*On the Power of Parallel Machines with High-Arity Instruction Sets*, February 1, 1984 - CS-RR-057
- I. Parberry,
*Some Practical Simulations of Impractical Parallel Computers*, December 1, 1983 - CS-RR-056
- A.A. Yaghi,
*The Compilation of Functional Language into Intensional Logic*, December 1, 1983 - CS-RR-055
- P.E. Dunne,
*Improved Upper Bounds on the Area Required to Embed Arbitrary Graphs*, December 1, 1983 - CS-RR-054
- W.M. Beynon,
*A Definition of the ARCA Notation*, September 1, 1983 **CS-RR-053**- I. Parberry,
*Some Process-saving Theorems for Synchronous Parallel Computers*, October, 1983 - CS-RR-052
- (not allocated?)
- CS-RR-051
- D.E. Daykin, J.W. Daykin and M.S. Paterson,
*On Log Concavity for Order-Preserving and Order-non-Reversing Maps of Partial Orders*, May 1, 1983 - CS-RR-050
- C.S. Iliopoulos,
*Worst-Case Complexity Bounds on Algorithms for Computing the Canonical Structure of Infinite Abelian Groups and Solving Systems of Linear Diophantine Equations*, April 1, 1983 - CS-RR-049
- C.S. Iliopoulos,
*Worst-case Complexity Bounds on Algorithms for Computing the Canonical Structure of Finite Abelian Groups and the Hermite and Smith Normal Forms of an Integer Matrix*, April 1, 1983 - CS-RR-048
- I. Parberry and L.M. Goldschlager,
*On the Construction of Parallel Computers from Various Bases of Boolean Functions*, March 1, 1983 - CS-RR-047
- C.S. Iliopoulos,
*Algorithms in the Theory of Integral Binary Quadratic Forms*, September 1, 1981 - CS-RR-046
- W.W. Wadge,
*Classified Algebras*, October 1, 1982 - CS-RR-045
- W.W. Wadge,
*Introduction to the Baire Space*, October 1, 1982 - CS-RR-044
- W.W. Wadge,
*Reducibility and Determinateness on the Baire Space*, October 1, 1982 - CS-RR-043
- F. Golshani,
*Varqa - A Functional Query Language Based on an Algebraic Approach and Conventional Mathematical Notation*(PhD thesis), August 1, 1982 - CS-RR-042
- W.M. Beynon,
*Coset Enumeration as Closure Computation*, September 1, 1982 - CS-RR-041
- A.A. Faustini,
*The Equivalence of an Operational and a Denotational Semantics for Pure Dataflow*(PhD thesis), June 1, 1982 - CS-RR-040
- C.S. Iliopoulos,
*On the Computation of the Structure of an Abelian Group Represented by a Set of Defining Relations*, May 1, 1982 - CS-RR-039
- C.S. Iliopoulos,
*Composition and Characters of Binary Quadratic Forms*, January 1, 1982 - CS-RR-038
- A.A. Faustini,
*An Operations Semantics for Pure Dataflow*, June 1, 1981 - CS-RR-037
- W.M. Beynon and C.S. Iliopoulos,
*Gauss' Algorithm for the Solution of Quadratic Diophantine Equations*, May 1, 1981 - CS-RR-036
- D.M.R. Park,
*A Predicate Transformer for Weak Fair Iteration*, May 1, 1981 - CS-RR-035
- D.M.R. Park,
*Concurrency and Automata on Infinite Sequences*, May 1, 1981 - CS-RR-034
- W.M. Beynon,
*On Raney's Binary Encoding for Continued Fractions, Generalisations of Pell's Equation, and the Theory of Factorisation*, January 1, 1981 - CS-RR-033
- E.A. Ashcroft and W.W. Wadge,
*Structured Lucid*, March 1, 1980 - CS-RR-031
- M.B. Smyth,
*Computability in Categories*, February 1, 1980 - CS-RR-032
- E.A. Ashcroft and W.W. Wadge,
*Some Common Misconceptions about Lucid*, December 1, 1979 - CS-RR-030
- E.A. Ashcroft and W.W. Wadge,
*R for Semantics*, December 1, 1979 - CS-RR-029
- A. Kanda and D.M.R. Park,
*When are Two Effectively Given Domains Identical?*, April 1, 1979 - CS-RR-028
- W.W. Wadge,
*An Extensional Treatment of Dataflow Deadlock*, April 1, 1979 - CS-RR-027
- G.N.N. Martin,
*Spiral Storage: Incrementally Augmentable Hash Addressed Storage*, March 1, 1979 - CS-RR-026
- W.W. Wadge,
*Away from the Operations View of Computer Science*, November 1, 1978 - CS-RR-025
- W.M. Beynon,
*On the Structure of Free Finite State Machines*, September 1, 1978 - CS-RR-024
- J.I. Munro and M.S. Paterson,
*Selection and Sorting with Limited Storage*, July 1, 1978 - CS-RR-023
- W.W. Wadge,
*Programming Constructs for Nonprocedural Languages*, March 1, 1978 - CS-RR-022
- A. Kanda,
*Data Types as Effective Objects*, December 1, 1977 - CS-RR-021
- E.A. Ashcroft and W.W. Wadge,
*Scope Structures and Defined Functions in Lucid*, October 1, 1977 - CS-RR-020
- A. Shamir and W.W. Wadge,
*Data types as objects*, June 1, 1977 - CS-RR-019
- D.J. Lehmann and M.B. Smyth,
*Data Types*, May 1, 1977 - CS-RR-018
- W.F. McColl,
*Some Results on Circuit Depth*(PhD thesis), March 1, 1977 - CS-RR-017
- D.J. Lehmann,
*Modes in Algol Y*, February 1, 1977 - CS-RR-016
- M.S. Paterson,
*New Bounds for Formula Size*, December 1, 1976 - CS-RR-015
- D.J. Lehmann,
*Categories for Fixpoint Semantics*(PhD thesis), June 1, 1976 - CS-RR-014
- M.B. Smyth,
*Category-Theoretic Solution of Recursive Domain Equations*, July 1, 1976 - CS-RR-013
- D.M.R. Park,
*The Y-combinator in Scott's Lambda-calculus Models*, June 1, 1976 - CS-RR-012
- M.B. Smyth,
*Powerdomains*, May 1, 1976 - CS-RR-011
- E.A. Ashcroft and W.W. Wadge,
*Lucid, a Nonprocedural Language with Iteration*, April 1, 1976 - CS-RR-010
- D.J. Lehmann,
*Algebraic Structures for Transitive Closure*, February 1, 1976 - CS-RR-009
- M.B. Smyth,
*Effectively Giving Domains*, June 1, 1975 - CS-RR-008
- L.G. Valiant and M.S. Paterson,
*Circuit Size is Nonlinear in Depth*, September 1, 1975 - CS-RR-007
- W.F. McColl and M.S. Paterson,
*The Depth of All Boolean Functions*, August 1, 1975 - CS-RR-006
- A. Schonhage, M.S. Paterson and N. Pippenger,
*Finding the Median*, April 1, 1975 - CS-RR-005
- W.W. Wadge,
*A Complete Natural Deduction System for the Relational Calculus*, March 1, 1975 - CS-RR-004
- E.A. Ashcroft and W.W. Wadge,
*Program Proving Without Tears*, January 1, 1975 - CS-RR-003
- D.M.R. Park,
*Finiteness is Mu-ineffable*, July 1, 1974 - CS-RR-002
- M.S. Paterson,
*Complexity of Monotone Networks for Boolean Matrix Product*, July 1, 1974 - CS-RR-001
- L.G. Valiant,
*Decision Procedures for Families of Deterministic Pushdown Automata*(PhD thesis), August 1, 1973