UNIVERSITY of GLASGOW

Computing at Glasgow University
 

DCS Technical Reports ordered by Year. (280)

2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1985


2014

Developing a compiler for the XeonPhi
Cockshott,W.P. Oehler,S.B. Xu,T. SoCS Technical Report Series, pp 1-19, Dept of Computing Science, University of Glasgow [More Details]

2013

S-CORE: Scalable Communication Cost Reduction in Data Center Environments
Tso,F.P. Oikonomou,K. Kavvadia,E. Hamilton,G. Pezaros,D. SoCS Technical Report Series, pp 10, Dept of Computing Science, University of Glasgow [More Details]

The Hospitals / Residents problem with Free Pairs
Kwanashie,A. Manlove,D.F. SoCS Technical Report Series, pp 1-19, Dept of Computing Science, University of Glasgow [More Details]

2012

A collection of Linear Spaces of order 16 with block size 4, with diamond-free complement graphs
Miller,A. DCS Technical Report Series, pp 1-40, Dept of Computing Science, University of Glasgow [More Details]

A Wireless Sensor Node for Monitoring the Effects of Fluid Flow on Riverbed Sediment
Cameron,C. SoCS Technical Report Series, pp 1-73, Dept of Computing Science, University of Glasgow [More Details]

Distributing an Exact Algorithm for Maximum Clique: maximising the costup
McCreesh,C. Prosser,P. SoCS Technical Report Series, pp 1-13, Dept of Computing Science, University of Glasgow [More Details]

Exact Algorithms for Maximum Clique: a computational study
Prosser,P. SoCS Technical Report Series, pp 1-39, Dept of Computing Science, University of Glasgow [More Details]

On the Fully Bayesian Treatment of Latent Gaussian Models using Stochastic Simulations
Filippone,M. Zhong,M. Girolami,M. DCS Technical Report Series, pp 36, Dept of Computing Science, University of Glasgow [More Details]

Paired and Altruistic Kidney Donation in the UK: Algorithms and Experimentation
Manlove,D.F. O'Malley,G. DCS Technical Report Series, pp 1-14, Dept of Computing Science, University of Glasgow [More Details]

2011

"Almost stable" matchings in the Roommates problem with bounded preference lists
Biro,P. Manlove,D.F. McDermid,E.J. DCS Technical Report Series, pp 1-17, Dept of Computing Science, University of Glasgow [More Details]

Hanoi: A Typestate DSL for Java
McGinniss,I. Gay,S.J. DCS Technical Report Series, pp 20, Dept of Computing Science, University of Glasgow [More Details]

Proceedings of the 18th Workshop on Automated Reasoning
Miller,A. Kirwan,R. DCS Technical Report Series, pp 39, Dept of Computing Science, University of Glasgow [More Details]

Stable matching with couples: theory and practice
Biro,P. Irving,R.W. Schlotter,I. DCS Technical Report Series, pp 1-32, Dept of Computing Science, University of Glasgow [More Details]

The Role of Modality in Notification Performance
Warnock,D. McGee-Lennon,M.R. Brewster,S. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

2010

A SAT based algorithm for the matching problem in bigraphs with sharing
Sevegnani,M. Unsworth,C. Calder,M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Bigraphs with sharing
Calder,M. Sevegnani,M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Diamond-free Degree Sequences
Miller,A. Prosser,P. DCS Technical Report Series, pp 1 to 9, Dept of Computing Science, University of Glasgow [More Details]

Fractional solutions for NTU-games
Biro,P. Fleiner,T. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Integral Stable Allocation Problem on Graphs
Biro,P. Fleiner,T. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Matching with sizes (or scheduling with processing set restrictions)
Biro,P. McDermid,E. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Modular Session Types for Distributed Object-Oriented Programming
Gay,S.J. Vasconcelos,V.T. Ravara,A. Gesbert,N. Caldeira,A.Z. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Open Interface Workshop: The Challenges of Engineering Multimodal Interaction
McGee-Lennon,M.R. Denef,S. Gray,P. Nigay,L. DCS Technical Report Series, pp 56, Dept of Computing Science, University of Glasgow [More Details]

PuppyIR: Design Report
Glassey,R. Azzopardi,L. Garrido,J. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

PuppyIR: Implementation Report
Glassey,R. Azzopardi,L. Garrido,J. Schmuch,J. Moore,J. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

PuppyIR: Specification Report
Glassey,R. Azzopardi,L. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Stable matching with couples -- an empirical study
Biro,P. Irving,R.W. DCS Technical Report Series, pp 25, Dept of Computing Science, University of Glasgow [More Details]

Stochastic Process Algebra with Hooks for Models of Pattern Formation
Degasperi,A. Calder,M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Technical Report: A Study of Ranking Paradigms and Their Integrations for Subtopic Retrieval
Leelanupab,T. Zuccon,G. Jose,J.M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

2009

A Stakeholder Centered Exploration of the Current Barriers to the Uptake of Home Care Technology in the UK
Clark,J.S. McGee-Lennon,M.R. DCS Technical Report Series, pp 1-24, Dept of Computing Science, University of Glasgow
[More Details]

Bayesian Methods to Detect Dye Labelled DNA Oligonucleotides in Multiplexed Raman Spectra
Zhong,M. Girolami,M. Faulds,K. Graham,D. pp 20 [More Details]

Maximum weight cycle packing in optimal kidney exchange programs
Biro,P. Manlove,D.F. Rizzi,R. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Popular matchings in the Marriage and Roommates problems
Biro,P. Irving,R.W. Manlove,D.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Riemannian Manifold Hamiltonian Monte Carlo
Girolami,M. Calderhead,B. Chin,S. DCS Technical Report Series, pp 35, Dept of Computing Science, University of Glasgow [More Details]

Size versus stability in the Marriage problem
Biro,P. Manlove,D.F. Mittal,S. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

The College Admissions problem with lower and common quotas
Biró,P. Fleiner,T. Irving,R.W. Manlove,D.F. DCS Technical Report Series, pp 1-30, Dept of Computing Science, University of Glasgow [More Details]

XenoContiki
Harvey,P. DCS Technical Report Series, pp 1-70, Dept of Computing Science, University of Glasgow [More Details]

2008

A 3/2-approximation algorithm for general stable marriage
McDermid,E. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

A Monte Carlo Model Checker for Probabilistic LTL with Numerical Constraints
Donaldson,R. Gilbert,D. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

A User Centered Exploration of Multiple Stakeholder Requirements for Home Care Technology
McGee-Lennon,M. Clark,J. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Advanced language modeling approaches (Case study: Expert search)
Hiemstra,D. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

An Algorighm for Singular Value Decomposition of Matrices in Blocks
Huertas-Rosero,A.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

An Evaluation of Gaussian Processes for Sentence Classification and Protein Interaction Detection
Polajnar,T. Rogers,S. Girolami,M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Dynamic Interfaces
Gay,S.J. Ravara,A. Vasconcelos,V.T. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Efficiency Issues in Information Retrieval Workshop
Blanco,R. Silvestri,F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Exploiting Semantic Annotations in Information Retrieval
Alonso,O. Zaragoza,H. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Finding Large Stable Matchings
Irving,R.W. Manlove,D.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Improvement to Blocking Expanding Ring Search for MANETs
Al-Rodhaan,M. Mackenzie,L.M. Ould-Khaoua,M. DCS Technical Report Series, pp 13, Dept of Computing Science, University of Glasgow [More Details]

Inference in a Gene Regulatory Network with Transcriptional Time Delay
Higham,C.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Integral Stable Allocation Problem on Graphs
Biro,P. Fleiner,T. DCS Technical Report Series, pp 1-12, Dept of Computing Science, University of Glasgow [More Details]

Keeping partners together: Algorithmic results for the Hospitals / Residents problem with couples
McDermid,E.J. Manlove,D.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

LDS : testing the hypothesis
Unsworth,C. Prosser,P. DCS Technical Report Series, pp 5, Dept of Computing Science, University of Glasgow [More Details]

Mobilising Advanced Technologies for Care at Home: Emerging Issues from Theatre Study
McGee-Lennon,M. Clark,J. Wolters,M. Martin,C. Morgan,M. Hine,N. Gil,N. Arnott,J. Newell,A. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Popular Matchings: Structure and Algorithms
McDermid,E. Irving,R.W. DCS Technical Report Series, pp 1-20, Dept of Computing Science, University of Glasgow [More Details]

Proceedings of ECIR 2008 Industry Day
Macdonald,C. Ounis,I. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Property Preservation in Quotient Structures
Miller,A. Donaldson,A. DCS Technical Report Series, pp 1-34, Dept of Computing Science, University of Glasgow [More Details]

Researching and building IR applications using Terrier
Macdonald,C. He,B. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Search and Discovery in User-Generated Text Content
de Rijke,M. Weerkamp,W. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Size Versus Stability in the Marriage Problem
Biro,P. Manlove,D.F. Mittal,S. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Student Admissions in Hungary as Gale and Shapley Envisaged
Biro,P. DCS Technical Report Series, pp 1-7, Dept of Computing Science, University of Glasgow [More Details]

Workshop on Novel Methodologies for Evaluation in Information Retrieval
Sanderson,M. Braschler,M. Ferro,N. Gonzalo,J. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Xen Meets TinyOS
Maclean,A. DCS Technical Report Series, pp 1-81, Dept of Computing Science, University of Glasgow [More Details]

XenoTiny: Emulating Wireless Sensor Networks on Xen
Sventek,J. Maclean,A. McIlroy,R. Milos,G. DCS Technical Report Series, pp 1-10, Dept of Computing Science, University of Glasgow [More Details]

2007

A Constraint Programming Approach to the Hospitals / Residents Problem
Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

A Dynamic Counter Based Broadcast using Local Neighborhood Information in MANETs
Bani Yassein,M. Al-Humoud,S. Ould Khaoua,M. Mackenzie,L.M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

A Fast and Efficient Processor Allocation Strategy which Combines a Contiguous and Non-contiguous Processor Allocation Algorithms
Bani-Mohammad,S. Ould-Khaoua,M. Ababneh,I. Mackenzie,L. DCS Technical Report Series,TR-2007-229,,, Dept of Computing Science, University of Glasgow [More Details]

A Generic Approach to the Evolution of Interaction in Ubiquitous and Context-Aware Systems
McBryan,T. Gray,P. DCS Technical Report Series, pp 12, Dept of Computing Science, University of Glasgow [More Details]

A New Counter Based Broadcast scheme using Local Neighborhood Information in MANETs
Bani Yassein,M. Al-Humoud,S. Ould Khaoua,M. Mackenzie,L.M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets
Gilbert,D.R. Heiner,M. Lehrack,S. DCS Technical Report Series, pp 36, Dept of Computing Science, University of Glasgow [More Details]

Approximation algorithms for hard variants of the stable marriage and hospitals/residents problems
Irving,R.W. Manlove,D.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Asynchronous Functional Session Types
Gay,S.J. Vasconcelos,V.T. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

CartoonPlus: A new Scaling Algorithm for Genomics Data
Jakubowska,J. Hunt,E. Chalmers,M. DCS Technical Report Series, pp 10, Dept of Computing Science, University of Glasgow [More Details]

Comparative Performance Analysis of k-Ary n-Cube Topologies with Multiple Virtual Channels and Finite Size Buffers
Alzeidi,N. Ould-Khaoua,M. Mackenzie,L.M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Deep versus Parallel Buffers in Wormhole Switched k-Ary n-Cubes
Alzeidi,N. Ould-Khaoua,M. Mackenzie,L.M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

HECTOR: A PDA Based Clinical Handover System
McGee-Lennon,M.R. Carberry,M. Gray,P.D. DCS Technical Report Series, pp 1-14, Dept of Computing Science, University of Glasgow [More Details]

Management of networked sensor systems
Koliousis,A. Sventek,J. DCS Technical Report Series, pp 29, Dept of Computing Science, University of Glasgow [More Details]

Mises Kantorovich and Economic Computation
Cockshott,W.P. DCS Technical Report Series, pp 1..24, Dept of Computing Science, University of Glasgow [More Details]

Popular Matchings in the Weighted Capacitated House Allocation problem
Sng,C.T.S. Manlove,D.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Proactive vs reactive routing for wireless sensor networks
Koliousis,A. Sventek,J. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Proceedings of OSHMA 2007
Various,- DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

The Stable Roommates problem with Globally-Ranked Pairs
Abraham,D.J. Levavi,A. Manlove,D.F. O'Malley,G. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Triangle-free Linear Spaces on 13 points with line sizes 2,3, and 4
Miller,A. DCS Technical Report Series, pp 1-12, Dept of Computing Science, University of Glasgow [More Details]

Usability of VisGenome and Ensembl - A User Study
Jakubowska,J. McClure,J. Hunt,E. Chalmers,M. DCS Technical Report Series, pp 50, Dept of Computing Science, University of Glasgow [More Details]

Web Engineering Security (WES) Technical Report
Glisson,W.B. Welland,R. DCS Technical Report Series, pp 51, Dept of Computing Science, University of Glasgow [More Details]

Web Survey Technical Report
Glisson,W.B. Welland,R.C. DCS Technical Report Series, pp 27, Dept of Computing Science, University of Glasgow [More Details]

Wide-Area SMC Interaction, Implementation and Emulation
Strowes,S.D. Dulay,N. Heeps,S. Keoh,S.L. Lupu,E. Schaeffer-Filho,A.E. Sloman,M. Sventek,J.S. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

2006

A Bayesian analysis of the ERK signalling pathway
Vyshemirsky,V. Girolami,M. Gormand,A. Kolch,W. Department of Computing Science Technical Reports, pp 1--34 [More Details]

Excitatory Multimodal Interaction on Mobile Devices
Williamson,J. Murray-Smith,R. Hughes,S. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Fibonacci Backoff Algorithm for Mobile Ad Hoc Networks
Manaseer,S. Ould-Khaoua,M. Mackenzie,L. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Granularity of genomics data in genome visualisation
Jakubowska,J. Hunt,E. Chalmers,M.J. DCS Technical Report Series, pp 10, Dept of Computing Science, University of Glasgow [More Details]

Logarithmic Based Backoff Algorithm for MAC Protocol in MANETs
Manaseer,S. Ould-Khaoua,M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Popular Matchings in the Capacitated House Allocation Problem
Manlove,D.F. Sng,C.T.S. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Subtyping between Standard and Linear Function Types
Gay,S.J. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

The cycle roommates problem: a hard case of kidney exchange
Irving,R.W. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

The Stable Marriage Problem with Master Preference Lists
Irving,R.W. Manlove,D.F. Scott,S. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

The TREC Blogs06 Collection : Creating and Analysing a Blog Test Collection
Macdonald,C. Ounis,I. DCS Technical Report Series, pp 8, Dept of Computing Science, University of Glasgow [More Details]

The TREC Blogs06 Collection : Creating and Analysing a Blog Test Collection
Macdonald,C. Ounis,I. DCS Technical Report TR-2006-224. Department of Computing Science, University of Glasgow. 2006,, Dept of Computing Science, University of Glasgow [More Details]

Thorough study of the logarithmic backoff algorithm for MAC protocols in MANETs
Manaseer,S. Ould-Khaoua,M. Mackenzie,L. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Verifying parameterised networks by abstraction and induction: experience from the IEEE 1394 protocol
Miller,A. Calder,M. DCS Technical Report Series, pp 39, Dept of Computing Science, University of Glasgow [More Details]

Vertex and Edge Covers with Clustering Properties: Complexity and Algorithms
Fernau,H. Manlove,D.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Web Engineering Security (WES) Application Survey Technical Report
Glisson,W.B. Welland,R. DCS Technical Report Series, pp 31, Dept of Computing Science, University of Glasgow [More Details]

2005

A Constraint Programming Approach to the Hospitals / Residents Problem
Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. DCS Tech Report, [More Details]

A New Queueing Model for the Analysis of Virtual Channels Occupancy in Wormhole-Switched Networks
Alzeidi,N. Khonsari,A. Ould-Khaoua,M. Mackenzie,L.M. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

A Simulation Study of Allocation Strategies on the Mesh Interconnection Networks
Bani Mohammad,S. Ould-Khaoua,M. Ababneh,I. [More Details]

A Simulation Study of Allocation Strategies on the Mesh Interconnection Networks
Bani-Mohammad,S. Ould-Khaoua,M. Ababneh,I. Technical Report; TR-2005-194, Department of Computing Science.,, University of Glasgow [More Details]

A Study Of Stable Marriage Problems With Ties
Scott,S. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

An algorithm for modelling terms
Cai,D. Van Rijsbergen,C.J. DCS Tech Report, [More Details]

Efficient algorithms for generalised stable marriage and roommates problems
Fleiner,T. Irving,R.W. Manlove,D.F. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Extracting Data from Personal Text Messages
Cooper,R.L. DCS Technical Report Series, pp 1-23, Dept of Computing Science, University of Glasgow [More Details]

From Petri Nets to Differential Equations - an Integrative Approach for Biochemical Network Analysis
Gilbert,D. Heiner,M. DCS Technical Report Series, pp 23, Dept of Computing Science, University of Glasgow [More Details]

Modelling and solving the stable marriage problem using constraint programming
Manlove,D.F. O'Malley,G. DCS Tech Report, [More Details]

Noncontiguous Processor Allocation for Three-Dimensional Mesh Multicomputers
Ababneh,I. Bani Mohammad,S. pp 51-63 [More Details]

Orta - an Overlay for Real Time Applications
Strowes,S.D. Perkins,C. DCS Technical Report Series,, Dept of Computing Science, University of Glasgow [More Details]

Performance Analysis of Adjusted Probabilistic Broadcasting in MANETs
Bani Yassein,M. Ould-Khaoua,M. Papanastasiou,S. [More Details]

Performance analysis of PCS in the torus network in the presence of hotspot traffic
Safaei,F. Khonsari,A. Ould-Khaoua,M. [More Details]

Performance analysis of PCS in the torus network in the presence of hotspot traffic
Safaei,F. Khonsari,A. Ould-Khaoua,M. [More Details]

Performance analysis of PCS in the torus network in the presence of hotspot traffic
Safaei,F. Khonsari,A. Fathy,M. OuldKhaoua,M. [More Details]

Performance Analysis of Processor Allocation Strategies on 2D-Mesh Interconnection Networks
Bani-Mohammad,S. Ould-Khaoua,M. Ababneh,I. Technical Report; TR-2005-202, Department of Computing Science.,, University of Glasgow [More Details]

Proceedings fo the Second Workshop on Complexity in Design and Engineering
Johnson,C.W. [More Details]

Self-Managed Cell Simulator
Heeps,S. Sharma,O. pp 1-13 [More Details]

Simulation study of traffic-aware routing in mobile ad hoc networks
Al-Qassas,R. Ould-Khaoua,M. Mackenzie,L.M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

SymNet Workshop on Almost-Symmetry in Search
Donaldson,A.F. Gregory,P. pp 61 [More Details]

Towards a Topology-based Continuous Image representation
Brugnot,S. PhD Thesis,, University of Glasgow [More Details]

2004

A Bayesian Regression Approach to the Inference of Regulatory Networks from Gene Expression Data
Rogers,S.
Girolami,M. [More Details]

A Case Study for Automatic Query Expansion Based on Divergence
Cai,D. Van Rijsbergen,C.J. DCS Tech Report, pp 1-28 [More Details]

A Decision Mechanism for the Selective Combination of Evidence in Topic Distillation
Plachouras,V. Cacheda,F. Ounis,I. DCS Tech Report, pp 29 pages [More Details]

A Suite of Testbeds for the Realistic Evaluation of Peer-to-Peer Information Retrieval Systems
Klampanos,I.A. Jose,J.M. Poznanski,V. Dickman,P. DCS Tech Report, [More Details]

Dempster-Shafer theory for a query-biased combination of evidence on the Web
Plachouras,V. Ounis,I. pp 18 pages [More Details]

JPie Interface: An On­-The­-Fly Job Submission And Communication Confguration Package
Yarmolenko,V. Cockshott,W.P. Borland,E. Graham,P. Mackenzie,L. DCS Tech Report, pp 5 [More Details]

Making sense of low-level usage data to understand user activities
Renaud,K.V. Gray,P.D., Dept of Computing Science, University of Glasgow [More Details]

Managing a Reconfigurable Processor in a General Purpose Workstation Environment
Dales,M.W. pp 146, Dept of Computing Science, University of Glasgow [More Details]

Managing a Reconfigurable Processor in a General Purpose Workstation Environment
Dales,M. DCS Technical Report, pp 146, Dept of Computing Science, University of Glasgow [More Details]

Man-Exchange Stable Marriage
Irving,R.W. pp 1-11 [More Details]

Modelling the Influence of RKIP on the ERK Signalling Pathway using the Stochastic Process Algebra PEPA
Calder,M. Gilmore,S. Hillston,J. DCS Tech Report, [More Details]

Pareto optimality in the Roommates problem
Abraham,D.J. Manlove,D.F. DCS Tech Report, pp 1-16 [More Details]

Plagiarism and collusion detection using the Smith-Waterman algorithm
Irving,R.W. DCS Technical Report, pp 1-24, Dept of Computing Science, University of Glasgow [More Details]

Relevance Weight Revisited
Cai,D. Van Rijsbergen,C.J. DCS Tech Report, pp 1-8 [More Details]

RUR: A Proposed Model for CPU Marketing
Cockshott,W.P. Yarmolenko,V. Mackenzie,L. DCS Tech Report, pp 6 [More Details]

Sensory Substitution Using Tactile Pin Arrays: Human Factors, Technology and Applications
Wall,S.A. pp 25 [More Details]

The Proceedings of the Glasgow-Strathclyde Information Retrieval Workshop
Azzopardi,L. Ruthven,I. Crestani,F. van Rijsbergen,C.J. DCS Tech Report, pp 38, Dept of Computing Science, University of Glasgow [More Details]

The Top-Compressed Suffix Tree: A Disk-Resident Index for Large Sequences
Japp,R.P. DCS Tech Report, pp 124, Dept of Computing Science, University of Glasgow [More Details]

Two Algorithms for the Student-Project Allocation Problem
Abraham,D.J. Irving,R.W. Manlove,D.F. DCS Tech Report, [More Details]

Using database technologies to transform low-level stream data for client analysis
Mancy,R. Thomas,R. Draper,S. Gray,P. Kennedy,G. pp 7 [More Details]

Using database technologies to transform low-level stream data for client analysis
Mancy,R. Thomas,R. Draper,S. Gray,P. Kennedy,G. pp 7 [More Details]

2003

A Design Space for Location-Sensitive Aids for Older Users
Goodman,J. Gray,P. DCS Tech Report, pp 7 [More Details]

Bounded Polymorphism in Session Types
Hole,M.J. Gay,S.J. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Designing a Chemotherapy Symptom Management System for PDAs: Emerging Design Guidelines from Early Patient Pilot Studies
McGee,M.R. Gray,P. Muir,L. Hargan,I. pp 10, Dept of Computing Science, University of Glasgow [More Details]

Dynamics and Probabilistic Text Entry
Williamson,J. Murray-Smith,R. DCS Tech Report, pp 10 [More Details]

Implementation of the General Matings Method in Isabelle/HOL
Quigley,C.L. pp 23 [More Details]

Information Retrieval Over Semi-Collaborating Peer-to-Peer Overlay Networks
Klampanos,I.A. Jose,J.M. DCS Tech Report, pp 13, Dept of Computing Science, University of Glasgow [More Details]

Learning a Gaussian Process Model with Uncertain Inputs
Girard,A. Murray-Smith,R. DCS Tech Report, pp 10 [More Details]

Nonlinear modelling of FES-supported standing up in paraplegia for selection of feedback sensors
Kamnik,R. Shi,J.Q. Murray-Smith,R. Bajd,T. DCS Tech Report, [More Details]

Proposal for two-dimensional gel electrophoresis data standards
Jones,A. Wastling,J. Hunt,E. DCS Tech Report, pp 24 [More Details]

Self-tuning control of non-linear systems using Gaussian process prior models
Sbarbaro,D. Murray-Smith,R. DCS Tech Report, [More Details]

Session Types for Inter-Process Communication
Gay,S.J. Vasconcelos,V.T. Ravara,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

SPLAT: (Suffix-tree Powered Loacal Alignment Tool): A Full-Sensitivity Protein Database Search Program that Accelerates the Smith-Waterman Algorithm using a Generalised Suffix Tree Index
Harding,N.J. Atkinson,M.P. DCS Tech Report, [More Details]

Summary of Design Guidelines arising from the use of Haptics for Visualisation by Blind and Visually Impaired Computer Users
Wall,S.A. Brewster,S.A. DCS Tech Report, [More Details]

The Dynamic Absorbing Model for the Web
Amati,G. Ounis,I. Plachouras,V. DCS Tech Report, pp 21, Dept of Computing Science, University of Glasgow [More Details]

The Exchange-Stable Marriage Problem
Cechlarova,K. Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

The Student-Project Allocation Problem
Abraham,D.J. Irving,R.W. Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

The Suffix Sequoia Index for Approximate String Matching
Hunt,E. DCS Tech Report, pp 1-26, Dept of Computing Science, University of Glasgow [More Details]

Transformations of Gaussian process priors
Murray-Smith,R. Pearlmutter,B. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Tutorial example of Gaussian process prior modelling applied to twin-tank system
Gray,G. Murray-Smith,R. Thompson,K. Murray-Smith,D.J. DCS Tech Report, [More Details]

Two approaches to verifying the Tree identify phase of the IEEE 1394 (FireWire) protocol for any size of network
Miller,A. Calder,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Types and Subtypes for Correct Communication in Client-Server Systems
Gay,S.J. Hole,M.J. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

2002

Abduction, Explanation and Relevance Feedback
Ruthven,I. DCS Tech Report,
[More Details]

An Experimental 3D Digital TV Studio
Cockshott,W.P. Hoff,S. Nebel,J-C. DCS Tech Report,, Academic Press [More Details]

Approximability results for stable marriage problems with ties
Halldorsson,M. Irving,R.W. Iwama,K. Manlove,D.F. Miyazaki,S. Morita,Y. Scott,S. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Audio feedback for gesture recognition
Williamson,J. Murray-Smith,R. DCS Tech Report,, AAAI Press [More Details]

Bayesian Regression and Classification using Mixtures of Gaussian Processs
Shi,J.Q. Murray-Smith,R. Titterington,D.M. DCS Tech Report, [More Details]

Birth-death MCMC methods for mixtures with an unknown number of components
Shi,J.Q. Murray-Smith,R. Titterington,D.M. DCS Tech Report, [More Details]

Efficient structural outlooks for vertex product network
Awwad,A.M. DCS Tech Report, [More Details]

Efficient Structural Outlooks for Vertex Product Networks
Awwad,A.M. DCS Tech Report, [More Details]

Feature Interaction Detection by Pairwise Analysis of LTL Properties
Calder,M. Miller,A. DCS Tech Report, [More Details]

Feature Validation for any Number of Processes
Calder,M. Miller,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Gaussian Process priors with uncertain inputs: Multiple-step-ahead prediction
Girard,A. Rasmussen,C. Murray-Smith,R. DCS Tech Report, [More Details]

Gaussian Process Priors with Uncertain Inputss: Multiple-Step-Ahead Prediction
Girard,A. Rasmussen,C. Murray-Smith,R. DCS Tech Report, [More Details]

Hierarchical Gaussian Process Mixtures for Regression
Shi,J.Q. Murray-Smith,R. Titterington,D.M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Meta-Analysis for Trend Estimation
Shi,J.Q. Copas,J.B. DCS Tech Report, [More Details]

Near Real-Time Previewing for a Whole-Body 3D Scanner
Boyling,T. DCS Tech Report, [More Details]

New Fault-Tolerant Routing Algorithms for k-Ary n-Cube Networks
Al-Sadi,J. DCS Tech Report, [More Details]

Novel Visualisation Techniques for the Presentation of Accident Reports
Johnson,C.J. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Performance Analysis of Wormhole Routing in Multicomputer Interconnection Networks
Sarbazi-Azad,H. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Runtime Resolution of Feature Interactions in Evolving Telecommunications Systems
Reiff-Marganiec,S. DCS Tech Report, [More Details]

Strong Stability in the Hospitals/Residents Problem
Irving,R.W. Manlove,D.F. Scott,S. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Supporting Early Intervention Programmes for special-needs children with personal digital assistants
Murray-Smith,R. Wiliamson,J. Borland,J. Gray,P.D. DCS Tech Report, [More Details]

Vector Pascal Reference Manual
Cockshott,W.P. DCS Tech Report, [More Details]

2001

A Database Index to Large Biological Sequences
Hunt,E. Atkinson,M.P.A. Irving,R.W.I. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

A Multimethod-Based Orthogonally Persistent Programming Language
Cunei,A. DCS Tech Report, [More Details]

A Survey of Web Engineering in Practice
McDonald,A.G. Welland,R.C. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

A Symbolic Semantics and Bisimulation for Full LOTOS
Calder,M. Shankland,C. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Agile Web Engineering (AWE) Process
McDonald,A. Welland,R.C. DCS Tech Report, pp 55, Dept of Computing Science, University of Glasgow [More Details]

Combining and comparing clustering and layout algorithms
Morrison,A.J. Ross,G. Chalmers,M. DCS Tech Report, pp 9 [More Details]

Hot-Swapping between a Mark & Sweep and a Mark & Compact Garbage Collector in a Generational Environment
Printezis,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Informing Sound-tracks
Walker,A. Brewster,S. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Models and the use of Counter-Factual Reasoning in AccidentInvestigations
Johnson,C.W. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Overcoming the Lack of Screen Space on Mobile Computers on Mobile Computer on Mobile Computers
Brewster,S. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Proceedings of Design, Specification and Verification of InteractiveSystems 2001
Johnson,C.W. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

StarTex (version 0.5.2) A draft schema for anaesthetic records
Gardner,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Suffix Binary Search Trees and Suffix Arrays
Irving,R.W. Love,L. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Suffix Binary Search Trees and Suffix Arrays
Irving,R.W. Love,L. DCS Tech Report, [More Details]

Using LOTOS for Modelling and Analysing an Online Feature Manager: A Study
Reiff,S. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Using the Model Checker SPIN to Detect Feature Interactions in Telecommunications Services
Calder,M. Miller,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Virtual Acoustic Displays : an overview of audio spatialization techniques and tools
Walker,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

2000

A Multimethod-Based Orthogonally Persistent Programming Language
Cunei,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

A Review of the Rationale and Architectures of PJama: a Durable, Flexible, Evolvable and Scalable Orthogonally Persistent Programming Platform
Atkinson,M. Jordan,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

A Symbolic Semantics and Bisimulation for Full LOTOS
Calder,M. Shankland,C. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Class and Data Evolution Support in the PJama Persistent Platform
Dmitriev,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Defining a non-concrete recursive type in HOL which includes sets
Vos,T. Swierstra,D. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Direct Compilation of High Level Languages for Multi-media Instruction-sets
Cockshott,P. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Dynamic Links for Mobile Connected Context-AwareDynamic Links for Mobile Connected Context-Aware Systems
Gray,P.D. Sage,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Model Checking Networks of Telecommunications Services using SPIN
Calder,M. Miller,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

On the Approximability of the Maximum Induced Matching Problem
Duckworth,W. Manlove,D.F. Zito,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Persistent Suffix Trees and Suffix Binary Search Trees as DNA Sequence Indexes
Hunt,E. Irving,R.W. Atkinson,M.P. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

The Stable Roommates Problem with Ties
Irving,R.W. Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

The Suffix Binary Search Tree and Suffix AVL Tree
Irving,R.W. Love,L. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Towards a Paperless World
Al-Sharjabi,H. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Xs are for Trajectory Evaluation, Booleans are for Theorem Proving (Extended Version)
Aagaard,M.D. Melham,T.F. O'Leary,J.W. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

1999

A Non-Invasive Mechanism for Monitoring Calls to Java? Packages
Renaud,K. DCS Tech Report,, Dept of Computing Science, University of Glasgow
[More Details]

Analysing Music for a String Performer
Findlay,W. Hall,C.V. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Case study: CTG repeat expansion modelling using a JavaTM applet and its PJamaextension providing persistent storage for genetics data.
Hunt,E. Jack,D. Hogg,G.F. Monckton,D.G. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Case study: Use of Computer Tools in Locating a Human Disease Gene
Hunt,E. Jack,D.A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Genome Rearrangement Problems
Christie,D.A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Hard Variants of Stable Marriage
Manlove,D.F. Irving,R.W. Iwama,K. Miyazaki,S. Morita,Y. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Integrating Information Use into Relevance Feedback
Ruthven,I. Lalmas,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Modelling a Telephone Switching System for Verification
Reiff,S. Calder,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Performance Evaluation of Distributed Crossbar Switch Hypermesh
Loucif,S. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Providing Evolution Support for PJama1 within Sphere
Hamilton,C. Atkinson,M.P. Dmitriev,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Recovery Management for Sphere: Recovering A Persistent Object Store
Hamilton,C. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

S.U.I.T. - A Framework & Methodology For The Selection of User Interface Development Tools Based on Fitnesss Criteria
McKirdy,J. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Simulation of Bowing Decisions on a String Instrument
Findlay,W. Hall,C. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Stable Marriage with Ties and Unacceptable Partners
Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Term similarity-based query expansion for cross-language information retrieval
Adriani,M. van Rijsbergen,C.J. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

The Sphere User's Guide
Printezis,T. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

The Structure of Stable Marriage with Indifference
Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Title: Many-valued Logics for Programming: Theorems and Proofs
Morris,J.M. Bunkenburg,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Tracking Activity at the User Interface in a Java? Application
Renaud,K. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Virtual Acoustic Displays ? an overview of audio spatialization techniques and tools
Walker,V.A. DCS Tech Report, [More Details]

1998

A Dempster-Shafer Model for Document Retrieval using Phrases
Theophylactou,M. Lalmas,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

A Study of the Kinematics of Probabilities in Information Retrieval
Crestani,F.A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

An Empirical Study of the Relationships Between User Interface Development Tools & User Interface Software Development
McKirdy,J. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Collection Fusion in Information Retrieval Formally Investigated with an Epistemic Logic
Lalmas,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

DRASTIC: A Run-Time Architecture for Evolving, Distributed, Persistent Systems
Evans,J.H. Dickman,P. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Foreword: What?s the Problem with Usability Problems
Lavery,D. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Formal Combination of Document Representations Based on Evidential Reasoning
Lalmas,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Granularity in Large-Scale Parallel Functional Programming
Loidl,H.W. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Minimaximal and maximinimal optimisation problems: a partial order-based approach
Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

On the Embedding Hamiltonian Cycles into k-ary n-cubes
Sarbazi-Azad,H. Mackenzie,L.M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Once Upon a Polymorphic Type
Wansbrough,K. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Representing and Retrieving Structured Documents with Dempster-Shafer?s Theory of Evidence: From Theory to Practice
Lalmas,M. Ruthven,I.G. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Selective Relevance Feedback Using Term Characteristics
Ruthven,I. Lalmas,M. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Sort Inference in Action Semantics
Brown,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

The Cut Rule and Explicit Substitutions (Author's Cut)
Vestergaard,R. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

The Implementation of Sphere: a Scalable, Flexible, and Extensible Persistent Object Store
Printezis,T. Atkinson,M.P. Daynes,L. DCS Tech Report, [More Details]

The Implementation of Sphere: a Scalable, Flexible, and Extensible Persistent Object Store
Printezis,A. Atkinson,M.P. Daynes,L. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

The Traveling Salesman Problem in Circulant Graphs
Gerace,I. Irving,R.W. DCS Tech Report, [More Details]

What?s the Problem with Usability Problems?
Cockton,G. Lavery,D. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

1997

Accident Analysis and Action Logic
Burns,C.
Johnson,C.W. Thomas,M. DCS Tech Report, pp 33-39 [More Details]

Accident Fault Trees
Love,L. Johnson,C.W. DCS Tech Report, pp 16-25, Dept of Computing Science, University of Glasgow [More Details]

Exploiting Risk and Utility Assessments to Support the Design of Human-Machine Interfaces: papers from EPSRC Grant GR/J07686
Johnson,C.W. DCS Tech Report, [More Details]

On the 2-maximal independence number of a graph
Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

On the algorithmic complexity of twelve covering and independence parameters of graphs
Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

Proceedings of a Workshop on Human Error and Systems Development
Johnson,C.W. DCS Tech Report, [More Details]

Reflecting user information needs through query biased summaries
Tombros,A. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

The b-chromatic number of a graph
Irving,R.W. Manlove,D.F. DCS Tech Report,, Dept of Computing Science, University of Glasgow [More Details]

The Design of Sphere: a Scalable, Flexible, and Extensible Persistent Object Store
Printezis,T. Atkinson,M.P. Daynes,L. Spence,S. DCS Tech Report, [More Details]

1996

Cross-viewpoint Consistency in Accident Investigations
Telford,A.J.
Johnson,C.W. DCS Tech Report, [More Details]

Extending The Application Of Formal Methods To Analyse Human Error And System Failure During Accident Investigations
Telford,A.J. Johnson,C.W. DCS Tech Report, [More Details]

Measuring the Allocation Rate of Napier88
Printezis,T. Cutts,Q.I. DCS Tech Report, [More Details]

Proceedings of the First Workshop on Human Error and Clinical Systems
Johnson,C.W. Dunlop,M.D. DCS Tech Report, [More Details]

Some Research Issues in Higher Order Logic Theorem Proving
Melham,T.F. DCS Tech Report, [More Details]

Supporting Error-Driven Design
Johnson,C.W. Gray,P.D. DCS Tech Report,, Academic Press [More Details]

The Value of Information for Distributed Systems
Johnson,C.W. DCS Tech Report, pp 39-46 [More Details]

1995

A formal derivation of a parallel binary addition circuit
O'Donnell,J.T. Ruenger,G. DCS Tech Report,, University of Glasgow [More Details]

MAC-CBJ: maintaining arc consistency with conflict-directed backjumping
Prosser,P. Technical Report 95/177, [More Details]

Subsequences and Supersequences of Strings
Fraser,C.B. [More Details]

1994

Information and economics
Cockshott,P. Cottrell,A. DCS Tech Report,, Academic Press
[More Details]

1993

Two essays in information retrieval
van Rijsbergen,C.J. DCS Tech Report,, Ablex Publishing Corporation, New Jersey, U.S.A. [More Details]

1992

Reasoning with Inductively Defined Relations in the {HOL} Theorem Prover}
Camilleri,J.
Melham,T.F. DCS Tech Report,, University of Cambridge [More Details]

1985

Building a microcomputer with associative virtual memory
cockshott,w.p. pp 1-21, Dept of Computing Science, University of Glasgow [More Details]

The CPOMS persistent object management system
Cockshott,P. Brown,A. DCS Tech Report,, University of Glasgow [More Details]