The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Chris Unsworth" ( http://dblp.L3S.de/Authors/Chris_Unsworth )

  Author page on DBLP  Author page in RDF  Community of Chris Unsworth in ASPL-2

Publication years (Num. hits)
2005-2018 (14)
Publication types (Num. hits)
article(7) inproceedings(6) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth A Review of Literature on Parallel Constraint Solving. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth A review of literature on parallel constraint solving. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Muffy Calder, Philip D. Gray, Chris Unsworth Is my configuration any good: checking usability in an interactive sensor-based activity monitor. Search on Bibsonomy ISSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chris Unsworth, Patrick Prosser An n-ary Constraint for the Stable Marriage Problem. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Patrick Prosser, Chris Unsworth Limited discrepancy search revisited. Search on Bibsonomy ACM Journal of Experimental Algorithmics The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Muffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth An Introduction to Pervasive Interface Automata. Search on Bibsonomy FACS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher 0001, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan 0001, Sven Schewe, Chris Unsworth, Rehana Yasmin Towards the Verification of Pervasive Systems. Search on Bibsonomy ECEASST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Muffy Calder, Philip D. Gray, Chris Unsworth Tightly coupled verification of pervasive systems. Search on Bibsonomy ECEASST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chris Unsworth A specialised constraint approach for stable matching problems. Search on Bibsonomy 2008   RDF
1David Manlove, Gregg O'Malley, Patrick Prosser, Chris Unsworth A Constraint Programming Approach to the Hospitals / Residents Problem. Search on Bibsonomy CPAIOR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patrick Prosser, Chris Unsworth A Connectivity Constraint Using Bridges. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth The Temporal Knapsack Problem and Its Solution. Search on Bibsonomy CPAIOR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Chris Unsworth, Patrick Prosser Specialised Constraints for Stable Matching Problems. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Chris Unsworth, Patrick Prosser A Specialised Binary Constraint for the Stable Marriage Problem. Search on Bibsonomy SARA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license