Steve Linton

2007
20	EE	Abdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti: SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. International Conference on Computational Science (2) 2007: 617-624
2005
19	EE	Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith: Conditional Symmetry Breaking. CP 2005: 256-270
18	EE	Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal: Symmetry and Consistency. CP 2005: 271-285
17	EE	Michael H. Albert, Steve Linton, Nikola Ruskuc: The Insertion Encoding of Permutations. Electr. J. Comb. 12: (2005)
2004
16	EE	Tom Kelsey, Steve Linton, Colva M. Roney-Dougal: New Developments in Symmetry Breaking in Search Using Computational Group Theory. AISC 2004: 199-210
15		Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton: Tractable Symmetry Breaking Using Restricted Search Trees. ECAI 2004: 211-215
14	EE	Steve Linton: Finding the smallest image of a set. ISSAC 2004: 229-234
2003
13	EE	Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton: Generic SBDD Using Computational Group Theory. CP 2003: 333-347
12	EE	Alexander Hulpke, Steve Linton: Total ordering on subgroups and cosets. ISSAC 2003: 156-160
2002
11	EE	Steve Linton, G. Pfeiffer, Edmund F. Robertson, Nikola Ruskuc: Computing Transformation Semigroups. J. Symb. Comput. 33(2): 145-162 (2002)
10	EE	Steve Linton, Roberto Sebastiani: Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. J. Symb. Comput. 34(4): 239 (2002)
1999
9	EE	A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin: VSDITLU: a verifiable symbolic definite integral table look-up. CADE 1999: 112-126
8	EE	A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin: Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. ISSAC 1999: 253-260
7	EE	Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton: Formal Methods for Extensions to CAS. World Congress on Formal Methods 1999: 1758-1777
1998
6	EE	Thomas Breuer, Steve Linton: The GAP 4 Type System: Organising Algebraic Algorithms. ISSAC 1998: 38-45
5	EE	Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin: Lightweight Formal Methods for Computer Algebra Systems. ISSAC 1998: 80-87
1996
4		Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand: Algebra and Automated Deduction. CADE 1996: 448-462
3		Steve Linton, Duncan Shand: Some Group Theoretic Examples with Completion Theorem Provers. J. Autom. Reasoning 17(2): 145-169 (1996)
1991
2		Steve Linton: Double Coset Enumeration. J. Symb. Comput. 12(4/5): 415-426 (1991)
1		Steve Linton: Constructing Matrix Representations of Finitely Presented Groups. J. Symb. Comput. 12(4/5): 427-438 (1991)

Coauthor Index

1	A. A. Adams	[8] [9]
2	Michael H. Albert	[17]
3	Thomas Breuer	[6]
4	Marco Costanti	[20]
5	Martin Dunstan	[5] [7]
6	Ian P. Gent	[13] [15] [18] [19]
7	Hanne Gottliebsen	[8] [9]
8	Kevin Hammond	[20]
9	Warwick Harvey	[13]
10	Alexander Hulpke	[12]
11	Tom Kelsey	[5] [7] [13] [15] [16] [18] [19]
12	Hans-Wolfgang Loidl	[20]
13	Ursula Martin	[4] [5] [7] [8] [9]
14	Iain McDonald	[19]
15	Ian Miguel	[19]
16	G. Pfeiffer	[11]
17	Péter Pröhle	[4]
18	Edmund F. Robertson	[11]
19	Colva M. Roney-Dougal	[15] [16] [18]
20	Nikola Ruskuc	[11] [17]
21	Roberto Sebastiani	[10]
22	Duncan Shand	[3] [4]
23	Barbara M. Smith	[19]
24	Philip W. Trinder	[20]
25	Abdallah Al Zain	[20]

Colors in the list of coauthors