Steve Linton

	2012
32		Steve Linton, Yohei Negi, Alice C. Niemeyer, Cheryl E. Praeger: Finding permutations containing long cycles in finite alternating and symmetric groups acting on subsets CoRR abs/1205.6586: (2012)
	2011
31		Vladimir Komendantsky, Alexander Konovalov, Steve Linton: View of Computer Algebra Data from Coq. Calculemus/MKM 2011: 74-89
30		Michael H. Albert, Steve Linton, Nikola Ruskuc, Vincent Vatter, Steve Waton: On convex permutations. Discrete Mathematics 311(8-9): 715-722 (2011)
29		V. A. Bovdi, Alexander Konovalov, Steve Linton: Torsion Units in Integral Group Rings of Conway Simple Groups. IJAC 21(4): 615-634 (2011)
	2010
28		Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer: Towards High-Performance Computational Algebra with GAP. ICMS 2010: 58-61
27		Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond: Easy composition of symbolic computation software: a new lingua franca for symbolic computation. ISSAC 2010: 339-346
26		Alexander Konovalov, Steve Linton: Parallel computations in modular group algebras. PASCO 2010: 141-149
25		Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer: Parallelising the computational algebra system GAP. PASCO 2010: 177-178
	2009
24		Michael H. Albert, Steve Linton: Growing at a Perfect Speed. Combinatorics, Probability & Computing 18(3): 301-308 (2009)
	2008
23		Steve Linton: Symmetry and Search - A Survey. AISC/MKM/Calculemus 2008: 1
22		Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond: Symbolic Computation Software Composability. AISC/MKM/Calculemus 2008: 285-295
21		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		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		Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith: Conditional Symmetry Breaking. CP 2005: 256-270
18		Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal: Symmetry and Consistency. CP 2005: 271-285
17		Michael H. Albert, Steve Linton, Nikola Ruskuc: The Insertion Encoding of Permutations. Electr. J. Comb. 12: (2005)
	2004
16		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		Steve Linton: Finding the smallest image of a set. ISSAC 2004: 229-234
	2003
13		Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton: Generic SBDD Using Computational Group Theory. CP 2003: 333-347
12		Alexander Hulpke, Steve Linton: Total ordering on subgroups and cosets. ISSAC 2003: 156-160
	2002
11		Steve Linton, G. Pfeiffer, Edmund F. Robertson, Nikola Ruskuc: Computing Transformation Semigroups. J. Symb. Comput. 33(2): 145-162 (2002)
10		Steve Linton, Roberto Sebastiani: Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. J. Symb. Comput. 34(4): 239 (2002)
	1999
9		A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin: VSDITLU: a verifiable symbolic definite integral table look-up. CADE 1999: 112-126
8		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		Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton: Formal Methods for Extensions to CAS. World Congress on Formal Methods 1999: 1758-1777
	1998
6		Thomas Breuer, Steve Linton: The GAP 4 Type System: Organising Algebraic Algorithms. ISSAC 1998: 38-45
5		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 (Michael Henry Albert)	[17] [24] [30]
3	Reimer Behrends	[25] [28]
4	Jost Berthold	[21]
5	V. A. Bovdi	[29]
6	Thomas Breuer	[6]
7	Marco Costanti	[20]
8	Martin Dunstan	[5] [7]
9	Sebastian Freundt	[22]
10	Ian P. Gent	[13] [15] [18] [19]
11	Hanne Gottliebsen	[8] [9]
12	Kevin Hammond	[20] [21] [27]
13	Warwick Harvey	[13]
14	Peter Horn	[22] [27]
15	Alexander Hulpke	[12]
16	Tom Kelsey	[5] [7] [13] [15] [16] [18] [19]
17	Vladimir Komendantsky	[31]
18	Alexander Konovalov	[21] [22] [25] [26] [27] [28] [29] [31]
19	Hans-Wolfgang Loidl	[20]
20	Frank Lübeck	[25] [28]
21	Ursula Martin	[4] [5] [7] [8] [9]
22	Iain McDonald	[19]
23	Ian Miguel	[19]
24	Yohei Negi	[32]
25	Max Neunhöffer	[25] [28]
26	Alice C. Niemeyer	[32]
27	G. Pfeiffer	[11]
28	Cheryl E. Praeger	[32]
29	Péter Pröhle	[4]
30	Edmund F. Robertson	[11]
31	Colva M. Roney-Dougal	[15] [16] [18]
32	Dan Roozemond	[22] [27]
33	Nikola Ruskuc	[11] [17] [30]
34	Roberto Sebastiani	[10]
35	Duncan Shand	[3] [4]
36	Barbara M. Smith	[19]
37	Philip W. Trinder	[20] [21] [27]
38	Vincent Vatter (Vincent R. Vatter)	[30]
39	Steve Waton	[30]
40	Abdallah Al Zain	[20] [21] [27]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page