Steve Linton

2009
24	EE	Michael H. Albert, Steve Linton: Growing at a Perfect Speed. Combinatorics, Probability & Computing 18(3): 301-308 (2009)
2008
23	EE	Steve Linton: Symmetry and Search - A Survey. AISC/MKM/Calculemus 2008: 1
22	EE	Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond: Symbolic Computation Software Composability. AISC/MKM/Calculemus 2008: 285-295
21	EE	Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold: Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. ISPA 2008: 99-112
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] [24]
3	Jost Berthold	[21]
4	Thomas Breuer	[6]
5	Marco Costanti	[20]
6	Martin Dunstan	[5] [7]
7	Sebastian Freundt	[22]
8	Ian P. Gent	[13] [15] [18] [19]
9	Hanne Gottliebsen	[8] [9]
10	Kevin Hammond	[20] [21]
11	Warwick Harvey	[13]
12	Peter Horn	[22]
13	Alexander Hulpke	[12]
14	Tom Kelsey	[5] [7] [13] [15] [16] [18] [19]
15	Alexander Konovalov	[21] [22]
16	Hans-Wolfgang Loidl	[20]
17	Ursula Martin	[4] [5] [7] [8] [9]
18	Iain McDonald	[19]
19	Ian Miguel	[19]
20	G. Pfeiffer	[11]
21	Péter Pröhle	[4]
22	Edmund F. Robertson	[11]
23	Colva M. Roney-Dougal	[15] [16] [18]
24	Dan Roozemond	[22]
25	Nikola Ruskuc	[11] [17]
26	Roberto Sebastiani	[10]
27	Duncan Shand	[3] [4]
28	Barbara M. Smith	[19]
29	Philip W. Trinder	[20] [21]
30	Abdallah Al Zain	[20] [21]

Colors in the list of coauthors