Steve Linton

Cited by

	All	Since 2016
Citations	1952	425
h-index	25	11
i10-index	50	13

120

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202112 9 26 7 25 19 39 33 52 56 55 62 82 108 116 79 83 119 116 81 97 96 100 89 66 87 111 68 4

Co-authors

Tom KelseyProfessor of Health Data Science, University of St AndrewsVerified email at st-andrews.ac.uk
Alexander KonovalovUniversity of St AndrewsVerified email at mcs.st-andrews.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Michael AlbertProfessor of Computer Science, Otago UniversityVerified email at cs.otago.ac.nz
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
Ursula MartinUniversity of Edinburgh; University of OxfordVerified email at maths.ox.ac.uk
Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
E A O'BrienUniversity of AucklandVerified email at math.auckland.ac.nz
Dr Andrew A. AdamsDeputy Director of the Centre for Business Information Ethics, Meiji University, Tokyo, JapanVerified email at meiji.ac.jp
Hans-Wolfgang LoidlLecturer in the School of Mathematical and Computer Sciences, Heriot-Watt University, EdinburghVerified email at macs.hw.ac.uk
Mike AtkinsonEmeritus Professor, Otago UniversityVerified email at cs.otago.ac.nz
Vincent VatterUniversity of FloridaVerified email at ufl.edu
Peter NightingaleUniversity of YorkVerified email at york.ac.uk
Gene CoopermanProfessor of Computer Science, Northeastern UniversityVerified email at ccs.neu.edu
Larry FinkelsteinNortheastern UniversityVerified email at ccs.neu.edu
Götz PfeifferProfessor of Mathematics, NUI Galway, IrelandVerified email at nuigalway.ie
Victor Bovdi (В. А. Бовди)UAEU, United Arab EmiratesVerified email at uaeu.ac.ae
Karen PetrieLecturer, University of DundeeVerified email at computing.dundee.ac.uk
Vladimir JanjicUniversity of Dundee, School of Science and EngineeringVerified email at dundee.ac.uk
Christopher BrownLecturer in Computer Science at University of St AndrewsVerified email at st-andrews.ac.uk

Steve Linton

Professor of Computer Science, University of St Andrews

Verified email at st-andrews.ac.uk

Computational Algebra Algorithms Parallel Computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Atlas of finite group representations R Wilson, P Walsh, J Tripp, I Suleiman, S Rogers, R Parker, S Norton, ...	240	1999
Generic SBDD using computational group theory IP Gent, W Harvey, T Kelsey, S Linton International Conference on Principles and Practice of Constraint …, 2003	96	2003
Tractable symmetry breaking using restricted search trees CM Roney-Dougal, IP Gent, T Kelsey, S Linton ECAI 16, 211, 2004	90	2004
The insertion encoding of permutations MH Albert, S Linton, N Ruškuc the electronic journal of combinatorics 12 (1), R47, 2005	77	2005
Atlas of finite group representations-version 3 R Wilson, P Walsh, J Tripp, I Suleiman, R Parker, S Norton, S Nickerson, ... available at the time of writing from http://brauer. maths. qmul. ac. uk …, 2005	75	2005
The maximal subgroups of the Fischer groups Fi24 and Fi′ 24 SA Linton, RA Wilson Proceedings of the London Mathematical Society 3 (1), 113-164, 1991	62	1991
The maximal subgroups of the Thompson group SA Linton Journal of the London Mathematical Society 2 (1), 79-88, 1989	54	1989
Conditional symmetry breaking IP Gent, T Kelsey, SA Linton, I McDonald, I Miguel, BM Smith International Conference on Principles and Practice of Constraint …, 2005	48	2005
Automated theorem proving in support of computer algebra: symbolic definite integration as a case study AA Adams, H Gottliebsen, SA Linton, U Martin Proceedings of the 1999 international symposium on Symbolic and algebraic …, 1999	47	1999
Counting cases in marching cubes: Toward a generic algorithm for producing substitopes DC Banks, S Linton IEEE Visualization, 2003. VIS 2003., 51-58, 2003	45	2003
Computer construction of the Monster S Linton, R Parker, P Walsh, R Wilson Journal of Group Theory 1, 307-338, 1998	44	1998
Counting cases in substitope algorithms DC Banks, SA Linton, PK Stockmeyer IEEE Transactions on Visualization and Computer Graphics 10 (4), 371-384, 2004	36	2004
On vector enumeration SA Linton Linear algebra and its applications 192, 235-248, 1993	35	1993
A World-Wide-Web Atlas of finite group representations RA Wilson, P Walsh, J Tripp, I Suleiman, R Parker, S Norton, S Nickerson, ...	35
Torsion Units in Integral Group Ring of the Mathieu Simple Group M₂₂ VA Bovdi, AB Konovalov, S Linton LMS Journal of Computation and Mathematics 11, 28-39, 2008	34	2008
Lightweight formal methods for computer algebra systems M Dunstan, T Kelsey, S Linton, U Martin Proceedings of the 1998 international symposium on Symbolic and algebraic …, 1998	34	1998
Distance-transitive representations of the sporadic groups AA Ivanov, SA Linton, K Lux, J Saxl, LH Soicher Communications in Algebra 23 (9), 3379-3427, 1995	34	1995
Constructive membership in black-box groups PE Holmes, SA Linton, EA O'Brien, AJE Ryba, RA Wilson Journal of Group Theory 11 (6), 747-763, 2008	28	2008
Finding the smallest image of a set S Linton Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004	28	2004
Constructing matrix representations of finitely presented groups SA Linton Journal of symbolic computation 12 (4-5), 427-438, 1991	28	1991

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors