Steve Linton
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
8
Active years
1996–2010
Best venue rank
B
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ISSAC | Easy composition of symbolic computation software: a new lingua franca for symbolic computation. | Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond |
| 2008 | AISC | Symbolic Computation Software Composability. | Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond |
| 2008 | AISC | Symmetry and Search - A Survey. | Steve Linton |
| 2008 | ISPA | Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. | Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold |
| 2007 | ICCS | SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. | Abdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti |
| 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 | ISSAC | Finding the smallest image of a set. | Steve Linton |
| 2003 | CP | Generic SBDD Using Computational Group Theory. | Ian P. Gent, Warwick Harvey, Tom W. Kelsey, Steve Linton |
| 2003 | ISSAC | Total ordering on subgroups and cosets. | Alexander Hulpke, Steve Linton |
| 1999 | CADE | VSDITLU: a verifiable symbolic definite integral table look-up. | Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin |
| 1999 | FM | Formal Methods for Extensions to CAS. | Martin Dunstan, Tom W. Kelsey, Ursula Martin, Steve Linton |
| 1999 | ISSAC | Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. | Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin |
| 1998 | ISSAC | The GAP 4 Type System: Organising Algebraic Algorithms. | Thomas Breuer, Steve Linton |
| 1998 | ISSAC | Lightweight Formal Methods for Computer Algebra Systems. | Martin Dunstan, Tom W. Kelsey, Steve Linton, Ursula Martin |
| 1996 | CADE | Algebra and Automated Deduction. | Steve Linton, Ursula Martin, Pter Prhle, Duncan Shand |