Publications for 'Formal Analysis, Theory and Algorithms Group' ordered by Year. (641)2013The Hospitals / Residents problem with Free PairsKwanashie,A. Manlove,D.F. SoCS Technical Report Series pp 119 Dept of Computing Science, University of Glasgow [More Details]. 2012A collection of Linear Spaces of order 16 with block size 4, with diamondfree complement graphsMiller,A. DCS Technical Report Series pp 140 Dept of Computing Science, University of Glasgow [More Details]. Distributing an Exact Algorithm for Maximum Clique: maximising the costup McCreesh,C. Prosser,P. SoCS Technical Report Series pp 113 Dept of Computing Science, University of Glasgow [More Details]. Exact Algorithms for Maximum Clique: a computational study Prosser,P. SoCS Technical Report Series pp 139 Dept of Computing Science, University of Glasgow [More Details]. Paired and Altruistic Kidney Donation in the UK: Algorithms and Experimentation Manlove,D.F. O'Malley,G. DCS Technical Report Series pp 114 Dept of Computing Science, University of Glasgow [More Details]. 2011"Almost stable" matchings in the Roommates problem with bounded preference listsBiro,P. Manlove,D.F. McDermid,E.J. DCS Technical Report Series pp 117 Dept of Computing Science, University of Glasgow [More Details]. 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 manoptimal stable matchings by minimum change of preference lists Inoshita,T. Irving,R.W. Iwama,K. Miyazaki,S. Nagase,T. Proceedings of the 7th HungarianJapanese Symposium on Discrete Mathematics and Its Applications (Kyoto, Japan) pp 309313 [More Details]. Parameters for cold collisions of lithium and caesium atoms Jamieson,M.J. Ouerdane,H. Chinese Physics Letters Vol. 28 pp 0603081 [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 127 [More Details]. Stable matching with couples: theory and practice Biro,P. Irving,R.W. Schlotter,I. DCS Technical Report Series pp 132 Dept of Computing Science, University of Glasgow [More Details]. 2010A Model and Analysis of the AKAP ScaffoldAndrei,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 3233 [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]. AssumeGuarantee 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 alkalimetal atoms and chromium atoms Jeung,GH. HagebaumReignier,D. Journal of Physics B Vol. 43 pp 235208 [More Details]. Cold collisions of alkalimetal atoms and chromium atoms Jeung,GH. HagebaumReignier,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]. Diamondfree Degree Sequences Miller,A. Prosser,P. DCS Technical Report Series pp 1 to 9 Dept of Computing Science, University of Glasgow [More Details]. Fractional solutions for NTUgames Biro,P. Fleiner,T. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. Integral Stable Allocation Problem on Graphs Biro,P. Fleiner,T. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. 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 279303 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 4865 [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 Multiagent systems Kirwan,R. Miller,A. Proceedings of the Automated Reasoning Workshop 2010 (ARW'10) pp 1819 [More Details]. Modular Session Types for Distributed ObjectOriented Programming Gay,S.J. Vasconcelos,V.T. Ravara,A. Gesbert,N. Caldeira,A.Z. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. Modular Session Types for Distributed ObjectOriented 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 299312 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 102116 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 18281841 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 31363153 [More Details]. Triangle Packing with Constraint Programming Prosser,P. 9th International Workshop on Constraint Modelling and Reformulation (ModRef 2010) pp 115 [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]. 2009A Semantic Embedding of PromelaLite in PVSRipon,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:119: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 87103 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 objectoriented 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 130 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]. Languagelevel 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 289298 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 499517 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 1102 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 506515 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 12 Elsevier Science [More Details]. Process algebra modelling styles for biomolecular processes Calder,M. Hillston,J. Transactions on Computational Systems Biology XI, LNBI 5750 pp 125 Springer Verlag [More Details]. Semantic Embedding of Promelalite 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. Proceedings of WAOA 2008: the 6th Workshop on Approximation and Online Algorithms, volume 5426 of Lecture Notes in Computer Science pp 1528 Springer [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]. 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 213219 Elsevier Science [More Details]. Swave and pwave 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 130 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 223240 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 149167 Elsevier Science [More Details]. 2008A 3/2approximation algorithm for general stable marriageMcDermid,E. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. A Hardware Relaxation Paradigm for Solving NPHard Problems Cockshott,W.P. Koltes,A. O'Donnell,J.T. Prosser,P. Vanderbauwhede,W. Visions of Computer Science, BCS International Academic Research Conference pp 112 [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 261272 ACM [More Details]. An algorithm for a superstable roommates problem Fleiner,T. Irving,R.W. Manlove,D.F. Proceedings of MatchUP: Matching Under Preferences  Algorithms and Complexity pp 126132 [More Details]. An automatic abstraction technique for verifying featured, parameterised systems Calder,M. Miller,A. Theoretical Computer Science, Volume 404 pp 235255 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 279292 Springer [More Details]. Automatic Symmetry Detection for Promela Donaldson,A.F. Miller,A. Journal of Automated Reasoning, Volume 41, Issue 34 pp 251293 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 390394 Springer [More Details]. Integral Stable Allocation Problem on Graphs Biro,P. Fleiner,T. DCS Technical Report Series pp 112 Dept of Computing Science, University of Glasgow [More Details]. Keeping partners together: Algorithmic results for the Hospitals / Residents problem with couples McDermid,E.J. Manlove,D.F. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. LDS : testing the hypothesis Unsworth,C. Prosser,P. DCS Technical Report Series pp 5 Dept of Computing Science, University of Glasgow [More Details]. 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 255262 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 120 Dept of Computing Science, University of Glasgow [More Details]. Prism2Promela Power,C. Miller,A. Proceedings of Quantitative Evaluation of Systems (QEST 2008) pp 7980 IEEE [More Details]. Property Preservation in Quotient Structures Miller,A. Donaldson,A. DCS Technical Report Series pp 134 Dept of Computing Science, University of Glasgow [More Details]. 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/9783540705451_51 pp 543547 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 communicationcentric software (PLACES'08), Oslo pp 1621 [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 BioPEPA 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 344360 Springer [More Details]. Student Admissions in Hungary as Gale and Shapley Envisaged Biro,P. DCS Technical Report Series pp 17 Dept of Computing Science, University of Glasgow [More Details]. Studentproject allocation with preferences over projects Manlove,D.F. O'Malley,G. Journal of Discrete Algorithms, volume 6 pp 553560 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 8593 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 29592977 Elsevier Science [More Details]. The Stable Roommates problem with GloballyRanked Pairs Abraham,D.J. Levavi,A. Manlove,D.F. O'Malley,G. Internet Mathematics, volume 5, number 4 pp 493515 [More Details]. The Ultrametric Constraint and its Application to Phylogenetics Moore,N.C.A. Prosser,P. Journal of Artificial Intelligence Research, Volume 32 pp 901938 AAAI Press [More Details]. 2007A Constraint Programming Approach to the Hospitals / Residents ProblemManlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. A Constraint Programming Approach to the Hospitals / Residents Problem Manlove,D.F. O'Malley,G. Prosser,P. Unsworth,C. Proceedings of CPAIOR '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 155170 Springer [More Details]. A templatebased 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 439455 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 (PLANX 2007) pp 3748 [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 548558 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 162176 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 115116 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 129140 [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]. Swave 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 34973504 [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 Explicitstate model checking Donaldson,A.F. Miller,A. Proceedings of the first International Symmetry Conference. pp 4145 [More Details]. The cycle roommates problem: a hard case of kidney exchange Irving,R.W. Information Processing Letters vol. 103 pp 14 Elsevier Science [More Details]. The stable fixtures problem  a manytomany extension of stable roommates Irving,R.W. Scott,S. Discrete Applied Mathematics vol. 155 pp 21182129 Elsevier Science [More Details]. The Stable Roommates problem with GloballyRanked 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 431444 Springer [More Details]. The Stable Roommates problem with GloballyRanked Pairs Abraham,D.J. Levavi,A. Manlove,D.F. O'Malley,G. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. Trianglefree Linear Spaces on 13 points with line sizes 2,3, and 4 Miller,A. DCS Technical Report Series pp 112 Dept of Computing Science, University of Glasgow [More Details]. Two Algorithms for the StudentProject Allocation Problem Abraham,D.J. Irving,R.W. Manlove,D.F. Journal of Discrete Algorithms vol. 5 pp 7390 Elsevier Science [More Details]. 2006"Almost Stable" Matchings in the Roommates ProblemAbraham,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 114 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 256262 [More Details]. A case study of mutual schedulingrouting reformulation Beck,J.C.B. Prosser,P. Selensky,E. Journal of Scheduling (volume 9) pp 469491 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 374380 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 4467 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 (FMEd 2006) pp 6374 [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 541556 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 6376 [More Details]. Feature Interaction Detection by Pairwise Analysis of LTL Propertiesa case study Calder,M. Miller,A. Formal Methods in System Design, Volume 28(3), May 2006 pp 213261 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 4761 [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 123 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 249264 [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]. 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 492503 Springer Verlag [More Details]. Quantum programming languages: survey and bibliography Gay,S.J. Mathematical Structures in Computer Science 16(4) DOI:10.1017/S0960129506005378 pp 581600 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]. Rankmaximal matchings Irving,R.W. Michail,D. Mehlhorn,K. Paluch,K. Telikepalli,K. ACM Transactions on Algorithms vol. 2 no. 4 pp 491499 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 95106 [More Details]. Stronger computational modelling of signalling pathways using both continuous and discretestate methods Calder,M. Duguid,A. Gilmore,S. Hillston,J. Computational Methods for Systems Biology, LNBI Vol. 4210 pp 6378 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 7582 [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 923 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 (FMEd 2006) pp 38 [More Details]. Type checking a multithreaded functional language with session types Vasconcelos,V.T. Gay,S.J. Theoretical Computer Science 368(12) DOI:10.1016/j.tcs.2006.06.028 pp 6487 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 375406 Cambridge University Press [More Details]. Uncertain Agent Verification through Probabilistic ModelChecking 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 6984 [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]. 2005A Constraint model and a reduction operator for the minimising open stacks problemMiller,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 4450 [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 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 2843 [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 217235 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 nary 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 179190 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 481496 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 138139 [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 204215 University of Edinburgh [More Details]. Communicating Quantum Processes Gay,S.J. Nagarajan,R. Proceedings of the 32nd ACM SIGACTSIGPLAN Symposium on Principles of Programming Languages DOI: 10.1145/1040305.1040318 pp 145157 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 249261 [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 266271 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 161177 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 3643 [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 1017 [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 525526 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 525526 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 7991 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 424432 ACM [More Details]. Quantum Programming Languages: Survey and Bibliography Gay,S.J. Bulletin of the European Association for Theoretical Computer Science pp 176196 [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 939947 [More Details]. Studentproject 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 6980 [More Details]. Subtyping for session types in the pi calculus Gay,S.J. Hole,M.J. Acta Informatica 42(2/3) DOI: 10.1007/s002360050177z pp 191225 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 8698 [More Details]. Symmetry Reduction for Probabilistic Systems Donaldson,A.F. Miller,A. Proceedings of the 12th Worskhop on Automated Reasoning, Edinburgh, July 2005. pp 1718 [More Details]. SymNet Workshop on AlmostSymmetry in Search Donaldson,A.F. Gregory,P. pp 61 [More Details]. The ExchangeStable Marriage Problem Cechlarova,K. Manlove,D.F. Discrete Applied Mathematics, volume 152 pp 109122 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 18911895 [More Details]. 2004A note on the calculation of the effective rangeOuerdane,H. Jamieson,M.J. Journal of Physics B: Atomic, Molecular and Optical Physics, 37 pp 37653769 [More Details]. Combined Super/Substring and Super/Subsequence Problems Middendorf,M. Manlove,D.F. Theoretical Computer Science, volume 320 pp 247267 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 1825 [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 697713 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 4566 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 143164 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 EastEuropean 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]. ManExchange Stable Marriage Irving,R.W. pp 111 [More Details]. Modelling the Influence of RKIP on the ERK Signalling Pathway using the Stochastic Process Algebra PEPA Calder,M. Gilmore,S. Hillston,J. DCS Tech Report [More Details]. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA Calder,M. Gilmore,S. Hillston,J. Proceedings of bioCONCUR 2004, 2nd workshop on Concurrent Models in Molecular Biology, Electronic Notes in Theoretical Computer Science [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 310324 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 315 Springer Verlag [More Details]. Pareto optimality in the Roommates problem Abraham,D.J. Manlove,D.F. DCS Tech Report pp 116 [More Details]. Plagiarism and collusion detection using the SmithWaterman algorithm Irving,R.W. DCS Technical Report pp 124 Dept of Computing Science, University of Glasgow [More Details]. Rankmaximal matchings Irving,R.W. Kavitha,T. Mehlhorn,K. Michail,D. Paluch,K. Proceedings of 15th Annual ACMSIAM 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 ResearchAtmospheres, 109 pp D13302 [More Details]. Scattering parameters for cold LiRb and NaRb collisions derived from variable phase theory Ouerdane,H. Jamieson,M.J. Phys. Rev. A, 70 pp 02271210227127 [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 157171 [More Details]. SPINtoGRAPE: a tool for analysing symmetry in Promela models Donaldson,A. Miller,A. Calder,M. Electronic notes in Theoretical computer science 139/1 pp 323 Elsevier Science [More Details]. Stability in labour market games Cechlarova,K. Irving,R.W. Manlove,D.F. ERCIM News, volume 57 pp 2728 [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 FailFirst 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 4155 LNCS, Springer [More Details]. Two Algorithms for the StudentProject 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 711715 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 227234 [More Details]. 2003A Design Space for LocationSensitive Aids for Older UsersGoodman,J. Gray,P. DCS Tech Report pp 7 [More Details]. A Design Space for LocationSensitive Aids for Older Users Goodman,J. Gray,P. HCI in Mobile Guides, workshop at MobileHCI 2003 pp 1216 [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 152159 [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]. Ageold Question(naire)s Goodman,J. Syme,A. Eisma,R. Include 2003 Helen Hamlyn Research Centre [More Details]. AMBAARM7 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 ModelChecking for Dependable SoftwareIntensive Systems (MCDSIS`03), supplement to the Proceedings of DSN2003 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 431447 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. Inhome 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. SarbaziAzad,H. Ouerdane,H. Jeung,G.H. Lee,Y.S. Lee,W.C. Journal of Physics B:Atomic, Molecular and Optical Physics, Vol 36 pp 10851097 Academic Press [More Details]. Feature Interaction: A Critical Review and Considered Forecast Calder,M. Magill,E. Kolberg,M. ReiffMarganiec,S. Computer Networks, Volume 41/1 pp 115141 NorthHolland [More Details]. Generalising Feature Interactions in Email Calder,M. Miller,A. Feature Interactions in Telecommunications and Software Systems VII pp 187205 IOS Press [More Details]. Hybrid Solutions to the Feature Interaction Problem Calder,M. Kolberg,M. Magill,E. Marples,D. ReiffMarganiec,S. Feature Interactions in Telecommunications and Software Systems VII pp 295312 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/s0016500300181 pp 299318 Springer [More Details]. Multichannel study of spinexchange 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 042715116 [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 L415L418 [More Details]. Session Types for InterProcess Communication Gay,S.J. Vasconcelos,V.T. Ravara,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. 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 439450 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 837841 Springer [More Details]. The ExchangeStable Marriage Problem Cechlarova,K. Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. The StudentProject Allocation Problem Abraham,D.J. Irving,R.W. Manlove,D.F. Proceedings of ISAAC 2003: The 14th Annual International Symposium on Algorithms and Computation, volume 2906 of Lecture Notes in Computer Science pp 474484 Springer Verlag [More Details]. The StudentProject Allocation Problem Abraham,D.J. Irving,R.W. Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. The suffix binary search tree and suffix AVL tree Irving,R.W. Love,L. Journal of Discrete Algorithms Volume 1 pp 387408 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 40554063 [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 ClientServer 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 247266 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]. 2002A 0/1 encoding of the GACLex constraint for pairs of vectorsGent,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 5561 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 227230 IEEE [More Details]. Cold collisions of Rb and Cs atoms Jamieson,M.J. SarbaziAzad,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. SarbaziAzad,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 256271 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 655657 [More Details]. Five ways to use induction and symmetry in the verification of networks of processes by modelchecking Calder,M. Miller,A. Proceedings of AvoCS 2002 (Automated Verification of Critical Systems), University of Birmingham School of Computer Science Technical Report CSR026 pp 2942 [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 6074 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 261279 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 85105 Academic Press [More Details]. The structure of stable marriage with indifference Manlove,D.F. Discrete Applied Mathematics, volume 122 pp 167181 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 LogicsQuigley,C.L. University of Edinburgh, Division of Informatics, Informatics Research Report EDIINFRR0046 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 225239 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 139148 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, SpringerVerlag. DOI: 10.1007/3540447555_16 pp 217232 Springer [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 184200 Kluwer [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]. An Adequate Logic for Full LOTOS Calder,M. Maharaj,S. Shankland,C. Proceedings of FME 2001, Lecture Notes in Computer Science, volume 2021 pp 384395 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 722 [More Details]. Introduction of static load balancing in incremental parallel programming Goodman,J. O'Donnell,J.T. Proceedings of EuroPar 2001 Parallel Processing, Lecture Notes in Computer Science, pp. 535539, vol. 2150 pp 535539 Springer [More Details]. Massdependence of scattering lengths for hydrogen atoms Jamieson,M.J. Zygelman,B. Dalgarno,A. Physical Review A, Vol. 64 pp 03270317 [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 1625 IEEE [More Details]. Predicted predissociation linewidths in the SchumannRunge bands of O2 compared recent high resolution measurements Tong,G.S.M. Cheung,AS.C. Jamieson,M.J. Journal of Chemical Physics, Vol. 114 pp 79697975 [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 345372 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 193206 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 249265 LNCS, Springer [More Details]. Theory and Practice of Enhancing a Legacy Software System Calder,M. Magill,E. ReiffMarganiec,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 143162 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 913 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]. 2000A comparison of traditional and constraintbased heuristic methods on vehicle routing problems with side constraintsKilby,P.J. Shaw,P. Prosser,P. Journal of Constraints, Volume 5 No 4. pp 389414 Kluwer [More Details]. A Methodology for LargeScale 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 ComputerAided Design). (Hunt, W.A. Jr and Johnson, S.D. Eds.). Lecture Notes in Computer Science, Volume No 1954 pp 263282 Springer Verlag [More Details]. A Multicast Framework in Support of Scalable Monitoring Systems for Telecommunication Networks Sventek,J.S. Guerraoui,R. Pollock,G. Thomas,M. Thompson,D. [More Details]. A SideEffectFree 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 782791 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 105129 [More Details]. An Analysis of Errors in Interactive Proof Attempts Aitken,S. Melham,T.F. Interacting with Computers, Vol 12, No. 6. pp 565586 [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 629643 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,ZC. Jeung,Q.H. Dalgarno,A. Physical Review Letters, Vol. 84 pp 28062809 [More Details]. Enhanced cooling of hydrogen by alkalimetal 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 118 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 317335 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 182195 Springer [More Details]. NewtonRaphson/logderivative method for finding eigenenergies Jamieson,M.J. Computer Physics Communications, Vol. 125 pp 193195 [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 SchumannRunge bands of O_2 compared with recent highresolution measurements Tong,G.S.M. Cheung,AS.C. Jamieson,M.J. The 6'th HITRAN conference, HarvardSmithsonian 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 353368 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 501524 Kluwer [More Details]. The calculation of molecular properties at large internuclear distances Jamieson,M.J. Dalgarno,A. L. Wolniewicz,L. Physical Review A, Vol. 61 pp 04270516 [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 259271 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 7892 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]. Timedependent quantum mechanical study of molecular oxygen in the SchumannRunge continuum Balakrishnan,N. Jamieson,M.J. Dalgarno,A. Li,Y. Buenker,R.J. Journal of Chemical Physics, Vol. 112 pp 12551259 [More Details]. Types for Correct Communication in ClientServer Systems Gay,S.J. Hole,M. Technical report CSDTR0007, 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]. 1999A Hybrid Approach to Software Interworking Problems: Managing Interactions Between Legacy and Evolving Telecommunications ServicesCalder,M. Marples,D. Magill,E. IEE Proceedings Software pp 167175 IEE Publications [More Details]. A Specification Structure for DeadlockFreedom of Synchronous Processes Abramsky,S. Gay,S.J. Nagarajan,R. Theoretical Computer Science 222(12) DOI: 10.1016/S03043975(98)001893 pp 153 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 222224 [More Details]. An ML Editor Based on ProofsasPrograms 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 166173 IEEE Computer Society Press [More Details]. Collisions of groundstate hydrogen atoms Jamieson,M.J. Dalgarno,A. Zygelman,B. Krstic,P.S. Schultz,D.R. Physical Review A. Vol. 61 pp 01470114 [More Details]. Data Parallelism O'Donnell,J.T. Research Directions in Parallel Functional Programming. (Hammond, K., Michaelson, G. Eds.,) pp 191206 Springer [More Details]. Error estimation in molecular vibrational energies calculated by Johnson's logderivative method Jamieson,M.J. Friedman,R.S. Computer Physics Communications, Vol. 118 pp 145152 [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 473486 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 4356 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 324337 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 194197 [More Details]. On rational function approximations to square roots Jamieson,M.J. American Mathematical Monthly, Vol. 106 pp 5052 [More Details]. On the algorithmic complexity of twelve covering and independence parameters of graphs Manlove,D.F. Discrete Applied Mathematics, volume 91 pp 155175 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 443452 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, CADE16 (Trento, Italy); Ganzinger, H. (editor), Lecture Notes in Artificial Intelligence pp 388392 Springer [More Details]. The Application of ModelChecking 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 bchromatic number of a graph Irving,R.W. Manlove,D.F. Discrete Applied Mathematics, volume 91 pp 127141 Elsevier Science [More Details]. The Constrainedness of Constraint Satisfaction Gent,I.P. Prosser,P. Walsh,T. The Tropical Conference on NPhardness 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 155172 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 511522 [More Details]. Transparent Optimisation of Rewriting Combinators Boulton,R.J. Journal of Functional Programming Volume no 9 pp 113146 [More Details]. Types and Subtypes for ClientServer 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 7490 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 202218 Springer [More Details]. 1998A 3/2 Approximation Algorithm for Sorting by ReversalsChristie,D.A. Proceedings of SODA'98: The 9th Annual ACMSIAM Symposium on Discrete Algorithms, San Franciso, USA, ACMSIAM. pp 244252 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 87104 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 169181 [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 308309 IEEE Computer Society Press [More Details]. Dynamic VRPs: A Study of Scenarios Kilby,P. Prosser,P. Shaw,P. Technical Report APES061998 [More Details]. Formally Analysed Dynamic Synthesis of Hardware Susanto,K.W. Melham,T.F. The 11th International Conference TPHOL's '98  Supplementary Proceedings. pp 105117 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 6786 Springer [More Details]. Generating Solutions for RealWorld Vehicle Routing Problems Kilby,P.J. Prosser,P. Shaw,P. INFORMS [More Details]. How a change in the interaction potential affects the swave scattering length Jamieson,M.J. Dalgarno,A. Journal of Physics B: Atomic, Molecular and Optical Physics Vol. 31 pp 219222 [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 263284 [More Details]. Matching Medical Students to Pairs of Hospitals: a new variation on a wellknown 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 381392 Springer [More Details]. Minimaximal and maximinimal optimisation problems: a partial orderbased 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 397423 Sage [More Details]. Pell and PellLucas numbers and acceleration of convergence Jamieson,M.J. Mathematics Today, Vol. 34 pp 153156 [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 325339 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 325339 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, CADE15 (Lindau, Germany), Kirchner, C., Kirchner, H., eds. pp 134138 Springer [More Details]. The Dynamics of Dynamic Variable Ordering Heuristics Prosser,P. Proceedings of Principles and Practice of Constraint Programming  CP98, LNCS1520 pp 1723 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 1031 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 LogicsQuigley,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. EuroPar'97: Parallel Processing (Passau, Germany) pp 662669 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 8195 Springer [More Details]. A TypeTheoretic Approach to DeadlockFreedom 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 295320 Springer [More Details]. Accident Analysis and Action Logic Burns,C. Johnson,C.W. Thomas,M. DCS Tech Report pp 3339 [More Details]. Accident Fault Trees Love,L. Johnson,C.W. DCS Tech Report pp 1625 Dept of Computing Science, University of Glasgow [More Details]. 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 CP97 Workshop on Industrial Constraintbased 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 168183 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 2maximal independence number of a graph Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. On the algorithmic complexity of twelve covering and independence parameters of graphs Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. 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 6787 Routledge [More Details]. Parallel distributed programming with Haskell + PVM Winstanley,N. O'Donnell,J.T. Proceedings of EuroPar'97: Parallel Processing. Volume No 1300 pp 670677 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 479493 Springer [More Details]. The bchromatic number of a graph Irving,R.W. Manlove,D.F. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. The constrainedness of arcconsistency Gent,I.P. Macintyre,E. Prosser,P. Shaw,P. Walsh,T. Proceeding of Principles and Prctices of Constraint Programming  CP97, LNCS 1330 pp 327340 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, AAAI97 pp 315320 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 245262 Springer [More Details]. Using Extended FaultTrees in Conjunction with Traditional Accident Reports Love,L. Johnson,C.W. Interact'97 pp 102103 Chapman & Hall [More Details]. 1996A Program Logic for GammaGay,S.J. Hankin,C.L. Coordination Programming: Mechanisms, Models and Semantics (J.M. Andreoli and C. L. Hankin, eds.) pp 171194 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 179193 Springer [More Details]. An empirical study of the phase transition in binary constraint satisfaction problems Prosser,P. Artificial Intelligence, Volume 81 pp 81109 Elsevier Science [More Details]. Consistent Subsequences and Supersequences Fraser,C.B. Theoretical Computer Science. Volume No 165 pp 233246 [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 173190 Springer [More Details]. Formal Methods and their Role in Developing Safe Systems Thomas,M. High Integrity Systems Journal, vol. 1, no. 5 pp 447452 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, SpringerVerlag Springer [More Details]. Lineclosed Subsets of Steiner Triple Systems and Classical Linear Spaces Camina,A.R. Miller,A. Journal of Statistical Planning and Inference Vol:56 pp 6577 [More Details]. Maximal Common Subsequences and Minimal Common Supersequences Irving,R.W. Fraser,C.B. Middendorf,M. Information and Computation. Volume No 124 pp 145153 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 18 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 817826 [More Details]. Some Research Issues in Higher Order Logic Theorem Proving Melham,T.F. volume NS967 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 165169 [More Details]. Specification Structures and PropositionsasTypes 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/3540609156_2 pp 540 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, AAAI96 pp 246252 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 8486 [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 316 Universidade Federal de Pernambuco [More Details]. 1995A formal derivation of a parallel binary addition circuitO'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 195218 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 303325 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 phaseshift calculations by asymptotic fit and quadrature in ultralow temperature scattering Cote,R. Jamieson,M.J. Journal of Computational Physics, Vol. 118 pp 388391 [More Details]. Elastic scattering of two 7Li atoms Cote,R. Dalgarno,A. Jamieson,M.J. Physical Review A, Vol. 50 pp 399404 [More Details]. Experiences with LOTOS: A Report on Two Case Studies Kirkwood,C. Thomas,M. Proceedings of WIFT '95 pp 159172 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 195214 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 SchumannRunge 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 23692371 [More Details]. Linear Types for Communicating Processes Gay,S.J. University of London PhD Thesis [More Details]. MACCBJ: maintaining arc consistency with conflictdirected backjumping Prosser,P. Technical Report 95/177 [More Details]. On Johnson's logderivative algorithm for a single equation Friedman,R.S. Jamieson,M.J. Computer Physics Communications, Vol. 85 pp 231238 [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 7087 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 382388 [More Details]. Scattering lengths and effective ranges for HeHe and spinpolarised HH and DD scattering Dalgarno,A. Jamieson,M.J. Kimura,M. Physical Review A, Vol. 51 pp 26262629 [More Details]. Stochastic techniques for resource management Brind,C. Muller,C. Prosser,P. BT technology journal pp 5563 [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 dipoledipole dispersion interaction for helium Jamieson,M.J. Drake,G.W.F. Dalgarno,A. Physical Review A, Vol. 51 pp 33583361 [More Details]. 1994A case study in parallel program derivation: the heat equation algorithmO'Donnell,J.T. Ruenger,G. Functional Programming, Glasgow 1994, Springer Workshops in Computing pp 167183 Springer Verlag [More Details]. A correctness proof of parallel scan O'Donnell,J.T. Parallel Processing Letters, Vol. 4, No. 3 (September 1994) pp 329338 World Scientific [More Details]. A Mechanized Theory of the picalculus in {HOL Melham,T.F. pp 5076 [More Details]. A Mechanized Theory of the picalculus in HOL Melham,T.F. Nordic Journal of Computing. Vol 1, no 1 pp 5076 [More Details]. A Proof of Incorrectness using LP: the Editing Problem from the Therac25 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 1630 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 465486 Wiley [More Details]. Binary constraint satisfaction problems: Some are harder than others Prosser,P. European Conference on Artificial Intelligence (ECAI) pp 9599 [More Details]. he HOL Logic Extended with Quantification over Type Variables Melham,T.F. Journal: Formal Methods in System Design pp 724 [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 6778 [More Details]. Low temperature scattering of HeHe and HH 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 173183 Springer [More Details]. NonCayley vertextransitive graphs of order twice the product of two odd primes Miller,A. Praeger,C. Journal of Algebraic combinatorics 3 pp 77111 Kluwer [More Details]. On the Design of SideStick Controllers in FlyByWire 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 261272 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 309340 Morgan Kaufmann [More Details]. The HOL Logic Extended with Quantification over Type Variables Melham,T.F. Journal: Formal Methods in System Design, vol3, no 12 pp 724 [More Details]. The Story of the Therac25 in LOTOS Thomas,M. High Integrity Systems Journal, Volume 1, Number 1 pp 317 Oxford University Press [More Details]. Threedimensional statistical data security problems Irving,R.W. Jerrum,M.R. SIAM Journal on Computing Volume No. 23 pp 170184 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 129142 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 L73L78 [More Details]. 1993A Sort Inference Algorithm for the Polyadic PiCalculusGay,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 3752 Elsevier Science [More Details]. Bidirectional fold and scan O'Donnell,J.T. Functional Programming, Glasgow 1993, Springer Workshops in Computing pp 193200 Springer Verlag [More Details]. BM + BJ = BMJ Prosser,P. 9th Conference on Artificial Intelligence for Applications pp 257262 [More Details]. Continuum absorption of vibrationally excited O2 from 200320 nm Babb,J.F. Sun,Y. Jamieson,M.J. Dalgarno,A. Allison,A.C. Journal of Quantitative Spectroscopy and Radiative Transfer, Vol. 50 pp 579583 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 6879 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 7078 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 AISL4893 [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 268299 [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 169173 [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, SpringerVerlag 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 6373 Springer [More Details]. Programming Language Processors Watt,D.A. pp 1452 Prentice Hall [More Details]. Rotational dependence of the predissociation linewidths of the SchumannRunge 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 10861092 [More Details]. Scheduling as a constraint satisfaction problem: theory and practice Prosser,P. Scheduling of production processes pp 2230 Ellis Horwood [More Details]. Solving Divergence inKnuthBendix Completion by Enriching Signatures Thomas,M. Watson,P. Theoretical Computer Science,vol. 112 pp 145185 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 A20 pp 317 NorthHolland [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 209229 Springer [More Details]. 1992A constraint maintenance system for the distributed resource allocation problemProsser,P. Conway,C. Muller,C. Intelligent Systems Engineering pp 7683 [More Details]. A distributed constraint maintenance system Prosser,P. Conway,C. Muller,C. Proceedings of the 12 International Conference on Artificial Intelligence pp 221231 [More Details]. A Mechanised Theory of the calculus in {HOl}} Melham,T.F. [More Details]. A Mechanized Theory of the picalculus 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 350357 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 95109 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 17191721 [More Details]. Elastic scattering of hydrogen atoms at low temperatures Jamieson,M.J. Dalgarno,A. Yukich,J.N. Physical Review A, Vol. 46 pp 69566961 [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 5358 [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 178194 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 17871792 [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 predsets 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 A10 NorthHolland [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 214229 Springer [More Details]. 1991A distributed asynchronous system for predictive and reactive scheduling.Burke,P. Prosser,P. Artificial Intelligence in Engineering. Vol. 6, no. pp 106124 [More Details]. A Mechanized Theory of the picalculus in {HOL} Melham,T.F. Proceedings of the Second Workshop on Logical Frameworks pp 219237 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 5357 [More Details]. A Subspace theorem for ordinary linear differential equations Miller,A. Journal of the Australian Mathematical Society (Series A) volume 50 pp 320332 Wiley [More Details]. A timedependent HartreeFock study of dispersion in the CottonMouton effect for the helium isoelectronic sequence Jamieson,M.J. Chemical Physics Letters, Vol. 183 pp 915 [More Details]. Algebraic Semantics Thomas,M. Chapter 4 pp 147183 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 4453 Springer Verlag [More Details]. Comments on the NumerovCooley and HartreeCooley methods Jamieson,M.J. Du,M.L. Computer Physics Communications, Vol. 64 Computer Physics Communications, Vol. 64 Computer Physics Communications, Vol. 64 pp 360362 [More Details]. CottonMouton constants and electric hyperpolarizabilities for the helium isoelectronic sequence Jamieson,M.J. Chemical Physics Letters, Vol. 176 pp 467471 [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. PeytonJones, G. Hutton, C. Kehler Holst (eds.) pp 268273 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]. Logderivative methods based on linear twostep integration formulae Jamieson,M.J. Du,M.L. Computer Physics Communications, Vol. 66 pp 150156 [More Details]. On approximating the minimum independent dominating set Irving,R.W. Information Processing Letters Volume No. 37 pp 197200 Elsevier Science [More Details]. Programming Language Syntax and Semantics Watt,D.A. pp 1389 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]. 1990A continued fraction propagator for the logderivative used to find eigenvaluesJamieson,M.J. Journal of Physics B: Atomic, Molecular and Optical Physics, Vol. 23 pp L267L270 [More Details]. Abstraction Mechanism for Hardware Verification Melham,T.F. Formal Verification of Hardware Design pp 3049 IEEE Computer Society Press [More Details]. Executing declarative languages on a finegrain parallel machine O'Donnell,J.T. Declarative Systems: Proc. IFIP TC10/WG10.1 Workshop on Concepts and Characteristics of Declarative Systems pp 149163 NorthHolland [More Details]. Fibonacci numbers and Aitken sequences revisited Jamieson,M.J. American Mathematical Monthly, Vol. 97 pp 829831 [More Details]. From 1 Notation to Another One: An ACTONE Semantics for ASN.1 Thomas,M. Formal Description Techniques II,S.T. Vuong (Ed.) pp 517532 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 L297L300 [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 1723 [More Details]. Programming Language Concepts and Paradigms Watt,D.A. pp 1322 Prentice Hall [More Details]. 1989A Reactive Scheduling AgentProsser,P. Proceedings International Joint Conference on Artificial Intelligence (IJCAI) [More Details]. Automatin Recursive Type Definitions in Higher Order Logis Melham,T.F. pp 341386 [More Details]. Coupled HartreeFock calculation of the Cotton Mouton constant and hyperpolarizability of helium Jamieson,M.J. Chemical Physics Letters, Vol. 154 pp 521524 [More Details]. Inductive Inference for Solving Divergence in KnuthBendix Completion Thomas,M. Jantke,K. Proceedings of Analogical and Inductive Inference '89, Lecture Notes in Computer Science, Volume 397 pp 288303 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 29802982 [More Details]. Model potentials for multichannel eigenvalue problems Friedman,R.S. Jamieson,M.J. Computer Physics Communications, Vol. 55 pp 137140 [More Details]. Parametric stable marriage and minimum cuts Gusfield,D. Irving,R.W. Information Processing Letters Volume No. 30 pp 255259 Elsevier Science [More Details]. Rapidly converging iterative formulae for finding square roots and their computational efficiencies Jamieson,M.J. Computer Journal, Vol. 32 pp 9394 [More Details]. The Professional Programmers Guide to Pascal Watt,D.A. pp 1115CW 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 2626 [More Details]. 1988A comment on the use and accuracy of the Richardson deferred approach to the limitJamieson,M.J. Computer Physics Communications, Vol. 50 pp 289292 [More Details]. A hybrid genetic algorithm for pallet loading Prosser,P. European Conference on Artificial Intelligence pp 159164 [More Details]. Abstraction Mechanism for Hardware Verification Melham,T.F. pp 267291 [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 5657 [More Details]. Automating Recursive Type Definitions in Higher Order Logic Melham,T.F. Current Trends in Hardware Verficiation and Automated Theorem Proving pp 341386 University of Cambridge [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 379384 Canadian Society for Electrical Engineering [More Details]. Hardware Verification by Formal Proof Birtwistle,G. Graham,B. Schediwy,R. Melham,T.F. Computer Science, University of Calgary [More Details]. On the complexity of evaluating a determinant by elementary expansion Jamieson,M.J. Computer Journal, Vol. 31 pp 286286 [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 2750 NorthHolland [More Details]. 1987A note of the convergence of an iterative scheme for solving a quadratic equationJamieson,M.J. Computer Journal, 30 1987. Computer Journal, 30 1987. Computer Journal. Vol. 30 pp 189190 [More Details]. Abstraction Mechanisms for Hardware Verification Melham,T.F. pp 267291 University of Cambridge [More Details]. Ada  Language and Methodology Watt,D.A. Wichmann,B.A. Findlay,W. pp 1518 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 532544 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 295299 [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 L659L663 [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 304309 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 197211 Springer [More Details]. Numerical solution of the restricted rotor eigenvalue equation in molecular collision calculations Jamieson,M.J. Computer Physics Communications, Vol. 47 pp 229234 [More Details]. 1986A coupled HartreeFock calculation of the paramagnetic contribution to the CottonMouton constant of heliumJamieson,M.J. Chemical Physics Letters, Vol. 123 pp 402404 [More Details]. Hardware Verification Using HigherOrder Logic Camilleri,A. Gordon,M. Melham,T.F. University of Cambridge [More Details]. Hardware Verification using HigherOrder 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 8397 [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 8397 NorthHolland [More Details]. The complexity of counting stable marriages Irving,R.W. Leather,P. SIAM Journal on Computing Volume No. 15 pp 655667 Society for Industrial and Applied Mathematics [More Details]. 1985An efficient algorithm for the stable roommates problemIrving,R.W. Journal of Algorithms Volume No. 6 pp 577595 Academic Press [More Details]. An Introduction to Methodical Programming Watt,D.A. Findlay,W. pp 1413 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 614 [More Details]. 1984{{EDICT}: An Environment for Design Using Integrated Circuit ToolsBirtwistle,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 373375 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]. 1983Elementary Numerical MethodsJamieson,M.J. (Pitman) [More Details]. NPcompleteness of a family of graph colouring problems Irving,R.W. Discrete Applied Mathematics Volume No. 5 pp 111117 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 L391L396 [More Details]. 1982On group partitions associated with lower bounds for symmetric Ramsey numbersHill,R. Irving,R.W. European Journal of Combinatorics Volume No. 3 pp 3550 Academic Press [More Details]. Pocket Guide to Pascal Watt,D.A. pp 158CW Pitman Publishing [More Details]. 1981Dipole transitions from excited S states of two electron systems in timedependent HartreeFock theoryJamieson,M.J. Watts,R.S. Chemical Physics Letters, Vol. 84 pp 560564 [More Details]. 1980A program to calculate the eigenfunctions of the random phase approximation for two electron systemsJamieson,M.J. Aldeen,I.H.K. Computer Physics Communications, Vol. 20 pp 213219 [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 15921598 [More Details]. Integer division Jamieson,M.J. Software  Practice and Experience, Vol. 10 pp 333333 [More Details]. Scaling and Pade approximants in perturbation theory Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 13 pp L405L409 [More Details]. Timedependent HartreeFock theory of resonances in sodium Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 13 pp L19L22 [More Details]. Transitions between excited states of two electron systems in timedependent HartreeFock theory Jamieson,M.J. Watts,R.S. Chemical Physics Letters, Vol. 76 pp 287290 [More Details]. 1979Potentials for the ammoniated electronWebster,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 8187 Baywood [More Details]. 1978A bipartite Ramsey problem and the Zarankiewicz numbersIrving,R.W. Glasgow Mathematical Journal Volume No. 19 pp 1326 [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 L31L35 [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 931935 [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 87125 [More Details]. 1977A comparison between semiclassical and quantal treatments of elastic eH(1s) collisions at intermediate energiesReid,R.H.G. Kingston,A.E. Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 10 pp 841846 [More Details]. Direct evaluation of eigenfunctions and eigenvalues of timedependent HartreeFock theory Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 10 pp L129L132 [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 35913597 [More Details]. On the accuracy of semiclassical treatments of differential scattering of electrons by atoms: 1s2s and 1s2p excitation in eH collisions Reid,R.H.G. Kingston,A.E. Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 10 pp 5570 [More Details]. Parameters for some resonances in photoionization for the lithium isoelectronic series Jamieson,M.J. Chemical Physics Letters, Vol. 47 pp 606610 [More Details]. 1976Rotational excitation (J=0 to J=2) of polar molecules in the sudden approximationJamieson,M.J. Chemical Physics Letters, Vol. 37 pp 191194 [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 261265 [More Details]. The geometric approximation as an example of Aitken's delta 2 transformation Jamieson,M.J. Ghafarian,A. Molecular Physics, Vol. 32 pp 17771780 [More Details]. Timedependent HartreeFock theory for resonances in the photoionization of lithium Jamieson,M.J. Chemical Physics Letters, Vol. 42 pp 441444 [More Details]. 1975Correlation and core polarization in timedependent HartreeFock theoryJamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 8 pp 537545 [More Details]. Impact parameter calculation of electron impact excitation of hydrogen Jamieson,M.J. Molecular Physics, Vol. 29 pp 633634 [More Details]. Rotational excitation of CN molecules by proton impact Jamieson,M.J. Kalaghan,P.M. Dalgarno,A. [More Details]. The geometric approximation in timedependent HartreeFock theory Jamieson,M.J. Ghafarian,A. Molecular Physics, Vol. 30 pp 16111614 [More Details]. 1974Generalised Ramsey numbers for small graphsIrving,R.W. Discrete Mathematics Volume No. 9 pp 251264 Elsevier Science [More Details]. 1973An extension of Schur's theorem on sumfree partitionsIrving,R.W. Acta Arithmetica Volume No. 25 pp 5564 [More Details]. On a bound of Graham & Spencer for a graphcolouring constant Irving,R.W. Journal of Combinatorial Theory (Series B) Volume No. 15 pp 200203 Academic Press [More Details]. Timedependent HartreeFock calculations of electric field gradient induced birefringence in He and Li+ Jamieson,M.J. Molecular Physics, Vol. 26 pp 231232 [More Details]. Timedependent HartreeFock 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 133159 [More Details]. 1972Time dependent HartreeFock treatment of elastic scattering of electrons by H and He+Jamieson,M.J. Journal of Physics B: Atomic and Molecular Physics, Vol. 5 pp L26L30 [More Details]. 1971The birefringence induced in spherical molecules by an electric field gradientBuckingham,A.D. Jamieson,M.J. Molecular Physics, Vol. 22 pp 117122 [More Details]. Timedependent HartreeFock theory for atoms Jamieson,M.J. International Journal of Quantum Chemistry, Vol. s4 pp 103115 [More Details]. Timedependent HartreeFock theory for atoms Jamieson,M.J. Conference on Quantum Chemistry, Sanibel Island, FL, U.S.A. [More Details]. 1970A program to calculate the radial parts of interaction matrix elements between two hydrogenic wave functions as power seriesJamieson,M.J. Computer Physics Communications, Vol. 1 pp 437439 [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 L104L107 [More Details]. 1969Impact parameter calculation of electron impact excitationJamieson,M.J. International Conference on the Physics of Electronic and Atomic Collisions VI, Cambridge, MA, U.S.A. [More Details]. 
