UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for 'Formal Analysis, Theory and Algorithms Group' ordered by Year. (641)

2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969

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

Error cancellation in the semiclassical calculation of the scattering length
Jamieson,M.J. Ouerdane,H. European Physical Journal D [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].

Improving man-optimal stable matchings by minimum change of preference lists
Inoshita,T. Irving,R.W. Iwama,K. Miyazaki,S. Nagase,T. Proceedings of the 7th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications (Kyoto, Japan) pp 309-313 [More Details].

Parameters for cold collisions of lithium and caesium atoms
Jamieson,M.J. Ouerdane,H. Chinese Physics Letters Vol. 28 pp 060308-1 [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: an empirical study
Biro,P. Irving,R.W. Schlotter,I. ACM Journal of Experimental Algorithmics, vol. 16, section 1 article no. 2 pp 1-27 [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 Model and Analysis of the AKAP Scaffold
Andrei,O. Calder,M. To appear in Proceedings of CS2Bio Elsevier Science [More Details].

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

An Approach to Probabilistic Symmetry Reduction
Power,C. Miller,A. Proceedings of the Automated Reasoning Workshop 2010 (ARW'10) pp 32-33 [More Details].

An Introduction to Pervasive Automata
Calder,M. Gray,P. Miller,A. Unsworth,C. Proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010), October 2010 Springer [More Details].

Assume-Guarantee Verification for Probabilistic Systems
Kwiatkowska,M. Norman,G. Parker,D. Qu,H. Proc. 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10) [More Details].

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

Cold collisions of alkali-metal atoms and chromium atoms
Jeung,G-H. Hagebaum-Reignier,D. Journal of Physics B Vol. 43 pp 235208 [More Details].

Cold collisions of alkali-metal atoms and chromium atoms
Jeung,G-H. Hagebaum-Reignier,D. Jamieson,M.J. Journal of Physics B Vol 43 pp 235208 [More Details].

Comment on scattering length for fermionic alkali atoms
Ouerdane,H. Jamieson,M.J. European Physical Journal D pp In press [More Details].

Dependence of the scattering length for hydrogen atoms on effective mass
Jamieson,M.J. Cheung,A.S.-C. Ouerdane,H. European Physical Journal D 56 pp 181 [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].

Keeping partners together: Algorithmic results for the Hospitals / Residents problem with couples
McDermid,E.J. Manlove,D.F. Journal of Combinatorial Optimization, volume 19, number 3 pp 279-303 Springer [More Details].

Mapping Affymetrix microarray probes to the rat genome via a persistent index
Fairley,S. McClure,J.D. Hanlon,N. Irving,R.W. Dominiczak,A.F. Hunt,E. Journal of Knowledge Discovery in Bioinformatics volume 1 pp 48-65 [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].

Matrix element sums evaluated via differential equations in calculations of atomic and molecular properties
Jamieson,M.J. Proceedings of the Dalgarno Celebratory Symposium pp Chapter 4 World Scientific [More Details].

Modelling and and Analysis of Biochemical Signalling Pathway Crosstalk.
Calder,M. Donaldson,R. [More Details].

Modelling Multi-agent systems
Kirwan,R. Miller,A. Proceedings of the Automated Reasoning Workshop 2010 (ARW'10) pp 18-19 [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].

Modular Session Types for Distributed Object-Oriented Programming
Gay,S.J. Vasconcelos,V.T. Ravara,A. Gesbert,N. Caldeira,A.Z. POPL'10, 37th ACM symposium on Principles of programming languages, Madrid pp 299-312 ACM [More Details].

Popular matchings in the Marriage and Roommates problems
Biro,P. Irving,R.W. Manlove,D.F. Proceedings of CIAC 2010: the 7th International Conference on Algorithms and Complexity, Lecture Notes in Computer Science Springer [More Details].

Popular Matchings in the Weighted Capacitated House Allocation Problem
Sng,C.T.S. Manlove,D.F. Journal of Discrete Algorithms, volume 8 pp 102-116 Elsevier Science [More Details].

Practical Applications of Probabilistic Model Checking to Communication Protocols
Duflot,M. Kwiatkowska,M. Norman,G. Parker,D. Peyronnet,S. Picaronny,C. Sproston,J. S. Gnesi and T. Margaria (editors) FMICS Handbook on Industrial Critical Systems, IEEE Computer Society Press [More Details].

Probabilistic Model Checking for Systems Biology
Kwiatkowska,M. Norman,G. Parker,D. Symbolic Systems Biology [More Details].

Process Algebra with Hooks for Models of Pattern Formation
Degasperi,A. Calder,M. To appear in Proceedings of CS2Bio Elsevier Science [More Details].

Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
Calder,M. Degasperi,A. Proceedings of CS2BIO 2010 Elsevier Science [More Details].

Size versus stability in the Marriage problem
Biro,P. Manlove,D.F. Mittal,S. Theoretical Computer Science, volume 411 pp 1828-1841 Elsevier Science [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].

The College Admissions problem with lower and common quotas
Biro,P. Fleiner,T. Irving,R.W. Manlove,D.F. Theoretical Computer Science volume 411 pp 3136-3153 [More Details].

Triangle Packing with Constraint Programming
Prosser,P. 9th International Workshop on Constraint Modelling and Reformulation (ModRef 2010) pp 1-15 [More Details].

Understanding Signalling Networks as Collections of Signal Transduction Pathways
Donaldson,R. Talcott,C. Knapp,M. Calder,M. ACM [More Details].

Verification of a Symmetry Detection Technique using PVS
Ripon,S. Miller,A. Proceedings of the 10th International Conference on Automated Verification of Critical Systems (AVOCS'10) [More Details].

2009

A Semantic Embedding of Promela-Lite in PVS
Ripon,S. Miller,A. Donaldson,D. Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVoCS'09) [More Details].

A study of exchange interactions in alkali molecular ion dimers with application to charge transfer in cold Cs
Jamieson,M.J. Dalgarno,A. Aymar,M. Tharamel,J. Journal of Physics B: Atomic, Molecular and Optical Physics 42 pp 095203 [More Details].

A Theory of Contracs for Web Services
Castagna,G. Gesbert,N. Padovani,L. ACM Transactions on Programming Languages and Systems, Vol. 31, No 5. pp 19:1-19:61 ACM Press [More Details].

An inductive technique for parameterised model checking of degenerative distributed randomised protocols
Graham,D. Calder,M. Miller,A. ENTCS, volume 250(1) pp 87-103 Electronic Notes in Theoretical Computer Science [More Details].

Dynamic interfaces
Vasconcelos,V.T. Gay,S.J. Ravara,A. Gesbert,N. Caldeira,A.Z. FOOL'09, international workshop on foundations of object-oriented languages pp 12 [More Details].

Energy relaxation in collisions of hydrogen and deuterium with oxygen atoms
Zhang,P. Kharchenko,V. Dalgarno,A. Jamieson,M.J. Journal of Geophysical Research - Space Physics 114 pp A07101 [More Details].

Finding large stable matchings
Irving,R.W. Manlove,D.F. ACM Journal of Experimental Algorithmics, vol 14, section 1, article no. 2 pp 1-30 ACM [More Details].

Formal methods for biochemical signalling pathways
Calder,M. Gilmore,S. Hillston,J. Vyshemirsky,V. Formal Methods: State of the Art and New Directions Springer [More Details].

Language-level Symmetry Reduction for Probabilistic Model Checking
Donaldson,A.F. Miller,A. Parker,D. Proceedings of the 6th International Conference on Quantitative Evaluation of Systems (QEST'09) pp 289-298 IEEE Computer Society Press [More Details].

Maximum weight cycle packing in directed graphs, with application to kidney exchange programs
Biro,P. Manlove,D.F. Rizzi,R. Discrete Mathematics, Algorithms and Applications, volume 1, number 4 pp 499-517 World Scientific [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].

On the constructive orbit problem
Donaldson,A. Miller,A. Annals of Mathematics and Artificial Intelligence pp 1-102 Springer [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].

Popular matchings: structure and algorithms
McDermid,E. Irving,R.W. Proceedings of COCOON 2009, 15th Annual International Computing and Combinatorics Conference, Niagara Falls USA, July 2009, Lecture Notes in Computer Science vol. 5609 pp 506-515 Springer [More Details].

Preface to Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems
Miller,A. Calder,M. Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS'08). Electronic Notes in Computer Science vol 250(2) pp 1-2 Elsevier Science [More Details].

Process algebra modelling styles for biomolecular processes
Calder,M. Hillston,J. Transactions on Computational Systems Biology XI, LNBI 5750 pp 1-25 Springer Verlag [More Details].

Semantic Embedding of Promela-lite in PVS
Ripon,S. Miller,A. Proceedings of the 16th Workshop on Automated reasoning [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].

Size versus stability in the Marriage problem
Biro,P. Manlove,D.F. Mittal,S. Proceedings of WAOA 2008: the 6th Workshop on Approximation and Online Algorithms, volume 5426 of Lecture Notes in Computer Science pp 15-28 Springer [More Details].

Stable Marriage with Ties and Bounded Length Preference Lists
Irving,R.W. Manlove,D.F. O'Malley,G. Journal of Discrete Algorithms, volume 7 pp 213-219 Elsevier Science [More Details].

S-wave and p-wave scattering in a cold gas of Na and Rb atoms
Ouerdane,H. Jamieson,M.J. European Physical Journal D 53 pp 27 [More Details].

Symmetry Reduction of Partially Symmetric Systems
Power,C. Miller,A. Proceedings of the 16th Workshop on Automated Reasoning [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].

Tightly coupled verification of pervasive systems
Calder,M. Gray,P.D. Unsworth,C. Proceedings of Third International Workshop on Formal Methods in Interactive Systems (FMIS 2009) [More Details].

Towards the Verification of Pervasive Systems
Arapinis,M. Calder,M. Denis,L. Fisher,M. Gray,P. Konur,S. Miller,A. Ritter,E. Ryan,M. Schewe,S. Unsworth,C. Yasmin,R. Proceedings of Third International Workshop on Formal Methods in Interactive Systems (FMIS 2009). Electronic Communications of the EASST. [More Details].

Towards Verifying Correctness of Wireless Sensor Network Applications using Insense and Spin
Sharma,O. Lewis,J. Miller,A. Dearle,A. Balasubramaniam,D. Morrison,R. Sventek,J. Proceedings of the 16th Spin workshop (Spin'09), Lecture Notes in Computing Science 5758 pp 223--240 Springer [More Details].

Vertex and edge covers with clustering properties: complexity and algorithms
Fernau,H. Manlove,D.F. Journal of Discrete Algorithms, volume 7, number 2 pp 149-167 Elsevier Science [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 Hardware Relaxation Paradigm for Solving NP-Hard Problems
Cockshott,W.P. Koltes,A. O'Donnell,J.T. Prosser,P. Vanderbauwhede,W. Visions of Computer Science, BCS International Academic Research Conference pp 1-12 [More Details].

A Theory of Contracs for Web Services
Castagna,G. Gesbert,N. Padovani,L. POPL'08, 35th ACM symposium on Principles of programming languages, San Francisco pp 261-272 ACM [More Details].

An algorithm for a super-stable roommates problem
Fleiner,T. Irving,R.W. Manlove,D.F. Proceedings of Match-UP: Matching Under Preferences - Algorithms and Complexity pp 126-132 [More Details].

An automatic abstraction technique for verifying featured, parameterised systems
Calder,M. Miller,A. Theoretical Computer Science, Volume 404 pp 235-255 Elsevier Science [More Details].

Approximation algorithms for hard variants of the stable marriage and hospitals/residents problems
Irving,R.W. Manlove,D.F. Journal of Combinatorial Optimization, volume 16, number 3 pp 279-292 Springer [More Details].

Automatic Symmetry Detection for Promela
Donaldson,A.F. Miller,A. Journal of Automated Reasoning, Volume 41, Issue 3-4 pp 251--293 Springer [More Details].

Bounded Polymorphism in Session Types
Gay,S.J. Mathematical Structures in Computer Science Cambridge University Press [More Details].

Computational Methods for Systems Biology
Calder,M. Theoretical Computer Science, Volume 408/1 Elsevier Science [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].

Hospitals / Residents Problem
Manlove,D.F. Encyclopedia of Algorithms (entry number 180) pp 390-394 Springer [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].

Matrix element sums evaluated via differential equations in calculations of atomic and molecular properties
Jamieson,M.J. Dalgarno Celebratory Symposium, Harvard University, Cambridge MA [More Details].

Model Checking Medium Access Control for Sensor Networks
Ballarini,P. Miller,A. IEEE Proceedings of ISOLA'06 Leveraging Applications of Formal methods pp 255-262 IEEE Computer Society Press [More Details].

Optimal Stable Marriage
Irving,R.W. Encyclopedia of Algorithms Springer [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].

Prism2Promela
Power,C. Miller,A. Proceedings of Quantitative Evaluation of Systems (QEST 2008) pp 79--80 IEEE [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].

QMC: a model checker for quantum systems
Gay,S.J. Papanikolaou,N. Nagarajan,R. Proceedings of the 20th International Conference on Computer Aided Verification (CAV), Springer LNCS 5123 DOI: 10.1007/978-3-540-70545-1_51 pp 543-547 Springer [More Details].

Session Types as Generic Process Types
Gay,S.J. Gesbert,N. Ravara,A. First Workshop on Programming language approaches to concurrency and communication-centric software (PLACES'08), Oslo pp 16-21 [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].

Some investigations concerning the CTMC and the ODE model derived from Bio-PEPA
Ciochetta,F. Degasperi,A. Hillston,J. Calder,M. Proceedings of FBTC 2008, ENTCS volume 229, issue 1 Elsevier Science [More Details].

Stable Marriage
Irving,R.W. Encyclopedia of Algorithms Springer [More Details].

Stable matching problems with exchange restrictions
Irving,R.W. Journal of Combinatorial Optimization vol. 16 pp 344-360 Springer [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].

Student-project allocation with preferences over projects
Manlove,D.F. O'Malley,G. Journal of Discrete Algorithms, volume 6 pp 553-560 Elsevier Science [More Details].

The "Mental Map" versus "Static Aesthetic" compromise in dynamic graphs
Saffrey,P. Purchase,H.C. Proceedings of the 9th Conference on Australasian User Interface, Wollongong, Australia pp 85-93 Australian Computer Society [More Details].

The Stable Marriage Problem with Master Preference Lists
Irving,R.W. Manlove,D.F. Scott,S. Discrete Applied Mathematics, volume 156 pp 2959-2977 Elsevier Science [More Details].

The Stable Roommates problem with Globally-Ranked Pairs
Abraham,D.J. Levavi,A. Manlove,D.F. O'Malley,G. Internet Mathematics, volume 5, number 4 pp 493-515 [More Details].

The Ultrametric Constraint and its Application to Phylogenetics
Moore,N.C.A. Prosser,P. Journal of Artificial Intelligence Research, Volume 32 pp 901-938 AAAI Press [More Details].

2007

A Constraint Programming Approach to the Hospitals / Residents Problem
Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. Proceedings of CP-AI-OR '07: the Fourth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, volume 4510 of Lecture Notes in Computer Science pp 155-170 Springer [More Details].

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 template-based approach for the generation of abstractable and reducible models of featured networks
Miller,A. Calder,M. Donaldson,A.F. Computer Networks volume 51(2) pp 439-455 Elsevier Science [More Details].

A Theory of Contracts for Web Services
Castagna,G. Gesbert,N. Padovani,L. 5th ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X 2007) pp 37-48 [More Details].

An 8/5 approximation algorithm for a hard variant of stable marriage
Irving,R.W. Manlove,D.F. Proceedings of COCOON 2007: the 13th Annual International Computing and Combinatorics Conference, volume 4598 of Lecture Notes in Computer Science pp 548-558 Springer [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].

Computational Methods in Systems Biology
Calder,M. Gilmore,S. Lecture Notes in Bioinformatics, volume 4695 Springer [More Details].

Efficient algorithms for generalised stable marriage and roommates problems
Fleiner,T. Irving,R.W. Manlove,D.F. Theoretical Computer Science Volume 381 pp 162-176 Elsevier Science [More Details].

GRIP: Generic Representatives in PRISM
Donaldson,A.F. Miller,A. Parker,D. Proceedings of the fourth International Conference on the Quantitative Evaluation of Systems (QEST'07) pp 115-116 IEEE Computer Society Press [More Details].

Parallelism through Digital Circuit Design
O'Donnell,J.T. [More Details].

Popular Matchings
Abraham,D.J. Irving,R.W. Kavitha,T. Mehlhorn,K. SIAM Journal on Computing, Volume 37 pp 1030 - 1045 Society for Industrial and Applied Mathematics [More Details].

Popular matchings in the weighted capacitated house allocation problem
Sng,C.T.S. Manlove,D.F. Proceedings of ACiD 2007: the 3rd Algorithms and Complexity in Durham workshop, volume 9 of Texts in Algorithmics, College Publications pp 129-140 [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].

S-wave scattering lengths and effective ranges for collisions of ground state Be atoms
Jamieson,M.J. Cheung,A.S.C. Ouerdane,H. Jeung,G.H. Geum,N. Journal of Physics B, Volume 40 pp 3497-3504 [More Details].

Symmetry Reduction Methods for Model Checking
Miller,A. Donaldson,A. Proceedings of the 14th workshop on Automated Reasoning [More Details].

Symmetry reduction Techniques for Explicit-state model checking
Donaldson,A.F. Miller,A. Proceedings of the first International Symmetry Conference. pp 41-45 [More Details].

The cycle roommates problem: a hard case of kidney exchange
Irving,R.W. Information Processing Letters vol. 103 pp 1-4 Elsevier Science [More Details].

The stable fixtures problem - a many-to-many extension of stable roommates
Irving,R.W. Scott,S. Discrete Applied Mathematics vol. 155 pp 2118-2129 Elsevier Science [More Details].

The Stable Roommates problem with Globally-Ranked Pairs
Abraham,D.J. Levavi,A. Manlove,D.F. O'Malley,G. Proceedings of WINE 2007: 3rd International Workshop On Internet and Network Economics, volume 4858 of Lecture Notes in Computer Science pp 431-444 Springer [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].

Two Algorithms for the Student-Project Allocation Problem
Abraham,D.J. Irving,R.W. Manlove,D.F. Journal of Discrete Algorithms vol. 5 pp 73-90 Elsevier Science [More Details].

2006

"Almost Stable" Matchings in the Roommates Problem
Abraham,D.J.
Biro,P. Manlove,D.F. In Proceedings of WAOA 2005: the 3rd Workshop on Approximation and Online Algorithms, volume 3879 of Lecture Notes in Computer Science pp 1-14 Springer Verlag [More Details].

(Towards) Model Checking Medium Access Control for Sensor Networks
Ballarini,P. Miller,A. Proceedings of the second international symposium on leveraging applications of formal methods pp 256-262 [More Details].

A case study of mutual scheduling-routing reformulation
Beck,J.C.B. Prosser,P. Selensky,E. Journal of Scheduling (volume 9) pp 469-491 Springer [More Details].

A Computational Group Theoretic Symmetry Reduction Package for the SPIN Model Checker
Donaldson,A.F. Miller,A. Proceedings of the 11th International Conference on Algebraic Methodology and Software Technology, AMAST'06. Lecture Notes in Computer Science vol. 4019. pp 374-380 Springer [More Details].

A Connectivity Constraint using Bridges
Prosser,P. Unsworth,C. 17th European Conference on Artificial Intelligence (ECAI 2006) [More Details].

Analysis of Signalling Pathways using Continuous Time Markov Chains
Calder,M. Vyshemirsky,V. Gilbert,D. Orton,R. Trans.on Computat. Syst. Biol. VI, volume 4220 pp 44-67 Springer Verlag [More Details].

Discrete Mathematics Using a Computer, Second Edition
O'Donnell,J.T. Hall,C.V. Page,R. Springer pp xx + 420 [More Details].

Elastic scattering of hydrogen and deuterium atoms by oxygen atoms
Jamieson,M.J. Dalgarno,A. Wei,L. Journal of Geophysical Research - Space Physics [More Details].

Evaluating a Formal Methods Technique via Student Assessed Exercises
Donaldson,A.F. Miller,A. Proceedings of the Workshop on Formal Methods in the Teaching Lab (FM-Ed 2006) pp 63-74 [More Details].

Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Donaldson,A.F. Miller,A. Proceedings of the 14th International Symposium on Formal Methods (FM'06), volume 4085 of Lecture Notes in Computer Science. pp 541-556 Springer [More Details].

Extending Symmetry Reduction Techniques to a realistic model of Computation
Donaldson,A.F. Miller,A. Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS'06) pp 63--76 [More Details].

Feature Interaction Detection by Pairwise Analysis of LTL Properties--a case study
Calder,M. Miller,A. Formal Methods in System Design, Volume 28(3), May 2006 pp 213--261 Springer [More Details].

Interconnect and Geometric Layout in Hydra (Abstract)
O'Donnell,J.T. Designing Correct Circuits (DCC'06), ETAPS, Vienna, March 2006. [More Details].

Maintaining Singleton Arc Consistency
Lecoutre,C. Prosser,P. Proceedings of the 3rd International Workshop on Constraint Propagation And Implementation (CPAI'2006) pp 47-61 [More Details].

Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA
Calder,M. Gilmore,S. Hillston,J. Trans. on Computat. Syst. Biol. VII., volume 4230 pp 1-23 Springer Verlag [More Details].

Overview of Hydra: A concurrent language for synchronous digital circuit design
O'Donnell,J.T. International Journal of Information, Volume 9, Number 2, March 2006. pp 249-264 [More Details].

Popular Matchings in the Capacitated House Allocation Problem
Manlove,D.F. Sng,C.T.S. Proceedings of ESA 2006: the 14th Annual European Symposium on Algorithms, volume 4168 of Lecture Notes in Computer Science pp 492-503 Springer Verlag [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].

Quantum programming languages: survey and bibliography
Gay,S.J. Mathematical Structures in Computer Science 16(4) DOI:10.1017/S0960129506005378 pp 581-600 Cambridge University Press [More Details].

Raman association of H2 in the early universe
van der Loo,M.P.J. Groenenboom,G.C. Jamieson,M.J. Dalgarno,A. Transactions of the Faraday Society [More Details].

Raman association of H2 in the early universe
van der Loo,M.P.J. Groenenboom,G.C. Jamieson,M.J. Dalgarno,A. Faraday Discussion 133: Chemical Evolution of the Universe, Abbaye de St Jacut, St Jacut de la Mere, Brittany, France. [More Details].

Rank-maximal matchings
Irving,R.W. Michail,D. Mehlhorn,K. Paluch,K. Telikepalli,K. ACM Transactions on Algorithms vol. 2 no. 4 pp 491-499 ACM [More Details].

Rooted Tree and Spanning Tree Constraints
Unsworth,C. Prosser,P. 17th ECAI Workshop on Modelling and Solving Problems with Constraints [More Details].

Stable Marriage with Ties and Bounded Length Preference Lists
Irving,R.W. Manlove,D.F. O'Malley,G. Proceedings of ACiD 2006: the 2nd Algorithms and Complexity in Durham workshop, volume 7 of Texts in Algorithmics, College Publications pp 95-106 [More Details].

Stronger computational modelling of signalling pathways using both continuous and discrete-state methods
Calder,M. Duguid,A. Gilmore,S. Hillston,J. Computational Methods for Systems Biology, LNBI Vol. 4210 pp 63-78 Springer Verlag [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].

Supertree construction with constraint programming: recent progress and new challenges
Prosser,P. WCB06 - Workshop on Constraint Based Methods for Bioinformatics pp 75-82 [More Details].

Symmetry in temporal logic model checking
Miller,A. Donaldson,A.F. Calder,M. ACM Computing Surveys, volume 38, issue 3 ACM [More Details].

Symmetry reduction for probabilistic model checking
Donaldson,A.F. Miller,A. Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06). Lecture Notes in Computing Science volume 4218. pp 9-23 Springer [More Details].

The 1D - 3P transitions in atomic oxygen induced by impact with atomic hydrogen
Krems,R.V. Jamieson,M.J. Dalgarno,A. Astrophysical Journal [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 use of an Electronic Voting System in a Formal Methods Course
Miller,A. Cutts,Q. Proceedings of the Workshop on Formal Methods in the Teaching Lab (FM-Ed 2006) pp 3-8 [More Details].

Type checking a multithreaded functional language with session types
Vasconcelos,V.T. Gay,S.J. Theoretical Computer Science 368(1-2) DOI:10.1016/j.tcs.2006.06.028 pp 64-87 Elsevier Science [More Details].

Types and typechecking for Communicating Quantum Processes
Gay,S.J. Nagarajan,R. Mathematical Structures in Computer Science 16(3) DOI:10.1017/S0960129506005263 pp 375-406 Cambridge University Press [More Details].

Uncertain Agent Verification through Probabilistic Model-Checking
Ballarini,P. Fisher,M.D. Wooldrige,M. to appear on LNAI hot topic volume Springer [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].

Vertex and Edge Covers with Clustering Properties: Complexity and Algorithms
Fernau,H. Manlove,D.F. Proceedings of ACiD 2006: the 2nd Algorithms and Complexity in Durham workshop, volume 7 of Texts in Algorithmics, College Publications pp 69-84 [More Details].

What do scaffold proteins really do?
Calder,M. Hillston,J. Proceedings of PASTA 2006 (Fifth Workshop on Process Algebra and Stochastically Timed Activities) Imperial College Press [More Details].

2005

A Constraint model and a reduction operator for the minimising open stacks problem
Miller,A. Prosser,P. Unsworth,C. Proceedings of the constraint modelling challenge, in conjuction with the fifth workshop on modelling and solving problems with constraints held at IJCAI'05 pp 44-50 [More Details].

A Constraint Programming Approach to the Hospitals / Residents Problem
Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. In Proceedings of the Fourth Workshop on Modelling and Reformulating Constraint Satisfaction Problems, held at the 11th International Conference on Principles and Practice of Constraint Programming (CP 2005) pp 28-43 [More Details].

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 generic approach for the automatic verification of featured, parameterised systems
Miller,A. Calder,M. In proceedings of Eighth International Conference on Feature Interactions in Telecommunications and Software Systems (ICFI '05) pp 217--235 IOS Press [More Details].

A Specialised Binary Constraint for the Stable Marriage Problem
Unsworth,C. Prosser,P. Symposium on Abstraction, Reformulation and Approximation (SARA 2005) LNCS, Springer [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 n-ary Constraint for the Stable Marriage Problem
Unsworth,C. Prosser,P. The Fifth Workshop on Modelling and Solving Problems with Constraints, held at the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) [More Details].

Analysis of Signalling Pathways using the Prism Model Checker
Calder,M. Vyshemirsky,V. Gilbert,D. Orton,R. Proceedings of Third International CMSB 2005 (Computational Methods in Systems Biology). pp 179-190 University of Edinburgh [More Details].

Automatic Symmetry Detection for Model Checking Using Computational Group Theory
Donaldson,A.F. Miller,A. Proceedings of the 13th International Symposium on Formal Methods Europe (FME 2005). Lecture Notes in Computing Science volume 3582. pp 481--496 Springer [More Details].

Automatic Symmetry Detection Techniques for Model Checking
Donaldson,A.F. Proceedings of Postgraduate Research Conference in Electronics, Photonics, Communications & Networks, and Computing Science (PREP'05), Lancaster pp 138-139 [More Details].

Automatically deriving ODEs from process algebra models of signalling pathways
Calder,M. Gilmore,S. Hillston,J. Proceedings of Third International CMSB 2005 (Computational Methods in Systems Biology) pp 204-215 University of Edinburgh [More Details].

Communicating Quantum Processes
Gay,S.J. Nagarajan,R. Proceedings of the 32nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages DOI: 10.1145/1040305.1040318 pp 145-157 ACM Press [More Details].

Computational Modelling of the Receptor Tyrosine Kinase Activated MAPK Pathway
Orton,R.J. Sturm,O. Vyshemirsky,V. Calder,M. Gilbert,D.R. Kolch,W. Biochemical Journal, Volume 392 pp 249--261 [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].

Etch: Enhanced Typechecking for Promela
Donaldson,A.F. Gay,S.J. Proceedings of the SPIN Workshop; LNCS 3639 DOI: 10.1007/11537328_21 pp 266-271 Springer [More Details].

Exploring the use of constraint programming for enforcing connectivity during graph generation
Brown,K.N. Prosser,P. Beck,J.C. Wu,C.W. The Fifth Workshop on Modelling and Solving Problems with Constraints, held at the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) [More Details].

Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis
Donaldson,A.F. Miller,A. Calder,M. Electronic Notes in Theoretical Computer Science, volume 128/6 pp 161-177 Elsevier Science [More Details].

Improved lower bounds for solving the minimal open stacks problem
Miller,A. Proceedings of the constraint modelling challenge, in conjuction with the fifth workshop on modelling and solving problems with constraints held at IJCAI'05, Edinburgh UK, July 2005. pp 36--43 [More Details].

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

Modelling and solving the stable marriage problem using constraint programming
Manlove,D.F. O'Malley,G. Proceedings of the Fifth Workshop on Modelling and Solving Problems with Constraints, held at the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) pp 10-17 [More Details].

Motion space reduction in a haptic model of violin and viola bowing
Baillie,S. Brewster,S. Hall,C.V. O'Donnell,J.T. First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (WorldHaptics '05) pp 525-526 IEEE Computer Society Press [More Details].

Motion space reduction in a haptic model of violing and viola bowing
Baillie,S. Brewster,S. Hall,C. O'Donnell,J.T. First Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems pp 525-526 IEEE Computer Society Press [More Details].

On the approximability of the maximum induced matching problem
Duckworth,W. Manlove,D.F. Zito,M. Journal of Discrete Algorithms, volume 3, no. 1 pp 79-91 Elsevier Science [More Details].

Popular matchings
Abraham,D.J. Irving,R.W. Mehlhorn,K. Telikepalli,K. Proceedings of the 16th Annual ACM/SIAM Symposium on Discrete Algorithms, Vancouver, January 2005 pp 424-432 ACM [More Details].

Quantum Programming Languages: Survey and Bibliography
Gay,S.J. Bulletin of the European Association for Theoretical Computer Science pp 176-196 [More Details].

Shifts in the A2 Sigma+ - X2 Pi band systems of 16OH, 18OH, 16OD and 18OD
Jamieson,M.J. Cheung,A.S.-C. Journal of Physics B: Atomic, Molecular and Optical Physics, Vol 38 pp 939-947 [More Details].

Student-project allocation with preferences over projects
Manlove,D.F. O'Malley,G. In Proceedings of ACID 2005: the 1st Algorithms and Complexity in Durham workshop, volume 4 of Texts in Algorithmics, KCL Publications pp 69-80 [More Details].

Subtyping for session types in the pi calculus
Gay,S.J. Hole,M.J. Acta Informatica 42(2/3) DOI: 10.1007/s00236-005-0177-z pp 191-225 Springer [More Details].

Supporting tasks with adaptive groups in data parallel programming
O'Donnell,J.T. International Journal of Computational Science and Engineering (IJCSE), Vol. 1, Nos. 2/3/4, Inderscience Publishers. pp 86-98 [More Details].

Symmetry Reduction for Probabilistic Systems
Donaldson,A.F. Miller,A. Proceedings of the 12th Worskhop on Automated Reasoning, Edinburgh, July 2005. pp 17--18 [More Details].

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

The Exchange-Stable Marriage Problem
Cechlarova,K. Manlove,D.F. Discrete Applied Mathematics, volume 152 pp 109-122 Elsevier Science [More Details].

The Kidney Exchange Game
Cechlarova,K. Fleiner,T. Manlove,D. IM Preprint series A, no. 5/2005, PJ Šafárik University, Faculty of Science, Institute of Mathematics. In Proceedings of SOR ’05: the 8th International Symposium on Operations Research in Slovenia [More Details].

When kinases meet mathematics: the systems biology of MAPK signalling
Kolch,W. Calder,M. Gilbert,D. FEBS Lett 579 pp 1891-1895 [More Details].

2004

A note on the calculation of the effective range
Ouerdane,H.
Jamieson,M.J. Journal of Physics B: Atomic, Molecular and Optical Physics, 37 pp 3765-3769 [More Details].

Combined Super-/Substring and Super-/Subsequence Problems
Middendorf,M. Manlove,D.F. Theoretical Computer Science, volume 320 pp 247-267 Elsevier Science [More Details].

Comparing the use of symmetry in constraint processing and model checking
Donaldson,A. Miller,A. Calder,M. Proceedings of the the 4th International Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'04) pp 18-25 [More Details].

Derivation of a Logarithmic Time Carry Lookahead Addition Circuit
O'Donnell,J.T. Ruenger,G. Journal of Functional Programming, Volume 14, Number 6. pp 697-713 Cambridge University Press [More Details].

Detecting feature interactions: how many components do we need?
Calder,M. Miller,A. Objects, Agents and Features. Lecture Notes in Computing Science. Volume 2975 pp 45-66 Springer Verlag [More Details].

DSL Implementation in MetaOCaml, Template Haskell, and C++
Czarnecki,K. O'Donnell,J.T. Striegnitz,J. Taha,W. LNCS 3016 Springer Verlag [More Details].

Embedding a Hardware Description Language in Template Haskell
O'Donnell,J.T. LNCS 3016 pp 143-164 Springer Verlag [More Details].

Failing First: An Update
Beck,J.C. Prosser,P. Wallace,R.J. 16th European Conference on Artificial Intelligence [More Details].

Formalisation of Geographical Database Specifications
Gesbert,N. ADBIS'04, Eighth East-European Conference on Advances in Databases and Information Systems, Budapest [More Details].

Integrating Formal Methods with Digital Circuit Design in Hydra (Abstract)
O'Donnell,J.T. ETAPS 2004, Designing Correct Circuits [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. Proceedings of bio-CONCUR 2004, 2nd workshop on Concurrent Models in Molecular Biology, Electronic Notes in Theoretical Computer Science [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].

Optimising Communications Structure for Model Checking
Saffrey,P. Calder,M. Proceedings of FASE 2004 (International Conference on Fundamental Approaches to Software Engineering), Barcelona. Lecture Notes in Computer Science, volume 2984. pp 310-324 Springer Verlag [More Details].

Pareto optimality in house allocation problems
Abraham,D.J. Cechlarova,K. Manlove,D.F. Mehlhorn,K. Proceedings of ISAAC 2004: The 15th Annual International Symposium on Algorithms and Computation, volume 3341 of Lecture Notes in Computer Science pp 3-15 Springer Verlag [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].

Rank-maximal matchings
Irving,R.W. Kavitha,T. Mehlhorn,K. Michail,D. Paluch,K. Proceedings of 15th Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, January 2004. Society for Industrial and Applied Mathematics [More Details].

Rayleigh scattering cross sections of O2 at wavelengths longer than 180 nm
Simbotin,I. Jamieson,M.J. Dalgarno,A. Journal of Geophysical Research-Atmospheres, 109 pp D13302 [More Details].

Scattering parameters for cold Li-Rb and Na-Rb collisions derived from variable phase theory
Ouerdane,H. Jamieson,M.J. Phys. Rev. A, 70 pp 022712-1-022712-7 [More Details].

Session Types for Functional Multithreading
Vasconcelos,V.T. Ravara,A. Gay,S.J. Proceedings of the International Conference on Concurrency Theory: CONCUR 2004. Volume 3170 of LNCS Springer [More Details].

Solving the Rehearsal Problem with Planning and with Model Checking
Gregory,P. Miller,A. Prosser,P. 16th European Conference on Artificial Intelligence (ECAI 2004), workshop W14: Modelling and Solving Problems with Constraints pp 157--171 [More Details].

SPIN-to-GRAPE: a tool for analysing symmetry in Promela models
Donaldson,A. Miller,A. Calder,M. Electronic notes in Theoretical computer science 139/1 pp 3-23 Elsevier Science [More Details].

Stability in labour market games
Cechlarova,K. Irving,R.W. Manlove,D.F. ERCIM News, volume 57 pp 27-28 [More Details].

The Formal, Tool Supported Development of Real Time Systems
Sinnott,R.O. Proceedings of International Conference on Software Engineering and Formal Methods, Beijing, China [More Details].

Trying Again to Fail-First
Beck,J.C. Prosser,P. Wallace,R.J. CSCLP 2004: Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming, EPFL, Lausanne, Switzerland (LNAI 3419) pp 41-55 LNCS, Springer [More Details].

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

Variable Ordering Heuristics Show Promise
Beck,J.C. Prosser,P. Wallace,R.J. Principles and Practice of Constraint Programming - CP2004, 10th International Conference, Toronto, LNCS 3258 pp 711-715 LNCS, Springer [More Details].

Verifying parameterised, featured networks by abstraction
Calder,M. Miller,A. Proceedings of the first International Symposium on Leveraging Applications of Formal Methods (ISOLA'04) pp 227--234 [More Details].

2003

A Design Space for Location-Sensitive Aids for Older Users
Goodman,J. Gray,P. HCI in Mobile Guides, workshop at MobileHCI 2003 pp 12-16 [More Details].

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

A Formal Model for the Specifications of Geographic Databases
Mustière,S. Gesbert,N. Sheeren,D. International Workshop on Semantic Processing of Spatial Data (GeoPro 2003) pp 152-159 [More Details].

A Programming Logic for Java Bytecode Programs
Quigley,C.L. To appear in Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science Springer Verlag [More Details].

A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables
Prosser,P. Selensky,E. Recent Advances in Conatraints. Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, LNAI 2627 pp 121- 131 LNCS, Springer [More Details].

Age-old Question(naire)s
Goodman,J. Syme,A. Eisma,R. Include 2003 Helen Hamlyn Research Centre [More Details].

AMBA-ARM7 Formal Verification Platform
Susanto,K.W. Melham,T.F. To appear at the 5th International Conference on Formal Engineering Methods 2003. pp 20 Springer Verlag [More Details].

An application of abstraction and induction techniques to degenerating systems of processes
Miller,A. Calder,M. Proceedings of the International Workshop on Model-Checking for Dependable Software-Intensive Systems (MCDSIS`03), supplement to the Proceedings of DSN-2003 pp W75 - W79 IEEE Computer Society Press [More Details].

Approximability results for stable marriage problems with ties
Halldorsson,M.M. Irving,R.W. Iwama,K. Manlove,D.F. Miyazaki,S. Morita,Y. Scott,S. Theoretical Computer Science, volume 306 pp 431-447 Elsevier Science [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].

Domesticating technology. In-home requirements gathering with frail older people
Dickinson,A. Goodman,J. Syme,A. Eisma,R. Tiwari,L. Mival,O. Newell,A. HCI International, Crete, June 2003 [More Details].

Elastic scattering of cold caesium and rubidium atoms
Jamieson,M.J. Sarbazi-Azad,H. Ouerdane,H. Jeung,G.H. Lee,Y.S. Lee,W.C. Journal of Physics B:Atomic, Molecular and Optical Physics, Vol 36 pp 1085-1097 Academic Press [More Details].

Feature Interaction: A Critical Review and Considered Forecast
Calder,M. Magill,E. Kolberg,M. Reiff-Marganiec,S. Computer Networks, Volume 41/1 pp 115-141 North-Holland [More Details].

Generalising Feature Interactions in Email
Calder,M. Miller,A. Feature Interactions in Telecommunications and Software Systems VII pp 187-205 IOS Press [More Details].

Hybrid Solutions to the Feature Interaction Problem
Calder,M. Kolberg,M. Magill,E. Marples,D. Reiff-Marganiec,S. Feature Interactions in Telecommunications and Software Systems VII pp 295-312 IOS Press [More Details].

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

Intensional and Extensional Semantics of Dataflow Programs
Gay,S.J. Nagarajan,R. Formal Aspects of Computing, Volume 15 DOI: 10.1007/s00165-003-0018-1 pp 299-318 Springer [More Details].

Multichannel study of spin-exchange and hyperfine induced frequency shift and line broadening in cold collisions of hydrogen atoms
Zygelman,B. Dalgarno,A. Jamieson,M.J. Stancil,P.C. Physical Review A Vol 67 pp 0427151-16 [More Details].

Mutual inspiration in the development of new technology for older people
Eisma,R. Dickinson,A. Goodman,J. Mival,O. Syme,A. Tiwari,L. Include 2003 Helen Hamlyn Research Centre [More Details].

Older Adults' Use of Computers: A Survey
Goodman,J. Syme,A. Eisma,R. HCI 2003, Bath, UK, Sep 2003 British HCI Group [More Details].

Scattering lengths for collisions of hydrogen and deuterium atoms
Chu,X. Jamieson,M.J. Dalgarno,A. Journal of Physics B: Atomic, Molecular and Optical Physics, Vol. 36 pp L415-L418 [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].

Strong stability in the hospitals/residents problem
Irving,R.W. Manlove,D.F. Scott,S. Proceedings of STACS 2003: The 20th Annual Symposium on Theoretical Aspects of Computer Science, volume 2607 of Lecture Notes in Computer Science pp 439-450 Springer Verlag [More Details].

Supertree Construction with Constraint Programming
Gent,I.P. Prosser,P. Smith,B.M. Wei,W. Principles and Practice of Constraint Programming pp 837-841 Springer [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. Proceedings of ISAAC 2003: The 14th Annual International Symposium on Algorithms and Computation, volume 2906 of Lecture Notes in Computer Science pp 474-484 Springer Verlag [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 binary search tree and suffix AVL tree
Irving,R.W. Love,L. Journal of Discrete Algorithms Volume 1 pp 387-408 Elsevier Science [More Details].

The variable phase method used to calculate and correct scattering lengths
Ouerdane,H. Jamieson,M.J. Vrinceanu,D. Cavagnero,M.J. Journal of Physics B: Atomic, Molecular and Optical Physics, Vol 36 pp 4055-4063 [More Details].

Towards understanding variable ordering heuristics for constraint satisfaction problems
Beck,J.C. Prosser,P. Wallace,R.J. Proceedings of the Fourteenth Irish Artificial Intelligence and Cognitive Science Conference (AICS03) pp 11 - 16 [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].

Using SPIN to Analyse the Tree Identification phase of the IEEE 1394 High Performance Serial Bus (FireWire) Protocol
Calder,M. Miller,A. Formal Aspects of Computing 14 (2003) 3 pp 247--266 Springer Verlag [More Details].

Variable phase method used to calculate and correct scattering lengths
Ouerdane,H. Jamieson,M.J. Vrinceanu,D. Cavagnero,M.J. 23'rd International Conference on Photonic, Electronic and Atomic Collisions, Stockholm University and Aula Magna, Stockholm, Sweden Academic Press [More Details].

Variable phase method used to calculate and correct scattering lengths
Ouerdane,H. Jamieson,M.J. Vrinceanu,D. Cavagnero,M.J. European Group for Atomic Spectroscopy, Brussels, 2003. [More Details].

Vehicle Routing and Job Shop Scheduling: What's the difference?
Beck,J.C. Prosser,P. Selensky,E. 13th International Conference on Automated Planning and Scheduling (ICAPS03) Morgan Kaufmann [More Details].

2002

A 0/1 encoding of the GACLex constraint for pairs of vectors
Gent,I.P.
Prosser,P. Smith,B.M. ECAI 2002 workshop W9: Modelling and Solving Problems with Constraints University of Glasgow [More Details].

A Modal Logic for Full LOTOS based on Symbolic Transition Systems
Calder,M. Maharaj,S. Shankland,C. The Computer Journal, Vol. 45, No. 1 pp 55-61 Oxford University Press [More Details].

A Student Advisory System: a configuration problem for constraint programming
McDonald,K. Prosser,P. ECAI 2002 Workshop W4 on Configuration [More Details].

A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables
Prosser,P. Selensky,E. ERCIM workshop on Constraint Solving and Constraint Logic Programming [More Details].

An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists
Gent,I.P. Prosser,P. Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002) 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].

Automatic verification of any number of concurrent, communicating processes
Calder,M. Miller,A. Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002) pp 227-230 IEEE [More Details].

Cold collisions of Rb and Cs atoms
Jamieson,M.J. Sarbazi-Azad,H. 18'th International Conference on Atomic Physics, MIT, Cambridge, MA, USA Academic Press [More Details].

Corrections to scattering data for cold collisions
Jamieson,M.J. Sarbazi-Azad,H. 18'th International Conference on Atomic Physics, MIT, Cambridge, MA, USA Academic Press [More Details].

Database indexing for large DNA and protein sequence collections
Hunt,E. Atkinson,M.P. Irving,R.W. The VLDB Journal 11:3 pp 256-271 Springer [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].

Fibonacci numbers and cotangent sequences
Jamieson,M.J. American Mathematical Monthly, Vol. 109 pp 655-657 [More Details].

Five ways to use induction and symmetry in the verification of networks of processes by model-checking
Calder,M. Miller,A. Proceedings of AvoCS 2002 (Automated Verification of Critical Systems), University of Birmingham School of Computer Science Technical Report CSR-02-6 pp 29-42 [More Details].

Formal Verification of Quantum Protocols
Nagarajan,R. Gay,S.J. Quantum Physics Archive Quantum Physics Archive [More Details].

Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problem
Beck,J.C. Prosser,P. Selensky,S. Proceedings of ICGT 2002, 1st International Conference on Graph Transformations pp 60-74 LNCS, Springer [More Details].

Hard Variants of Stable Marriage
Manlove,D.F. Irving,R.W. Iwama,K. Miyazaki,S. Morita,Y. Theoretical Computer Science, volume 276 pp 261-279 Elsevier Science [More Details].

On the Reformulation of Vehicle Routing Problems and Scheduling Problems
Beck,J.C. Prosser,P. Selensky,E. Proceedings of SARA 2002, Symposium on Abstraction, Reformulation and Approximation pp 282 - 289 LNCS, Springer [More Details].

Overview of Hydra: A concurrent language for synchronous digital circuit design
O'Donnell,J.T. Proc. 16th International Parallel & Distributed Processing Symposium pp abstract: 234 (CD: 9 pages) IEEE Computer Society Press [More Details].

SAT Encodings of the Stable Marriage Problem with Ties and Incomplete Lists
Gent,I.P. Prosser,P. SAT 2002 The Fifth International Symposium on the Theory and Application of Satisfiability Testing Academic Press [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].

The Stable Roommates Problem with Ties
Irving,R.W. Manlove,D.F. Journal of Algorithms, volume 43 pp 85-105 Academic Press [More Details].

The structure of stable marriage with indifference
Manlove,D.F. Discrete Applied Mathematics, volume 122 pp 167-181 Elsevier Science [More Details].

2001

` Proof for Optimization: Programming Logic Support for Java JIT Compilers' in Supplementary Proceedings of 2001 International Conference onTheorem Proving in Higher Order Logics
Quigley,C.L. University of Edinburgh, Division of Informatics, Informatics Research Report EDI-INF-RR-0046 University of Edinburgh [More Details].

A Constraint Programming Approach to the Stable Marriage Problem
Gent,I.P. Irving,R.W. Manlove,D.F. Prosser,P. Smith,B.M. Proceedings of CP 2001: The 7th International Conference on Principles and Practice of Constraint Programming, volume 2239 of Lecture Notes in Computer Science pp 225-239 Springer Verlag [More Details].

A Database Index to Large Biological Sequences
Hunt,E. Atkinson,M.P. Irving,R.W. Proceedings of the 27th Conference on Very Large Databases pp 139-148 Morgan Kaufmann [More Details].

A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL
Gay,S.J. Theorem Proving in Higher Order Logics - Proceedings of the 14th International Conference, TPHOLs 2001 (R.J.Boulton and P.B.Jackson, eds). Volume 2152 of Lecture Notes in Computer Science, Springer-Verlag. DOI: 10.1007/3-540-44755-5_16 pp 217-232 Springer [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].

A Symbolic Semantics and Bisimulation for Full LOTOS
Calder,M. Shankland,C. Proceedings of Forte 2001, 21st International Conference on Formal Techniques for Networked and Distributed Systems, Korea, 2001. M.Kim, B.Chin, S.Kang and D.Lee (Eds.) pp 184-200 Kluwer [More Details].

An Adequate Logic for Full LOTOS
Calder,M. Maharaj,S. Shankland,C. Proceedings of FME 2001, Lecture Notes in Computer Science, volume 2021 pp 384-395 Springer [More Details].

Correct Hardware Design and Verification Methods
Margaria,T. Melham,T.F. Correct Hardware Design and Verification Methods: 11th IFIP WG10.5 Advanced Research Working Conference, CHARME 2001: UK Springer Verlag [More Details].

Derivation of a carry lookahead addition circuit
O'Donnell,J.T. Ruenger,G. Proc. ACM SIGPLAN Haskell Workshop (HW2001), Electronic Notes in Theoretical Computer Science, Vol. 59, No. 2 Electronic Notes in Theoretical Computer Science [More Details].

Formally Analyzed Dynamic Synthesis of Hardware
Susanto,K.W. Melham,T.F. Journal of Supercomputing, vol 19, No 1 pp 7-22 [More Details].

Introduction of static load balancing in incremental parallel programming
Goodman,J. O'Donnell,J.T. Proceedings of Euro-Par 2001 Parallel Processing, Lecture Notes in Computer Science, pp. 535-539, vol. 2150 pp 535-539 Springer [More Details].

Mass-dependence of scattering lengths for hydrogen atoms
Jamieson,M.J. Zygelman,B. Dalgarno,A. Physical Review A, Vol. 64 pp 0327031-7 [More Details].

Practical Formal Verification in Microprocessor Design
Jones,R.B. O'Leary,J.W. Seger,C.J.H. Aagaard,M.D. Melham,T.F. IEEE Design & Test of Computers, vol 18, No 4 pp 16-25 IEEE [More Details].

Predicted predissociation linewidths in the Schumann-Runge bands of O2 compared recent high resolution measurements
Tong,G.S.-M. Cheung,A-S.C. Jamieson,M.J. Journal of Chemical Physics, Vol. 114 pp 7969-7975 [More Details].

Random Constraint Satisfaction: flaws and structures
Gent,I.P. MacIntyre,E. Prosser,P. Smith,B.M. Walsh,T. Journal of Constraints 6(4) pp 345-372 Kluwer [More Details].

Sorting Strings by Reversals and by Transpositions
Irving,R.W. Christie,D.A. SIAM Journal on Discrete Mathematics Volume No. 14 pp 193-206 Society for Industrial and Applied Mathematics [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].

The collective semantics in functional SPMD programming
O'Donnell,J.T. Proc. 12th International Workshop on Implementation of Functional Languages, LNCS 2011 pp 249-265 LNCS, Springer [More Details].

Theory and Practice of Enhancing a Legacy Software System
Calder,M. Magill,E. Reiff-Marganiec,S. Thayananthan,V. Systems Engineering for Business Process Change (volume 2), P.Henderson (ed.) Springer [More Details].

Using SPIN for Feature Interaction Analysis -- a Case Study
Calder,M. Miller,A. Proceedings of the 8th International SPIN Workshop (SPIN 2001), Toronto, Canada. Lecture Notes in Computer Science, vol 2057 pp 143-162 Springer [More Details].

Using SPIN to Analyse the FireWire Protocol - a Case Study
Calder,M. Miller,A. Proceedings of the International Workshop on Application of Formal Methods to IEEE 1394 Standard pp 9--13 University of Stirling [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 comparison of traditional and constraint-based heuristic methods on vehicle routing problems with side constraints
Kilby,P.J. Shaw,P.
Prosser,P. Journal of Constraints, Volume 5 No 4. pp 389-414 Kluwer [More Details].

A Methodology for Large-Scale Hardware Verification
Aagaard,M.D. Jones,R.B. O'Leary,J.W. Melham,T.F. Proceedings of 3rd Intl. Conference, FMCAD 2000, (Formal Methods in Computer-Aided Design). (Hunt, W.A. Jr and Johnson, S.D. Eds.). Lecture Notes in Computer Science, Volume No 1954 pp 263-282 Springer Verlag [More Details].

A Multi-cast Framework in Support of Scalable Monitoring Systems for Telecommunication Networks
Sventek,J.S. Guerraoui,R. Pollock,G. Thomas,M. Thompson,D. [More Details].

A Side-Effect-Free Hierarchical Radiosity Algorithm
O'Donnell,J.T. Rauber,T. Runger,G. Published in ACM Symposium on Applied Computing, Como, Italy. Association for Computing Machinery. pp 782-791 ACM [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].

Abstract Parallel Machines
Runger,G O'Donnell,J.T. Computers and Artificial Intelligence (now cont. as Computing and Informatics) pp 105-129 [More Details].

An Analysis of Errors in Interactive Proof Attempts
Aitken,S. Melham,T.F. Interacting with Computers, Vol 12, No. 6. pp 565-586 [More Details].

Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions
K Slind, R Boulton, Proceedings of 1st International Conference on Computational Logic, Lecture Notes in Artificial Intelligence. Volume No. 1861 pp 629-643 Springer [More Details].

Combined Super-/Substring and Super-/Subsequence Problems
Middendorf,M. Manlove,D.F. Technical Report no. 397 of the Institute for Applied Computer Science and Formal Description Methods, University of Karlsruhe [More Details].

Cost hierarchies for abstract parallel machines
O'Donnell,J.T. Rauber,T. Ruenger,G. 13th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2000) LNCS, Springer [More Details].

Discrete Mathematics Using a Computer
Hall,C.V. O'Donnell,J.T. Springer [More Details].

Enhanced cooling of hydrogen atoms by lithium atoms
Cote,R. Jamieson,M.J. Yan,Z-C. Jeung,Q.H. Dalgarno,A. Physical Review Letters, Vol. 84 pp 2806-2809 [More Details].

Enhanced cooling of hydrogen by alkali-metal atoms
Derevianko,A. Cote,R. Jamieson,M.J. Geum,N. Jeung,G.H. Dalgarno,A. [More Details].

Feature Interactions in Telecommunications and Software Systems VI
Calder,M. Magill,E. IOS Press [More Details].

Formalizing the dynamic semantics of Java
Watt,D.A. Proceedings of 3rd International Workshop on Action Semanrics pp 1-18 University of Aarhus [More Details].

Iterative Dialogues and Automated Proof
Slind,K. Boulton,R.J. Studies in Logic and Computation In Frontiers of Combining Systems 2 (Proceedings of the Second International Workshop, FroCoS'98, Amsterdam, The Netherlands) pp 317-335 Research Studies Press [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].

Modelling Legacy Telecommunications Switching Systems for Interaction Analysis
Calder,M. Reiff,S. Systems Engineering for Business Process Change, P. Henderson (ed.) pp 182-195 Springer [More Details].

Newton-Raphson/log-derivative method for finding eigenenergies
Jamieson,M.J. Computer Physics Communications, Vol. 125 pp 193-195 [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].

Predicted predissociation linewidths in the Schumann-Runge bands of O_2 compared with recent high-resolution measurements
Tong,G.S.-M. Cheung,A-S.C. Jamieson,M.J. The 6'th HITRAN conference, Harvard-Smithsonian Center for Astrophysics, Cambridge, MA, USA [More Details].

Singleton Consistencies
Prosser,P. Stergiou,K. Walsh,T. Proceedings of CP 2000: the 6th International Conference on Principles and Practice of Constraint Programming, (lecture Notes in Computer Science) pp 353-368 Springer [More Details].

Solving Vehicle Routing Problems using Constraint Programming and Meta Heuristics
De Baker,B. Furnon,V. Kilby,P.J. Prosser,P. Shaw,P. Journal of Heuristics 6(4) pp 501-524 Kluwer [More Details].

The calculation of molecular properties at large inter-nuclear distances
Jamieson,M.J. Dalgarno,A. L. Wolniewicz,L. Physical Review A, Vol. 61 pp 0427051-6 [More Details].

The Hospitals/Residents Problem with Ties
Irving,R.W. Manlove,D.F. Scott,S. Proceedings of SWAT 2000: The 7th Scandinavian Workshop on Algorithm Theory (Halldorsson, Magnus, M., Ed.), volume 1851 of Lecture Notes in Computer Science pp 259-271 Springer [More Details].

The PROSPER Toolkit
Dennis,L.A. Collins,G. Norrish,M. Boulton,R. Slind,K. Robinson,G. Gordon,M. Melham,T.F. Proceedings, Tools and Algorithms for the Construction and Analysis of Systems: 6th Intl. Conference, TACAS 2000, Berlin. (Graf, S. and Schwartzback, M. Eds.). Lecture Notes in Computer Science, Volume No 1785 pp 78-92 Springer Verlag [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].

Time-dependent quantum mechanical study of molecular oxygen in the Schumann-Runge continuum
Balakrishnan,N. Jamieson,M.J. Dalgarno,A. Li,Y. Buenker,R.J. Journal of Chemical Physics, Vol. 112 pp 1255-1259 [More Details].

Types for Correct Communication in Client-Server Systems
Gay,S.J. Hole,M. Technical report CSD-TR-00-07, Department of Computer Science, Royal Holloway, University of London Department of Computer Science, Royal Holloway, University of London [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 Hybrid Approach to Software Interworking Problems: Managing Interactions Between Legacy and Evolving Telecommunications Services
Calder,M. Marples,D. Magill,E. IEE Proceedings Software pp 167-175 IEE Publications [More Details].

A Specification Structure for Deadlock-Freedom of Synchronous Processes
Abramsky,S. Gay,S.J. Nagarajan,R. Theoretical Computer Science 222(1-2) DOI: 10.1016/S0304-3975(98)00189-3 pp 1-53 Elsevier Science [More Details].

Adiabatically corrected scattering lengths and effective ranges for collisions of helium atoms
Jamieson,M.J. Chemical Physics Letters, Vol. 310 pp 222-224 [More Details].

An ML Editor Based on Proofs-as-Programs
Whittle,J. Bundy,A. Boulton,R.J. Lowe,H. Tools and Interfaces, Proceedings of the 14th IEEE International conference on Automated Software Engineering, ASE'99 (Cocoa Beach, Florida, USA) pp 166-173 IEEE Computer Society Press [More Details].

Collisions of ground-state hydrogen atoms
Jamieson,M.J. Dalgarno,A. Zygelman,B. Krstic,P.S. Schultz,D.R. Physical Review A. Vol. 61 pp 0147011-4 [More Details].

Data Parallelism
O'Donnell,J.T. Research Directions in Parallel Functional Programming. (Hammond, K., Michaelson, G. Eds.,) pp 191-206 Springer [More Details].

Error estimation in molecular vibrational energies calculated by Johnson's log-derivative method
Jamieson,M.J. Friedman,R.S. Computer Physics Communications, Vol. 118 pp 145-152 [More Details].

Guided Local Search for the Vehicle Routing Problem with time windows
Kilby,P.J. Prosser,P. Shaw,P. In Meta Heurstics: advances and trends in local search paradigms for optimisation pp 473-486 Kluwer [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].

JAS - a Java action semantics
Brown,D.F. Watt,D.A. Proceedings of 2nd International Workshop on Action Semantics pp 43-56 Dept of Computer Science, University of Aarhus [More Details].

Magic Dice
Irving,R.W. Flury,B Goria,M American Mathematical Monthly Volume No. 106 pp 324-337 Mathematical Association of America [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].

Morphing: combining structure and randomness
Gent,I.P. Hoos,H. Prosser,P. Walsh,T. Proceedings of the American Association of Artificial Intelligence, AAAI99 MIT Press [More Details].

On an eighth order formula for solving a Schrodinger equation
Jamieson,M.J. Journal of Computational Physics, Vol. 149 pp 194-197 [More Details].

On rational function approximations to square roots
Jamieson,M.J. American Mathematical Monthly, Vol. 106 pp 50-52 [More Details].

On the algorithmic complexity of twelve covering and independence parameters of graphs
Manlove,D.F. Discrete Applied Mathematics, volume 91 pp 155-175 Elsevier Science [More Details].

Stable marriage with incomplete lists and ties
Iwama,K. Manlove,D.F. Miyakazi,S. Morita,Y. Proceedings of ICALP'99: The 26th International Colloquium on Automata, Languages and Programming, volume 1644 of Lecture Notes in Computer Science pp 443-452 Springer Verlag [More Details].

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

System Description: CYNTHIA
Whittle,J. Bundy,A. Boulton,R.J. Lowe,H. Proceedings of the Sixteenth International Conference on Automated Deduction, CADE-16 (Trento, Italy); Ganzinger, H. (editor), Lecture Notes in Artificial Intelligence pp 388-392 Springer [More Details].

The Application of Model-Checking to Verification Problems in Telephone Switching Systems
Reiff,S. Calder,M. Proceedings of the 6th Workshop on Automated Reasoning - Bridging the gap between theory and practice (Edinburgh, UK) [More Details].

The b-chromatic number of a graph
Irving,R.W. Manlove,D.F. Discrete Applied Mathematics, volume 91 pp 127-141 Elsevier Science [More Details].

The Constrainedness of Constraint Satisfaction
Gent,I.P. Prosser,P. Walsh,T. The Tropical Conference on NP-hardness and Phase Transactions, ICTP, Trieste [More Details].

The GGT: a generic toolkit for VRP applications and modelling
Bouzoubaa,M. Hasle,G. Prosser,P. Proceedings of the International Conference of Practical Applications of Constraint Logic Programming, PACLP99 [More Details].

The SPA program (Scottish PRHO Allocation Scheme)
Irving,R.W. Low,G.M. Includes published booklet "The Scottish PRHO Allocation Scheme: Algorithms used in the SPA scheme, SCPMDE, 1999" [More Details].

The static and dynamic semantics of Standard ML
Watt,D.A. Proceedings of 2nd International Workshop on Action Semantics pp 155-172 Dept of Computer Science, University of Aarhus [More Details].

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

Theoretical and computational studies of collisions of hydrogen atoms at cold temperatures.
Zygelman,B. Stancil,P.C. Jamieson,M.J. Dalgarno,A. NASA/JPL International Conference on Fundamental Physics in Space, Washington DC, U.S.A. [More Details].

Thinking on your feet in undergraduate computer science: a constructivist approach to developing and assessing critical thinking
Gent,I.P. Johnston,B. Prosser,P. Journal of Teaching in Higher Education (Volume 4, No. 4) pp 511-522 [More Details].

Transparent Optimisation of Rewriting Combinators
Boulton,R.J. Journal of Functional Programming Volume no 9 pp 113-146 [More Details].

Types and Subtypes for Client-Server Interactions
Gay,S.J. Hole,M. Proceedings of the European Symposium on Programming Languages and Systems, Amsterdam. (Swiersta, D., Ed.). Lecture Notes in Computer Science, Volume No. 1576. pp 74-90 Springer [More Details].

Xs are for Trajectory Evaluation, Booleans are for Theorem Proving
Aagaard,M.D. Melham,T.F. O'Leary,J.W. Proceedings of 10th IFIP WG10.5 Adv. Research Working Conference: Bad Herrenalb, Sep. 1999, (Pierre, L., Kropf, T. Eds.), Lecture Notes in Computer Science, Volume No. 1703. pp 202-218 Springer [More Details].

1998

A 3/2 Approximation Algorithm for Sorting by Reversals
Christie,D.A. Proceedings of SODA'98: The 9th Annual ACM-SIAM Symposium on Discrete Algorithms, San Franciso, USA, ACM-SIAM. pp 244-252 ACM
[More Details].

An Interface between CLAM and HOL
Boulton,R.J. Slind,K. Bundy,A. Gordon,M. Proceedings of 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'98, Canberra, Australia. Published as LNCS, (Grundy, J., Newey, M, Eds.). Leture Notes in Computer Science, Volume No. 1479 pp 87-104 Springer [More Details].

Analysing a Basic Call Protocol using PROMELA/XSPIN
Calder,M. Miller,A. Proceedings SPIN '98: Workshop on Automata Theoretic Verification with the SPIN model Checker, Paris, G. Holzmann (ed.) pp 169-181 [More Details].

Dynamic Specialisation of XC6200 FPGAs by Partial Evaluation
Mckay,N. Melham,T.F. Susanto,K.W. Singh,S. Proceedings of the IEEE Symposium on FPGAs for Custom Computing Machines pp 308-309 IEEE Computer Society Press [More Details].

Dynamic VRPs: A Study of Scenarios
Kilby,P. Prosser,P. Shaw,P. Technical Report APES-06-1998 [More Details].

Formally Analysed Dynamic Synthesis of Hardware
Susanto,K.W. Melham,T.F. The 11th International Conference TPHOL's '98 - Supplementary Proceedings. pp 105-117 Australian National University [More Details].

Generating Embeddings from Denotational Descriptions
Boulton,R.J. Proceedings of the 11th International Conference on heorem Proving in Higher Order Logics, TPHOLs'98, (Canberra, Australia, September/October 1998); GRUNDY,J.; NEWEY, M. (editors) Lecture Notes in Computer Science pp 67-86 Springer [More Details].

Generating Solutions for Real-World Vehicle Routing Problems
Kilby,P.J. Prosser,P. Shaw,P. INFORMS [More Details].

How a change in the interaction potential affects the s-wave scattering length
Jamieson,M.J. Dalgarno,A. Journal of Physics B: Atomic, Molecular and Optical Physics Vol. 31 pp 219-222 [More Details].

Interactive Theorem Proving: An Empirical Study of User Activity
Aitken,J.S. Gray,P. Melham,T.F. Thomas,M. Journal of Symbolic Computation. Volume No. 25 pp 263-284 [More Details].

Matching Medical Students to Pairs of Hospitals: a new variation on a well-known theme
Irving,R.W. Proceedings of ESA'98: The 6th Annual European Symposium on Algorithms, Venice, Italy. Lecture Notes in Computer Science, Volume No 1461 pp 381-392 Springer [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].

Organisation, Information and Computation
Thomas,M. Jeffcutt,P. ORGANIZATION, 5/3 pp 397-423 Sage [More Details].

Pell and Pell-Lucas numbers and acceleration of convergence
Jamieson,M.J. Mathematics Today, Vol. 34 pp 153-156 [More Details].

Random Constraint Satisfaction: theory meets practice
Macintyre,E. Prosser,P. Smith,B.M. Walsh,T. Proceedings ofPrinciples and Practices of Constraint Programming, CP98, LNCS 1520 pp 325-339 Springer [More Details].

Random Constraint Satisfaction: Theory Meets Practice
MacIntyre,E. Prosser,P. Smith,B.M. Principles and Practice of Constraint Programming - CP98: 4th International Conference, CP98, Pisa, Italy, October 1998. Proceedings pp 325-339 LNCS, Springer [More Details].

Refinement transformation using Abstract Parallel Machines
Goodman,J. O'Donnell,J.T. Ranger,G. Glasgow Workshop on Functional Programming Dept of Computing Science, University of Glasgow [More Details].

System Description: An Interface between CLAM and HOL
Slind,K. Gordon,M. Boulton,R.J. Bundy,A. Lecture Notes in Artificial Intelligence, volume 1421 Proceedings of the Fifteenth International Conference on Automated Deduction, CADE-15 (Lindau, Germany), Kirchner, C., Kirchner, H., eds. pp 134-138 Springer [More Details].

The Dynamics of Dynamic Variable Ordering Heuristics
Prosser,P. Proceedings of Principles and Practice of Constraint Programming - CP98, LNCS1520 pp 17-23 Springer [More Details].

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

What use are Formal Analysis and Design Methods to Telecommunications Services?
Calder,M. Feature Interactions in Telecommunications and Software Systems V, K. Kimbler and L.G. Bouma, (eds.) pp 10-31 IOS Press [More Details].

1997

`Implementing the General Matings Method in HOL',in Supplementary Proceedings of 1997 International Conference on Theorem Proving in Higher Order Logics
Quigley,C.L. [More Details].

A Coordination Level Functional Implementation of the Hierarchical Radiosity Algorithm
O'Donnell,J.T. Glasgow Workshop on Functional Programming Dept of Computing Science, University of Glasgow [More Details].

A methodology for deriving parallel programs with a family of Abstract Parallel Machines
O'Donnell,J.T. Runger,G. Lecture Notes in Computer Science. Volume 1300. Euro-Par'97: Parallel Processing (Passau, Germany) pp 662-669 Springer [More Details].

A Tool to Support Formal Reasoning about Computer Languages
Boulton,R.J. Proceedings of 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACA'97, Enschede, The Netherlands. Published as LNCS, (Brinksma, E., Ed). Volume No. 1217. Lecture Notes in Computer Science Vol. 117 pp 81-95 Springer [More Details].

A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems
Abramsky,S. Gay,S.J. Nagarajan,R. Proceedings of the International Symposium on Theoretical Aspects of Computer Software, TACS'97, Sendai, Japan, (Abadi, M., and Ito, T., Eds.,), Lecture Notes in Computer Science, Volume No. 1281 DOI: 10.1007/BFb0014557 pp 295-320 Springer [More Details].

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

Gamma and the Logic of Transition Traces
Gay,S.J. Hankin,C.L. Advances in Theory and Formal Methods of Computing Imperial College Press [More Details].

Glasgow Workshop on Functional Programming
O'Donnell,J.T. [More Details].

Local search in constraint programming: Application to the Vehicle Routing Problem
DeBacker,B. Furnon,V. Kilby,P. Prosser,P. Shaw,P. Proceedings of the CP-97 Workshop on Industrial Constraint-based Scheduling [More Details].

Modelling User Views of Telecommunications Services for Feature Interaction Detection and Resolution
Thomas,M. Feature Interactions in Telecommunications Networks IV, P. Dini et al (eds.) pp 168-183 IOS Press [More Details].

Multichannel calculations for frequency shift and line broadening cross sections in collisions of cold hydrogen atoms
Zygelman,B. Jamieson,M.J. Stancil,P.C. Dalgarno,A. Workshop on Collisions of Cold Trapped Atoms at Joint Institute for Laboratory Astrophysics, Boulder, CO, U.S.A. [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].

Order, Disorder and the Unmanageability of Boundaries in Organised Life
Thomas,M. Jeffcutt,P. In the Realm of Organization: Essays for Robert Cooper (R.C.H. Chia, ed.) pp 67-87 Routledge [More Details].

Parallel distributed programming with Haskell + PVM
Winstanley,N. O'Donnell,J.T. Proceedings of Euro-Par'97: Parallel Processing. Volume No 1300 pp 670-677 Springer [More Details].

Refining a parallel algorithm for calculating bowings
Hall,C.V. Hammond,K. Loidl,H. O'Donnell,J.T. Trinder,P. Glasgow Workshop on Functional Programming [More Details].

Symbolic Bisimulations for Full LOTOS
Thomas,M. Shankland,C. Proceedings of AMAST 97, Melbourne, Australia, (M. Johnson ed.), Lecture Notes in Computer Science, vol. 1349 pp 479-493 Springer [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 constrainedness of arc-consistency
Gent,I.P. Macintyre,E. Prosser,P. Shaw,P. Walsh,T. Proceeding of Principles and Prctices of Constraint Programming - CP97, LNCS 1330 pp 327-340 Springer [More Details].

The scaling of search cost
Gent,I.P. Macintyre,E. Prosser,P. Walsh,T. Proceedings of the American Association of Artificial Intelligence, AAAI-97 pp 315-320 MIT Press [More Details].

Towards a Modal Logic for Full LOTOS
Thomas,M. Kirkwood,C. Proceedings of Northern Formal Methods Workshop Springer [More Details].

Using Diagrams to Support the Analysis of Systems 'Failure' and Operator 'Error'
Love,L. Johnson,C.W. People and Computers XII: Proceedings of HCI'97 pp 245-262 Springer [More Details].

Using Extended Fault-Trees in Conjunction with Traditional Accident Reports
Love,L. Johnson,C.W. Interact'97 pp 102-103 Chapman & Hall [More Details].

1996

A Program Logic for Gamma
Gay,S.J. Hankin,C.L. Coordination Programming: Mechanisms, Models and Semantics (J.-M. Andreoli and C. L. Hankin, eds.) pp 171-194 Imperial College Press [More Details].

An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem
Gent,I.P. Macintyre,E. Prosser,P. Smith,B.M. Walsh,T. Proceedings of Principles and Practices of Constraint Programming - CP96, LNCS 1118 pp 179-193 Springer [More Details].

An empirical study of the phase transition in binary constraint satisfaction problems
Prosser,P. Artificial Intelligence, Volume 81 pp 81-109 Elsevier Science [More Details].

Consistent Subsequences and Supersequences
Fraser,C.B. Theoretical Computer Science. Volume No 165 pp 233-246 [More Details].

Five Axioms of Alpha Conversion
Gordon,A.D. Melham,T.F. Proceedings, Theorem Proving in Higher Order Logics: 9th Intl. Conference, TPHOL's '96. (von Wright, J. and Grudy J. and Harrison, L., Eds.). Lecture Notes in Computer Science, Volume No. 1125 pp 173-190 Springer [More Details].

Formal Methods and their Role in Developing Safe Systems
Thomas,M. High Integrity Systems Journal, vol. 1, no. 5 pp 447-452 Oxford University Press [More Details].

Interaction Categories and the Foundations of Typed Concurrent Programming
Abramsky,S. Gay,S.J. Nagarajan,R. Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School (M. Broy, ed.). NATO ASI Series F, Springer-Verlag Springer [More Details].

Line-closed Subsets of Steiner Triple Systems and Classical Linear Spaces
Camina,A.R. Miller,A. Journal of Statistical Planning and Inference Vol:56 pp 65-77 [More Details].

Maximal Common Subsequences and Minimal Common Supersequences
Irving,R.W. Fraser,C.B. Middendorf,M. Information and Computation. Volume No 124 pp 145-153 Academic Press [More Details].

Multichannel close coupling calculations of predissociation lifetimes of molecular ions
Annoreno,J. Stancil,P.C. Zygelman,B. Jamieson,M.J. Clarke,N.J. Cooper,D.L. Bulletin of the American Physical Society 41 pp 1069 [More Details].

Phases, Modes and Information Flow in Theory Development
Aitken,J.S. Gray,P. Melham,T.F. Thomas,M. An International Workshop:University of York pp 1-8 University of York [More Details].

Scattering lengths for collisions of ground state and metastable state hydrogen atoms
Jamieson,M.J. Dalgarno,A. Doyle,J.M. Molecular Physics, Vol. 87 pp 817-826 [More Details].

Some Research Issues in Higher Order Logic Theorem Proving
Melham,T.F. volume NS-96-7 Dept of Computer Science, University of Aarhus [More Details].

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

Sorting Permutations by Block Interchanges
Christie,D.A. Information Processing Letters Volume No. 60 pp 165-169 [More Details].

Specification Structures and Propositions-as-Types for Concurrency
Abramsky,S. Gay,S.J. Nagarajan,R. Logics for Concurrency: Structure vs. Automata. - Proceedings of the VIIIth Banff Higher Order Workshop (Birtwistle, G. and Moller, F., Eds.). Lecture Notes in Computer Science, Volume No 1043 DOI: 10.1007/3-540-60915-6_2 pp 5-40 Springer [More Details].

Spin changing transitions in cold hydrogen atom collisions
Zygelman,B. Stancil,P.C. Dalgarno,A. Jamieson,M.J. Division of Atomic, Molecular and Optical Physics Meeting of the American Physical Society, Ann Arbor, MI, U.S.A. [More Details].

The constrainedness of search
Gent,I.P. Macintyre,E. Prosser,P. Walsh,T. Proceedings of the American Association of Artificial Intelligence, AAAI-96 pp 246-252 MIT Press [More Details].

The influence of the Stokes phenomenon when calculating some perturbed harmonic oscillator energies
Jamieson,M.J. Mathematics Today Vol. 32 pp 84-86 [More Details].

The tetrahedral principle in kite design, revisited
Prosser,P. The Kiteflier, the Kite Society of Great Britain quaterly publication [More Details].

Why don't programming language designers use formal methods?
Watt,D.A. Anais XXIII Seminário Integrado de Software e Hardware pp 3-16 Universidade Federal de Pernambuco [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].

A Study of User Activity in Interactive Theorem Proving
Aitken,S. Gray,P. Melham,T.F. Thomas,M. Task Centred Approaches to Interface Design: Glasgow Interactive Systems Group Research Review pp 195-218 Dept of Computing Science, University of Glasgow [More Details].

A Typed Calculus of Synchronous Processes
Gay,S.J. Nagarajan,R. Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science DOI: 10.1109/LICS.1995.523258 IEEE Computer Society Press [More Details].

An Internal Language for Interaction Categories
Crole,R.L. Gay,S.J. Nagarajan,R. Theory and Formal Methods 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods (C. L. Hankin, I. C. Mackie and R. Nagarajan, eds.) Imperial College Press [More Details].

Approximation algorithms for the shortest common supersequence
Irving,R.W. Fraser,C.B. Nordic Journal of Computing Volume No. 2 pp 303-325 Publishing AssoPublishing Association Nordic Journal of Computing [More Details].

Combinators for Interaction Nets
Gay,S.J. Theory and Formal Methods 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods (C. L. Hankin, I. C. Mackie and R. Nagarajan, eds.) Imperial College Press [More Details].

Comparison of phase-shift calculations by asymptotic fit and quadrature in ultra-low temperature scattering
Cote,R. Jamieson,M.J. Journal of Computational Physics, Vol. 118 pp 388-391 [More Details].

Elastic scattering of two 7Li atoms
Cote,R. Dalgarno,A. Jamieson,M.J. Physical Review A, Vol. 50 pp 399-404 [More Details].

Experiences with LOTOS: A Report on Two Case Studies
Kirkwood,C. Thomas,M. Proceedings of WIFT '95 pp 159-172 IEEE Computer Society Press [More Details].

Formal specification of interconnection networks
O'Donnell,J.T. Ruenger,G. Functional Programming, Glasgow 1995, Springer Workshops in Computing Springer Verlag [More Details].

From transistors to computer architecture: Teaching functional circuit specification in Hydra
O'Donnell,J.T. Symposium on Functional Programming Languages in Education (FPLE'95), LNCS 1022 pp 195-214 LNCS, Springer [More Details].

Interactive Proof Discover: An Empirical Study of HOL Users
Aitken,S. Gray,P. Melham,T.F. Thomas,M. User Interface Design for Theorem Proving Systems: an International Workshop University of Glasgow [More Details].

Isotopic dependence of predissociation linewidths in the Schumann-Runge bands of oxygen
Cheung,A.S.-C. Mok,D.K.-W. Yoshino,K. Parkinson,W.H. Jamieson,M.J. Dalgarno,A. Child,M.S. Journal of Chemical Physics, Vol. 103 pp 2369-2371 [More Details].

Linear Types for Communicating Processes
Gay,S.J. University of London PhD Thesis [More Details].

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

On Johnson's log-derivative algorithm for a single equation
Friedman,R.S. Jamieson,M.J. Computer Physics Communications, Vol. 85 pp 231-238 [More Details].

Scaling Effects in the CSP Phase Transition
Gent,I.P. Macintyre,E. Prosser,P. Walsh,T. Proceedings of Principles and Practices of Constraint Programming - CP95, LNCS 976 pp 70-87 Springer [More Details].

Scattering by a pair of potential energy barriers: tests of numerical software
Friedman,R.S. Jamieson,M.J. Computer Physics Communications, Vol. 85 pp 382-388 [More Details].

Scattering lengths and effective ranges for He-He and spin-polarised H-H and D-D scattering
Dalgarno,A. Jamieson,M.J. Kimura,M. Physical Review A, Vol. 51 pp 2626-2629 [More Details].

Stochastic techniques for resource management
Brind,C. Muller,C. Prosser,P. BT technology journal pp 55-63 [More Details].

The influence of the Stokes phenomenon when calculating some perturbed harmonic oscillator energy levels
Jamieson,M.J. Stokes Commemoration Conference, Sligo, Ireland. [More Details].

The retarded dipole-dipole dispersion interaction for helium
Jamieson,M.J. Drake,G.W.F. Dalgarno,A. Physical Review A, Vol. 51 pp 3358-3361 [More Details].

1994

A case study in parallel program derivation: the heat equation algorithm
O'Donnell,J.T. Ruenger,G. Functional Programming, Glasgow 1994, Springer Workshops in Computing pp 167-183 Springer Verlag [More Details].

A correctness proof of parallel scan
O'Donnell,J.T. Parallel Processing Letters, Vol. 4, No. 3 (September 1994) pp 329-338 World Scientific [More Details].

A Mechanized Theory of the pi-calculus in {HOL
Melham,T.F. pp 50-76 [More Details].

A Mechanized Theory of the pi-calculus in HOL
Melham,T.F. Nordic Journal of Computing. Vol 1, no 1 pp 50-76 [More Details].

A Proof of Incorrectness using LP: the Editing Problem from the Therac-25
Thomas,M. High Integrity Systems Journal, Volume 1, Number 1 Oxford University Press [More Details].

Action transformations in the Actress compiler generator
Watt,D.A. Compiler Construction - 5th Intl. Conference CC'94 (ed. Fritzson, P.) Springer LNCS pp 16-30 Springer [More Details].

An upper bound for the solvability of a random stable roommates instance
Pittel,B.G. Irving,R.W. Random Structures and Algorithms Volume No. 5 pp 465-486 Wiley [More Details].

Binary constraint satisfaction problems: Some are harder than others
Prosser,P. European Conference on Artificial Intelligence (ECAI) pp 95-99 [More Details].

he HOL Logic Extended with Quantification over Type Variables
Melham,T.F. Journal: Formal Methods in System Design pp 7-24 [More Details].

Higher Order Logic Theorem Proving and Its Applications
Melham,T.F. Camilleri. J.,T.F. Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 1994: Proceedings. Vol. 859 Springer [More Details].

Intelligent scheduling: Past, present and future
Prosser,P. Buchanan,I. Intelligent Systems Engineering pp 67-78 [More Details].

Low temperature scattering of He-He and H-H
Jamieson,M.J. Dalgarno,A. Kimura,M. International Conference on Atomic Physics, Boulder, CO, U.S.A. [More Details].

Maximal common subsequences and minimal common supersequences
Irving,R.W. Fraser,C.B. Proceedings of CPM'94, the Fifth Annual Symposium on Combinatorial Pattern Matching, Asilomar, California, Lecture Notes in Computer Science vol. 807 pp 173-183 Springer [More Details].

Non-Cayley vertex-transitive graphs of order twice the product of two odd primes
Miller,A. Praeger,C. Journal of Algebraic combinatorics 3 pp 77--111 Kluwer [More Details].

On the Design of Side-Stick Controllers in Fly-By-Wire Aircraft
Thomas,M. Ormsby,B. ACM Applied Computing Review , Volume 2, Number 1 ACM Press [More Details].

Stable marriage and indifference
Irving,R.W. Discrete Applied Mathematics Volume No. 48 pp 261-272 Elsevier Science [More Details].

Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications
Melham,T.F. Cammilleri,J. Proceedings of the 7th International Workshop on Higher Order Logice Theorem Proving and its Applications University of Malta [More Details].

The Distributed Asynchronous Scheduler
Burke,P. Prosser,P. Intelligent Scheduling (editors Monte Zweben and Mark S. Fox) pp 309-340 Morgan Kaufmann [More Details].

The HOL Logic Extended with Quantification over Type Variables
Melham,T.F. Journal: Formal Methods in System Design, vol3, no 1-2 pp 7-24 [More Details].

The Story of the Therac-25 in LOTOS
Thomas,M. High Integrity Systems Journal, Volume 1, Number 1 pp 3-17 Oxford University Press [More Details].

Three-dimensional statistical data security problems
Irving,R.W. Jerrum,M.R. SIAM Journal on Computing Volume No. 23 pp 170-184 Society for Industrial and Applied Mathematics [More Details].

Using ASF+SDF to interpret and transform actions
Watt,D.A. Proc. 1st International Workshop on Action Semantics (ed. Mosses, P.D.), University of Aarhus, Denmark (1994) pp 129-142 University of Aarhus [More Details].

Verification Techniques for LOTOS
Martin,U. Thomas,M. Proceedings of Formal Methods Europe '94, Lecture Notes in Computer Science, Volume 873 Springer [More Details].

Vibrational levels in the N 4++ H charge transfer system
Jamieson,M.J. D.L. Cooper,D.L. Zygelman,B. Journal of Physics B: Atomic, Molecular and Optical Physics, Vol. 27 pp L73-L78 [More Details].

1993

A Sort Inference Algorithm for the Polyadic Pi-Calculus
Gay,S.J. Proceedings of the 20th ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages DOI: 10.1145/158511.158701 ACM Press [More Details].

A Translator Tool for ASN.1 into LOTOS
Thomas,M. Formal Description Techniques V, M. Diaz, R. Groz (eds.) pp 37-52 Elsevier Science [More Details].

Bidirectional fold and scan
O'Donnell,J.T. Functional Programming, Glasgow 1993, Springer Workshops in Computing pp 193-200 Springer Verlag [More Details].

BM + BJ = BMJ
Prosser,P. 9th Conference on Artificial Intelligence for Applications pp 257-262 [More Details].

Continuum absorption of vibrationally excited O2 from 200-320 nm
Babb,J.F. Sun,Y. Jamieson,M.J. Dalgarno,A. Allison,A.C. Journal of Quantitative Spectroscopy and Radiative Transfer, Vol. 50 pp 579-583 Academic Press [More Details].

Data parallel implementation of Extensible Sparse Functional Arrays
O'Donnell,J.T. Proc. Parallel Architectures and Languages Europe (PARLE'93), LNCS 694 pp 68-79 LNCS, Springer [More Details].

Distributed genetic algorithms for resource allocation
Muller,C. Magill,E.H. Prosser,P. Smith,D.G. Scheduling of production processes pp 70-78 Ellis Horwood [More Details].

Domain filtering can degrade intelligent backtracking search
Prosser,P. 13th International Joint Conference on Artificial Intelligence Morgan Kaufmann [More Details].

Elastic scattering of He atoms at temperatures below 100K
Jamieson,M.J. Kimura,M. Dalgarno,A. Dutta,C.M. Lane,N.F. International Conference on the Physics of Electronic and Atomic Collisions XIV, Aarhus, Denmark. [More Details].

Forward Checking with Backmarking
Prosser,P. Technical Report AISL-48-93 [More Details].

Functional Programming, Glasgow 1993
O'Donnell,J.T. Hammond,K. Springer Workshops in Computing Springer Verlag [More Details].

Hybrid Algorithms for the Constraint Satisfaction Problem
Prosser,P. Computational Intelligence, Volume 9, Number 3 pp 268-299 [More Details].

Introduction to HOL: A theorem proving environment for higher order logic
Melham,T.F. Gordon,M.J.C. Cambridge University Press [More Details].

Johnson's log derivative algorithm rederived
Manolopolous,D.E. Jamieson,M.J. Pradhan,A.D. Journal of Computational Physics, Vol. 105 pp 169-173 [More Details].

Modelling SIGNAL in Interaction Categories
Gay,S.J. Nagarajan,R. Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods (G. L. Burn, S. J. Gay and M. D. Ryan, eds.), Workshops in Computing Series, Springer-Verlag Springer [More Details].

On the worst case behaviour of some approximation algorithms for the shortest common supersequence
Irving,R.W. Fraser,C.B. Proceedings of CPM'93, the Fourth Annual Symposium on Combinatorial Pattern Matching, Padova, Italy, Lecture Notes in Computer Science vol. 684 pp 63-73 Springer [More Details].

Programming Language Processors
Watt,D.A. pp 1-452 Prentice Hall [More Details].

Rotational dependence of the predissociation linewidths of the Schumann-Runge bands of O2
Cheung,A.S.-C. Mok,D.K.-W. Jamieson,M.J. M. Finch,M. Yoshino,K. Dalgarno,A. Parkinson,W.H. Journal of Chemical Physics, Vol. 99 pp 1086-1092 [More Details].

Scheduling as a constraint satisfaction problem: theory and practice
Prosser,P. Scheduling of production processes pp 22-30 Ellis Horwood [More Details].

Solving Divergence inKnuth-Bendix Completion by Enriching Signatures
Thomas,M. Watson,P. Theoretical Computer Science,vol. 112 pp 145-185 Elsevier Science [More Details].

The HOL Logic Extended with Quantification over Type Variables
Melham,T.F. Higher Order Logic Theorem Proving and its Applications: Proceedings of the IFIP TC10/WG10.2, International Workshop, Leuven, September 1992. Series IFIP Transactions A-20 pp 3-17 North-Holland [More Details].

Translating Dependent Type Theory into Higher Order Logic
Jacobs,B. Melham,T.F. Typed Lambda Calculi and Applications: Proceedings of the International Conference, Utrecht, March 1993. Series, Lecture Notes in Computer Science. Vol 664 pp 209-229 Springer [More Details].

1992

A constraint maintenance system for the distributed resource allocation problem
Prosser,P. Conway,C. Muller,C. Intelligent Systems Engineering pp 76-83 [More Details].

A distributed constraint maintenance system
Prosser,P. Conway,C. Muller,C. Proceedings of the 12 International Conference on Artificial Intelligence pp 221-231 [More Details].

A Mechanised Theory of the calculus in {HOl}}
Melham,T.F. [More Details].

A Mechanized Theory of the pi-calculus in {HOl}
Melham,T.F. University of Cambridge [More Details].

A Package for Inductive Relation Definitions in {HOL}}
Melham,T.F. Proceedings of the 1991 International Workshopon the {HOL} Therom Proving System and its Applictions, Auguust 1991 pp 350-357 IEEE Computer Society Press [More Details].

Actress - an action semantics directed compiler generator
Watt,D.A. Brown,D. Moura,H. Compiler Construction - 4th Intl. Conference CC'92 (ed. Kastens, U., and Pfahler, P.) Springer LNCS pp 95-109 Springer [More Details].

Collisional excitation of metastable oxygen O(1 D) atoms through the B 3 Sigma u- channel of O2
Jamieson,M.J. Finch,M. Friedman,R.S. Dalgarno,A. Planetary and Space Science, Vol. 40 pp 1719-1721 [More Details].

Elastic scattering of hydrogen atoms at low temperatures
Jamieson,M.J. Dalgarno,A. Yukich,J.N. Physical Review A, Vol. 46 pp 6956-6961 [More Details].

Error estimation in molecular vibrational eigenenergies calculated by the Hartree and Numerov methods
Jamieson,M.J. Friedman,R.S. Computer Physics Communications, Vol. 70 pp 53-58 [More Details].

Generating netlists from executable circuit specifications in a pure functional language
O'Donnell,J.T. Functional Programming, Glasgow 1992, Springer Workshops in Computing pp 178-194 Springer Verlag [More Details].

Predissociation of oxygen in the B 3 Sigma u- state
Chiu,S.S.-L. Cheung,A.S.-C. Finch,M. Jamieson,M.J. Yoshino,K. Dalgarno,A. Parkinson,W.H. Journal of Chemical Physics, Vol. 97 pp 1787-1792 [More Details].

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

The {HOL} finite\_sets Library
Melham,T.F. University of Cambridge [More Details].

The HOL pred-sets Library
Melham,T.F. University of Cambridge [More Details].

Theorem Provers in Circuit Design
Stavridou,V. Melham,T.F. Boute,R.T. Proceedings of the IFIP TC10{WG 10.2 International Conference, Nijmegen, June 1992. Series IFIP Transactions A-10 North-Holland [More Details].

Two algorithms for the longest common subsequence of three (or more) strings
Irving,R.W. Fraser,C.B. Proceedings of CPM'92, the Fourth Annual Symposium on Combinatorial Pattern Matching, Tucson, Arizona, Lecture Notes in Computer Science Vol. 644 pp 214-229 Springer [More Details].

1991

A distributed asynchronous system for predictive and reactive scheduling.
Burke,P.
Prosser,P. Artificial Intelligence in Engineering. Vol. 6, no. pp 106-124 [More Details].

A Mechanized Theory of the pi-calculus in {HOL}
Melham,T.F. Proceedings of the Second Workshop on Logical Frameworks pp 219-237 University of Edinburgh [More Details].

A note on solving coupled second order linear differential equations
Friedman,R.S. Jamieson,M.J. Computer Physics Communications, Vol. 62 pp 53-57 [More Details].

A Subspace theorem for ordinary linear differential equations
Miller,A. Journal of the Australian Mathematical Society (Series A) volume 50 pp 320-332 Wiley [More Details].

A time-dependent Hartree-Fock study of dispersion in the Cotton-Mouton effect for the helium isoelectronic sequence
Jamieson,M.J. Chemical Physics Letters, Vol. 183 pp 9-15 [More Details].

Algebraic Semantics
Thomas,M. Chapter 4 pp 147-183 Prentice Hall [More Details].

An algorithmic and semantic approach to debugging
Hall,C.V. Hammond,K. O'Donnell,J.T. Functional Programming, Glasgow 1990, Springer Workshops in Computing pp 44-53 Springer Verlag [More Details].

Comments on the Numerov-Cooley and Hartree-Cooley methods
Jamieson,M.J. Du,M.L. Computer Physics Communications, Vol. 64 Computer Physics Communications, Vol. 64 Computer Physics Communications, Vol. 64 pp 360-362 [More Details].

Cotton-Mouton constants and electric hyperpolarizabilities for the helium isoelectronic sequence
Jamieson,M.J. Chemical Physics Letters, Vol. 176 pp 467-471 [More Details].

Generalising Sequences of Rewrite Rules by Synthesising New Sorts
Thomas,M. Watson,P Extended Abstract, Functional Programming, Glasgow 1990, Workshops in Computing, S. Peyton-Jones, G. Hutton, C. Kehler Holst (eds.) pp 268-273 Springer [More Details].

Interaction Nets
Gay,S.J. Dissertation, Diploma in Computer Science, University of Cambridge Computer Laboratory [More Details].

Invocation of parallel computation in solving a second order eigenvalue differential equation
Jamieson,M.J. Workshop on Parallel Numerical Analysis, Edinburgh. [More Details].

Log-derivative methods based on linear two-step integration formulae
Jamieson,M.J. Du,M.L. Computer Physics Communications, Vol. 66 pp 150-156 [More Details].

On approximating the minimum independent dominating set
Irving,R.W. Information Processing Letters Volume No. 37 pp 197-200 Elsevier Science [More Details].

Programming Language Syntax and Semantics
Watt,D.A. pp 1-389 Prentice Hall [More Details].

The HOL sets Library
Melham,T.F. University of Cambridge [More Details].

The HOL string Library
Melham,T.F. University of Cambridge [More Details].

1990

A continued fraction propagator for the log-derivative used to find eigenvalues
Jamieson,M.J. Journal of Physics B: Atomic, Molecular and Optical Physics, Vol. 23 pp L267-L270 [More Details].

Abstraction Mechanism for Hardware Verification
Melham,T.F. Formal Verification of Hardware Design pp 30-49 IEEE Computer Society Press [More Details].

Executing declarative languages on a fine-grain parallel machine
O'Donnell,J.T. Declarative Systems: Proc. IFIP TC10/WG10.1 Workshop on Concepts and Characteristics of Declarative Systems pp 149-163 North-Holland [More Details].

Fibonacci numbers and Aitken sequences revisited
Jamieson,M.J. American Mathematical Monthly, Vol. 97 pp 829-831 [More Details].

From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1
Thomas,M. Formal Description Techniques II,S.T. Vuong (Ed.) pp 517-532 Elsevier Science [More Details].

Nondeterministic functional programming with sets
Hughes,R.J.M. O'Donnell,J.T. Proc. 1990 Banf Conference on Higher Order Reasoning Computer Science, University of Calgary [More Details].

Numerical calculation of wave functions near a strongly repulsive potential
Jamieson,M.J. Journal of Physics A: Mathematical and General, Vol. 23 pp L297-L300 [More Details].

On the numerical solution of coupled eigenvalue differential equations arising in molecular spectroscopy
Friedman,R.S. Jamieson,M.J. Preston,S.C. Computer Physics Communications, Vol. 58 pp 17-23 [More Details].

Programming Language Concepts and Paradigms
Watt,D.A. pp 1-322 Prentice Hall [More Details].

1989

A Reactive Scheduling Agent
Prosser,P. Proceedings International Joint Conference on Artificial Intelligence (IJCAI) [More Details].

Automatin Recursive Type Definitions in Higher Order Logis
Melham,T.F. pp 341-386 [More Details].

Coupled Hartree-Fock calculation of the Cotton Mouton constant and hyperpolarizability of helium
Jamieson,M.J. Chemical Physics Letters, Vol. 154 pp 521-524 [More Details].

Inductive Inference for Solving Divergence in Knuth-Bendix Completion
Thomas,M. Jantke,K. Proceedings of Analogical and Inductive Inference '89, Lecture Notes in Computer Science, Volume 397 pp 288-303 Springer [More Details].

Level shifts of discrete states embedded in a continuum
Du,M.L. Dalgarno,A. Jamieson,M.J. Journal of Chemical Physics, Vol. 91 pp 2980-2982 [More Details].

Model potentials for multichannel eigenvalue problems
Friedman,R.S. Jamieson,M.J. Computer Physics Communications, Vol. 55 pp 137-140 [More Details].

Parametric stable marriage and minimum cuts
Gusfield,D. Irving,R.W. Information Processing Letters Volume No. 30 pp 255-259 Elsevier Science [More Details].

Rapidly converging iterative formulae for finding square roots and their computational efficiencies
Jamieson,M.J. Computer Journal, Vol. 32 pp 93-94 [More Details].

The Professional Programmers Guide to Pascal
Watt,D.A. pp 1-115CW Pitman Publishing [More Details].

The Stable Marriage Problem: Structure and Algorithms
Gusfield,D. Irving,R.W. Research Monograph published by MIT Press MIT Press [More Details].

Wynn's algorithm and cycles in quadratic iteration
Jamieson,M.J. Bulletin of the Institute of Mathematics and its Applications, Vol. 25 pp 26-26 [More Details].

1988

A comment on the use and accuracy of the Richardson deferred approach to the limit
Jamieson,M.J. Computer Physics Communications, Vol. 50 pp 289-292 [More Details].

A hybrid genetic algorithm for pallet loading
Prosser,P. European Conference on Artificial Intelligence pp 159-164 [More Details].

Abstraction Mechanism for Hardware Verification
Melham,T.F. pp 267-291 [More Details].

Acceleration techniques applied to some sequences of continued fractions
Jamieson,M.J. Bulletin of the Institute of Mathematics and its Applications, Vol. 24 pp 56-57 [More Details].

Automating Recursive Type Definitions in Higher Order Logic
Melham,T.F. Current Trends in Hardware Verficiation and Automated Theorem Proving pp 341-386 University of Cambridge [More Details].

Hardware Verification by Formal Proof
Birtwistle,G. Graham,B. Schediwy,R. Melham,T.F. Computer Science, University of Calgary [More Details].

Hardware Verification by Formal Proof
Birtwistle,G. Graham,B. Melham,T.F. Schediwy,B. Proceedings of the Candadian Conference on Electrical and Computer Engineering pp 379-384 Canadian Society for Electrical Engineering [More Details].

On the complexity of evaluating a determinant by elementary expansion
Jamieson,M.J. Computer Journal, Vol. 31 pp 286-286 [More Details].

Using Recursive Types to Reason about Hardware in Higer Order Logic
Melham,T.F. University of Cambridge [More Details].

Using Recursive Types to Reason about Hardware in Higerh Order Logic
Melham,T.F. Proceedings of the {IFIP} {WG} 10.2 Working Conference, Glasgow, July 1988 pp 27-50 North-Holland [More Details].

1987

A note of the convergence of an iterative scheme for solving a quadratic equation
Jamieson,M.J. Computer Journal, 30 1987. Computer Journal, 30 1987. Computer Journal. Vol. 30 pp 189-190 [More Details].

Abstraction Mechanisms for Hardware Verification
Melham,T.F. pp 267-291 University of Cambridge [More Details].

Ada - Language and Methodology
Watt,D.A. Wichmann,B.A. Findlay,W. pp 1-518 Prentice Hall [More Details].

An efficient algorithm for the optimal stable marriage
Irving,R.W. Leather,P. Gusfield,D. Journal of the ACM Volume No. 34 pp 532-544 ACM [More Details].

Application of Wynn's epsilon algorithm to periodic continued fractions
Jamieson,M.J. Proceedings of the Edinburgh Mathematical Society, Vol. 30 pp 295-299 [More Details].

Brillouin Wigner perturbation theory and iteration variation scattering methods
Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 20 pp L659-L663 [More Details].

Every finite distibutive lattice is a set of stable matchings for a small stable marriage instance
Gusfield,D. Irving,R.W. Leather,P. Saks,M. Journal of Combinatorial Theory (Series A) Volume No. 44 pp 304-309 Academic Press [More Details].

Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language
Thomas,M. Proceedings of TAPSOFT, Pisa, March 1987, Lecture Notes in Computer Science, Volume 250 pp 197-211 Springer [More Details].

Numerical solution of the restricted rotor eigenvalue equation in molecular collision calculations
Jamieson,M.J. Computer Physics Communications, Vol. 47 pp 229-234 [More Details].

1986

A coupled Hartree-Fock calculation of the paramagnetic contribution to the Cotton-Mouton constant of helium
Jamieson,M.J. Chemical Physics Letters, Vol. 123 pp 402-404 [More Details].

Hardware Verification Using Higher-Order Logic
Camilleri,A. Gordon,M. Melham,T.F. University of Cambridge [More Details].

Hardware Verification using Higher-Order Logic
Camilleri,A. Gordon,M. Melham,T.F. [More Details].

Specification and {VLSi} Design}
Birtwistle,G. Joyce,J. Liblong,B. Melham,T.F. Schediwy,R. pp 83-97 [More Details].

Specification and {VLSi} Design}
Birtwistle,G. Joyce,J. Liblong,B. Melham,T.F. Schediwy,R. Proceedings of the 1985 {E}dinburgh Workshop on {VSLI} pp 83-97 North-Holland [More Details].

The complexity of counting stable marriages
Irving,R.W. Leather,P. SIAM Journal on Computing Volume No. 15 pp 655-667 Society for Industrial and Applied Mathematics [More Details].

1985

An efficient algorithm for the stable roommates problem
Irving,R.W. Journal of Algorithms Volume No. 6 pp 577-595 Academic Press [More Details].

An Introduction to Methodical Programming
Watt,D.A. Findlay,W. pp 1-413 Pitman Publishing [More Details].

Specification and {VSLI} Design
Birtwistle,G. Joyce,J. Liblong,B. Melham,T.F. Schediwy,R. Computer Science, University of Calgary [More Details].

Stable matching problems
Irving,R.W. Mathematical Spectrum Volume No. 18 pp 6-14 [More Details].

1984

{{EDICT}: An Environment for Design Using Integrated Circuit Tools
Birtwistle,G. Hill,D. Kendall,J. Coates,B. Esau,R. Kroeker,W. Liblong,B. Liu,E.
Melham,T.F. Schediwy,R. Computer Science, University of Calgary [More Details].

Exploiting Hierarchies in {EDICT}
Liblong,B. Melham,T.F. Birtwistle.,T.F. Proceedings of the 1984 {C}anadian Conference on {VSLI} [More Details].

Permutation backtracking in lexicographic order
Irving,R.W. The Computer Journal Volume No. 27 pp 373-375 British Computer Society [More Details].

Towards a {VSLI} Design Tool System
Liblong,B. Melham,T.F. Birtwistle,G. Kendall,J. Computer Science, University of Calgary [More Details].

1983

Elementary Numerical Methods
Jamieson,M.J. (Pitman) [More Details].

NP-completeness of a family of graph colouring problems
Irving,R.W. Discrete Applied Mathematics Volume No. 5 pp 111-117 Elsevier Science [More Details].

On finding eigenvalues in the presence of singularities
Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 46 pp L391-L396 [More Details].

1982

On group partitions associated with lower bounds for symmetric Ramsey numbers
Hill,R.
Irving,R.W. European Journal of Combinatorics Volume No. 3 pp 35-50 Academic Press [More Details].

Pocket Guide to Pascal
Watt,D.A. pp 1-58CW Pitman Publishing [More Details].

1981

Dipole transitions from excited S states of two electron systems in time-dependent Hartree-Fock theory
Jamieson,M.J. Watts,R.S. Chemical Physics Letters, Vol. 84 pp 560-564 [More Details].

1980

A program to calculate the eigenfunctions of the random phase approximation for two electron systems
Jamieson,M.J. Aldeen,I.H.K. Computer Physics Communications, Vol. 20 pp 213-219 [More Details].

A study of some model potentials for the ammoniated electron
Webster,B.C. Jamieson,M.J. Journal of the Chemical Society Faraday Transactions II, Vol. 76 pp 1592-1598 [More Details].

Integer division
Jamieson,M.J. Software - Practice and Experience, Vol. 10 pp 333-333 [More Details].

Scaling and Pade approximants in perturbation theory
Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 13 pp L405-L409 [More Details].

Time-dependent Hartree-Fock theory of resonances in sodium
Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 13 pp L19-L22 [More Details].

Transitions between excited states of two electron systems in time-dependent Hartree-Fock theory
Jamieson,M.J. Watts,R.S. Chemical Physics Letters, Vol. 76 pp 287-290 [More Details].

1979

Potentials for the ammoniated electron
Webster,B.C.
Jamieson,M.J. Conference on Trapped Electrons, Orsay, France. [More Details].

Towards an optimum Mastermind strategy
Irving,R.W. Journal of Recreational Mathematics Volume No. 11 pp 81-87 Baywood [More Details].

1978

A bipartite Ramsey problem and the Zarankiewicz numbers
Irving,R.W. Glasgow Mathematical Journal Volume No. 19 pp 13-26 [More Details].

A note on the generalization of Aitken's delta 2 transformation
Jamieson,M.J. O'Beirne,T.H. Journal of Physics B: Atomic and Molecular Physics, Vol. 11 pp L31-L35 [More Details].

Comparison of methods for calculating lambda doubling. The C 1 Pi_u states of H 2
Aldeen,I.H. A.C. Allison,A.C. Jamieson,M.J. Molecular Physics, Vol. 36 pp 931-935 [More Details].

The accurate calculation of atomic properties by numerical methods
Webster,B.C. Jamieson,M.J. Stewart,R.F. Atomic and Molecular Physics, Vol. 14, Ed. Bates D.R. and Bedersen B. (Academic Press). pp 87-125 [More Details].

1977

A comparison between semiclassical and quantal treatments of elastic e-H(1s) collisions at intermediate energies
Reid,R.H.G. Kingston,A.E.
Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 10 pp 841-846 [More Details].

Direct evaluation of eigenfunctions and eigenvalues of time-dependent Hartree-Fock theory
Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 10 pp L129-L132 [More Details].

Direct solution of the random phase approximation eigenvalue equations for two electron systems
Aldeen,I.H. Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 10 pp 3591-3597 [More Details].

On the accuracy of semi-classical treatments of differential scattering of electrons by atoms: 1s-2s and 1s-2p excitation in e-H collisions
Reid,R.H.G. Kingston,A.E. Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 10 pp 55-70 [More Details].

Parameters for some resonances in photoionization for the lithium isoelectronic series
Jamieson,M.J. Chemical Physics Letters, Vol. 47 pp 606-610 [More Details].

1976

Rotational excitation (J=0 to J=2) of polar molecules in the sudden approximation
Jamieson,M.J. Chemical Physics Letters, Vol. 37 pp 191-194 [More Details].

The calculation of eigenvalues and eigenfunctions in an asymptotically Coulomb potential
Aldeen,I.H. Allison,A.C. Jamieson,M.J. Computer Physics Communications, Vol. 12 pp 261-265 [More Details].

The geometric approximation as an example of Aitken's delta 2 transformation
Jamieson,M.J. Ghafarian,A. Molecular Physics, Vol. 32 pp 1777-1780 [More Details].

Time-dependent Hartree-Fock theory for resonances in the photoionization of lithium
Jamieson,M.J. Chemical Physics Letters, Vol. 42 pp 441-444 [More Details].

1975

Correlation and core polarization in time-dependent Hartree-Fock theory
Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 8 pp 537-545 [More Details].

Impact parameter calculation of electron impact excitation of hydrogen
Jamieson,M.J. Molecular Physics, Vol. 29 pp 633-634 [More Details].

Rotational excitation of CN molecules by proton impact
Jamieson,M.J. Kalaghan,P.M. Dalgarno,A. [More Details].

The geometric approximation in time-dependent Hartree-Fock theory
Jamieson,M.J. Ghafarian,A. Molecular Physics, Vol. 30 pp 1611-1614 [More Details].

1974

Generalised Ramsey numbers for small graphs
Irving,R.W. Discrete Mathematics Volume No. 9 pp 251-264 Elsevier Science [More Details].

1973

An extension of Schur's theorem on sum-free partitions
Irving,R.W. Acta Arithmetica Volume No. 25 pp 55-64 [More Details].

On a bound of Graham & Spencer for a graph-colouring constant
Irving,R.W. Journal of Combinatorial Theory (Series B) Volume No. 15 pp 200-203 Academic Press [More Details].

Time-dependent Hartree-Fock calculations of electric field gradient induced birefringence in He and Li+
Jamieson,M.J. Molecular Physics, Vol. 26 pp 231-232 [More Details].

Time-dependent Hartree-Fock theory and its application to calculations of atomic properties
Jamieson,M.J. in "Wave Mechanics - the First Fifty Years" Ed. Price W.C., Chissick S.S. and Ravensdale T. (Butterworths) pp 133-159 [More Details].

1972

Time dependent Hartree-Fock treatment of elastic scattering of electrons by H and He+
Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 5 pp L26-L30 [More Details].

1971

The birefringence induced in spherical molecules by an electric field gradient
Buckingham,A.D.
Jamieson,M.J. Molecular Physics, Vol. 22 pp 117-122 [More Details].

Time-dependent Hartree-Fock theory for atoms
Jamieson,M.J. Conference on Quantum Chemistry, Sanibel Island, FL, U.S.A. [More Details].

Time-dependent Hartree-Fock theory for atoms
Jamieson,M.J. International Journal of Quantum Chemistry, Vol. s4 pp 103-115 [More Details].

1970

A program to calculate the radial parts of interaction matrix elements between two hydrogenic wave functions as power series
Jamieson,M.J. Computer Physics Communications, Vol. 1 pp 437-439 [More Details].

Symmetrized impact parameter treatment of electron impact excitation
Jamieson,M.J. Reid,R.H.G. Journal of Physics B: Atomic and Molecular Physics, Vol.3 pp L104-L107 [More Details].

1969

Impact parameter calculation of electron impact excitation
Jamieson,M.J. International Conference on the Physics of Electronic and Atomic Collisions VI, Cambridge, MA, U.S.A. [More Details].