| 2017 | ICTAI | Finding Graph Decompositions via SAT. | Wenting Zhao, Mark H. Liffiton, Peter Jeavons, Dan Roberts |
| 2014 | ICNC | Led by nature: Distributed leader election in anonymous networks. | Lei Xu, Peter Jeavons |
| 2013 | PODC | Feedback from nature: an optimal distributed algorithm for maximal independent set selection. | Alex Scott, Peter Jeavons, Lei Xu |
| 2011 | CPAIOR | Optimization Methods for the Partner Units Problem. | Markus Aschinger, Conrad Drescher, Gerhard Friedrich, Georg Gottlob, Peter Jeavons, Anna Ryabokon, Evgenij Thorstensen |
| 2011 | IJCAI | Tackling the Partner Units Configuration Problem. | Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen |
| 2011 | STACS | Structural Decomposition Methods and What They are Good For. | Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen |
| 2011 | SAT | The Order Encoding: From Tractable CSP to Tractable SAT. | Justyna Petke, Peter Jeavons |
| 2010 | CP | Local Consistency and SAT-Solvers. | Justyna Petke, Peter Jeavons |
| 2009 | TABLEAUX | Presenting Constraints. | Peter Jeavons |
| 2008 | CP | Classes of Submodular Constraints Expressible by Graph Cuts. | Stanislav Zivn, Peter Jeavons |
| 2007 | APBC | Exact and Heuristic Approaches for Identifying Disease-Associated SNP Motifs. | Gaofeng Huang, Peter Jeavons, Dominic Kwiatkowski |
| 2007 | BIBE | A Geometrical Model for the SNP Motif Identification Problem. | Gaofeng Huang, Peter Jeavons |
| 2007 | CP | The Expressive Power of Valued Constraints: Hierarchies and Collapses. | David A. Cohen, Peter Jeavons, Stanislav Zivn |
| 2006 | AAAI | Constraint Symmetry and Solution Symmetry. | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
| 2006 | CP | An Algebraic Characterisation of Complexity for Valued Constraint. | David A. Cohen, Martin C. Cooper, Peter Jeavons |
| 2005 | CP | Symmetry Definitions for Constraint Satisfaction Problems. | David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
| 2005 | IJCAI | A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition. | David A. Cohen, Peter Jeavons, Marc Gyssens |
| 2004 | CP | A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. | David A. Cohen, Martin C. Cooper, Peter Jeavons |
| 2004 | STACS | Identifying Efficiently Solvable Cases of Max CSP. | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
| 2003 | CP | An Algebraic Approach to Multi-sorted Constraints. | Andrei A. Bulatov, Peter Jeavons |
| 2003 | CP | Soft Constraints: Complexity and Multimorphisms. | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
| 2003 | CSL | Quantified Constraints: Algorithms and Complexity. | Ferdinand Brner, Andrei A. Bulatov, Peter Jeavons, Andrei A. Krokhin |
| 2003 | IJCAI | A Maximal Tractable Class of Soft Constraints. | David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
| 2002 | STACS | The Complexity of Constraints on Intervals and Lengths. | Andrei A. Krokhin, Peter Jeavons, Peter Jonsson |
| 2001 | IJCAI | A Complete Classification of Complexity in Allens Algebra in the Presence of a Non-Trivial Basic Relation. | Andrei A. Krokhin, Peter Jeavons, Peter Jonsson |
| 2001 | STOC | The complexity of maximal constraint languages. | Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons |
| 2000 | CP | New Tractable Classes from Old. | David A. Cohen, Peter Jeavons, Richard Gault |
| 2000 | ICALP | Constraint Satisfaction Problems and Finite Algebras. | Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons |
| 1998 | CP | Constructing Constraints. | Peter Jeavons |
| 1997 | CP | Tractable Disjunctive Constraints. | David A. Cohen, Peter Jeavons, Manolis Koubarakis |
| 1996 | CP | Derivation of Constraints and Database Relations. | David A. Cohen, Marc Gyssens, Peter Jeavons |
| 1996 | CP | A test for Tractability. | Peter Jeavons, David A. Cohen, Marc Gyssens |
| 1995 | COCOON | An Algebraic Characterization of Tractable Constraints. | Peter Jeavons, David A. Cohen |
| 1995 | CP | A Unifying Framework for Tractable Constraints. | Peter Jeavons, David A. Cohen, Marc Gyssens |