Tom W. Kelsey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
6
Active years
1998–2012
Best venue rank
A
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CP | The Semigroups of Order 10. | Andreas Distler, Christopher Jefferson, Tom W. Kelsey, Lars Kotthoff |
| 2008 | AISC | The Monoids of Order Eight and Nine. | Andreas Distler, Tom W. Kelsey |
| 2007 | CP | Groupoids and Conditional Symmetry. | Ian P. Gent, Tom W. Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal |
| 2005 | CP | Conditional Symmetry Breaking. | Ian P. Gent, Tom W. Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith |
| 2005 | CP | Symmetry and Consistency. | Ian P. Gent, Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal |
| 2004 | AISC | New Developments in Symmetry Breaking in Search Using Computational Group Theory. | Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal |
| 2004 | ECAI | Tractable Symmetry Breaking Using Restricted Search Trees. | Colva M. Roney-Dougal, Ian P. Gent, Tom W. Kelsey, Steve Linton |
| 2004 | IFM | Design Verification for Control Engineering. | Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom W. Kelsey, Ursula Martin |
| 2003 | CP | Generic SBDD Using Computational Group Theory. | Ian P. Gent, Warwick Harvey, Tom W. Kelsey, Steve Linton |
| 2002 | CP | Groups and Constraints: Symmetry Breaking during Search. | Ian P. Gent, Warwick Harvey, Tom W. Kelsey |
| 1999 | FM | Formal Methods for Extensions to CAS. | Martin Dunstan, Tom W. Kelsey, Ursula Martin, Steve Linton |
| 1998 | ISSAC | Lightweight Formal Methods for Computer Algebra Systems. | Martin Dunstan, Tom W. Kelsey, Steve Linton, Ursula Martin |