UNIVERSITY of GLASGOW

Computing at Glasgow University
 

DCS Technical Reports for 'Formal Analysis, Theory and Algorithms Group' ordered by Year. (92)

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

2013

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].

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].

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].

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].

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].

2009

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].

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].

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].

Dynamic Interfaces
Gay,S.J. Ravara,A. Vasconcelos,V.T. 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].

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].

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].

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].

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].

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].

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].

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].

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].

2006

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].

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].

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 Study Of Stable Marriage Problems With Ties
Scott,S. DCS Technical Report Series Dept of Computing Science, University of Glasgow [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].

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

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

2004

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].

Two Algorithms for the Student-Project Allocation Problem
Abraham,D.J. Irving,R.W. Manlove,D.F. DCS Tech Report [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].

Implementation of the General Matings Method in Isabelle/HOL
Quigley,C.L. pp 23 [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].

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].

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

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].

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].

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].

2001

A Symbolic Semantics and Bisimulation for Full LOTOS
Calder,M. Shankland,C. 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 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].

2000

A Symbolic Semantics and Bisimulation for Full LOTOS
Calder,M. Shankland,C. 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].

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

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].

Modelling a Telephone Switching System for Verification
Reiff,S. Calder,M. 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].

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

1998

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].

The Traveling Salesman Problem in Circulant Graphs
Gerace,I. Irving,R.W. DCS Tech Report [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].

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].

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].

1996

Some Research Issues in Higher Order Logic Theorem Proving
Melham,T.F. DCS Tech Report [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].

1992

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