- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j3 |      | Patrick Prosser, Chris Unsworth: Limited discrepancy search revisited. ACM Journal of Experimental Algorithmics 16 (2011) |
| 2010 | ||
| c6 | | Muffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth: An Introduction to Pervasive Interface Automata. FACS 2010: 71-87 |
| 2009 | ||
| j2 | | 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. ECEASST 22 (2009) |
| j1 | | Muffy Calder, Philip D. Gray, Chris Unsworth: Tightly coupled verification of pervasive systems. ECEASST 22 (2009) |
| 2007 | ||
| c5 | | David Manlove, Gregg O'Malley, Patrick Prosser, Chris Unsworth: A Constraint Programming Approach to the Hospitals / Residents Problem. CPAIOR 2007: 155-170 |
| 2006 | ||
| c4 |  | |
| 2005 | ||
| c3 | | |
| c2 | | Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth: The Temporal Knapsack Problem and Its Solution. CPAIOR 2005: 34-48 |
| c1 | | Chris Unsworth, Patrick Prosser: A Specialised Binary Constraint for the Stable Marriage Problem. SARA 2005: 218-233 |
| 1 | Myrto Arapinis | |
| 2 | Mark Bartlett | |
| 3 | Muffy Calder (Muffy Thomas) | |
| 4 | Louise A. Dennis | |
| 5 | Michael Fisher | |
| 6 | Alan M. Frisch | |
| 7 | Philip D. Gray | |
| 8 | Youssef Hamadi | |
| 9 | Savas Konur | |
| 10 | David Manlove | |
| 11 | Ian Miguel | |
| 12 | Alice Miller | |
| 13 | Gregg O'Malley | |
| 14 | Patrick Prosser | |
| 15 | Eike Ritter | |
| 16 | Mark Ryan (Mark Dermot Ryan) | |
| 17 | Sven Schewe | |
| 18 | Armagan Tarim (S. Armagan Tarim) | |
| 19 | Rehana Yasmin |
Colors in the list of coauthors
Last update Thu May 23 00:41:37 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page