DCS Technical Reports for 'Formal Analysis, Theory and Algorithms Group' ordered by Year. (92)2013The Hospitals / Residents problem with Free PairsKwanashie,A. Manlove,D.F. SoCS Technical Report Series pp 119 Dept of Computing Science, University of Glasgow [More Details]. 2012A collection of Linear Spaces of order 16 with block size 4, with diamondfree complement graphsMiller,A. DCS Technical Report Series pp 140 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 113 Dept of Computing Science, University of Glasgow [More Details]. Exact Algorithms for Maximum Clique: a computational study Prosser,P. SoCS Technical Report Series pp 139 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 114 Dept of Computing Science, University of Glasgow [More Details]. 2011"Almost stable" matchings in the Roommates problem with bounded preference listsBiro,P. Manlove,D.F. McDermid,E.J. DCS Technical Report Series pp 117 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 132 Dept of Computing Science, University of Glasgow [More Details]. 2010A SAT based algorithm for the matching problem in bigraphs with sharingSevegnani,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]. Diamondfree 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 NTUgames 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 ObjectOriented 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]. 2009Maximum weight cycle packing in optimal kidney exchange programsBiro,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 130 Dept of Computing Science, University of Glasgow [More Details]. 2008A 3/2approximation algorithm for general stable marriageMcDermid,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 112 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 120 Dept of Computing Science, University of Glasgow [More Details]. Property Preservation in Quotient Structures Miller,A. Donaldson,A. DCS Technical Report Series pp 134 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 17 Dept of Computing Science, University of Glasgow [More Details]. 2007A Constraint Programming Approach to the Hospitals / Residents ProblemManlove,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 GloballyRanked 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]. Trianglefree Linear Spaces on 13 points with line sizes 2,3, and 4 Miller,A. DCS Technical Report Series pp 112 Dept of Computing Science, University of Glasgow [More Details]. 2006Popular Matchings in the Capacitated House Allocation ProblemManlove,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]. 2005A Constraint Programming Approach to the Hospitals / Residents ProblemManlove,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 AlmostSymmetry in Search Donaldson,A.F. Gregory,P. pp 61 [More Details]. 2004ManExchange Stable MarriageIrving,R.W. pp 111 [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 116 [More Details]. Plagiarism and collusion detection using the SmithWaterman algorithm Irving,R.W. DCS Technical Report pp 124 Dept of Computing Science, University of Glasgow [More Details]. Two Algorithms for the StudentProject Allocation Problem Abraham,D.J. Irving,R.W. Manlove,D.F. DCS Tech Report [More Details]. 2003A Design Space for LocationSensitive Aids for Older UsersGoodman,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 InterProcess Communication Gay,S.J. Vasconcelos,V.T. Ravara,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. The ExchangeStable Marriage Problem Cechlarova,K. Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. The StudentProject 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 ClientServer Systems Gay,S.J. Hole,M.J. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. 2002Approximability results for stable marriage problems with tiesHalldorsson,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]. 2001A Symbolic Semantics and Bisimulation for Full LOTOSCalder,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]. 2000A Symbolic Semantics and Bisimulation for Full LOTOSCalder,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]. 1999Hard Variants of Stable MarriageManlove,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]. 1998Minimaximal and maximinimal optimisation problems: a partial orderbased approachManlove,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]. 1997Accident Analysis and Action LogicBurns,C. Johnson,C.W. Thomas,M. DCS Tech Report pp 3339 [More Details]. Accident Fault Trees Love,L. Johnson,C.W. DCS Tech Report pp 1625 Dept of Computing Science, University of Glasgow [More Details]. On the 2maximal 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 bchromatic number of a graph Irving,R.W. Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. 1996Some Research Issues in Higher Order Logic Theorem ProvingMelham,T.F. DCS Tech Report [More Details]. 1995A formal derivation of a parallel binary addition circuitO'Donnell,J.T. Ruenger,G. DCS Tech Report University of Glasgow [More Details]. MACCBJ: maintaining arc consistency with conflictdirected backjumping Prosser,P. Technical Report 95/177 [More Details]. 1992Reasoning with Inductively Defined Relations in the {HOL} Theorem Prover}Camilleri,J. Melham,T.F. DCS Tech Report University of Cambridge [More Details]. 
