Chris Unsworth

Publication Activity (10 Years)

Years Active: 2005-2018
Publications (10 Years): 2

Top Venues

CoRR

Innov. Syst. Softw. Eng.

Theory Pract. Log. Program.

University of Glasgow, UK (PHD)

Education History

University of Glasgow, UK

PHD

Publications

Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth
A Review of Literature on Parallel Constraint Solving. CoRR (2018)
Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth
A review of literature on parallel constraint solving. Theory Pract. Log. Program. 18 (5-6) (2018)
Muffy Calder, Philip D. Gray, Chris Unsworth
Is my configuration any good: checking usability in an interactive sensor-based activity monitor. Innov. Syst. Softw. Eng. 11 (2) (2015)
Chris Unsworth, Patrick Prosser
An n-ary Constraint for the Stable Marriage Problem. CoRR (2013)
Patrick Prosser, Chris Unsworth
Limited discrepancy search revisited. ACM J. Exp. Algorithmics 16 (2011)
Muffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth
An Introduction to Pervasive Interface Automata. FACS (2010)
Muffy Calder, Philip D. Gray, Chris Unsworth
Tightly coupled verification of pervasive systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009)
Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin
Towards the Verification of Pervasive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009)
David F. Manlove, Gregg O'Malley, Patrick Prosser, Chris Unsworth
A Constraint Programming Approach to the Hospitals / Residents Problem. CPAIOR (2007)
Patrick Prosser, Chris Unsworth
A Connectivity Constraint Using Bridges. ECAI (2006)
Chris Unsworth, Patrick Prosser
A Specialised Binary Constraint for the Stable Marriage Problem. SARA (2005)
Chris Unsworth, Patrick Prosser
Specialised Constraints for Stable Matching Problems. CP (2005)
Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth
The Temporal Knapsack Problem and Its Solution. CPAIOR (2005)

Chris Unsworth.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Chris Unsworth