UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for 'Dr Christopher Unsworth' ordered by Year. (14)

2010 2009 2008 2007 2006 2005

2010

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

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

2009

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

2008

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

2007

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

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

2006

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

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

2005

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

A Specialised Binary Constraint for the Stable Marriage Problem
Unsworth,C. Prosser,P. Symposium on Abstraction, Reformulation and Approximation (SARA 2005) LNCS, Springer [More Details].

An n-ary Constraint for the Stable Marriage Problem
Unsworth,C. Prosser,P. The Fifth Workshop on Modelling and Solving Problems with Constraints, held at the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) [More Details].

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

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