Edit Profile (opens in new tab) Linton, Steve A. Compute Distance To: Compute Author ID: linton.steve-a Published as: Linton, Steve; Linton, S.; Linton, S. A.; Linton, Steve A. Documents Indexed: 42 Publications since 1991 2 Contributions as Editor Co-Authors: 45 Co-Authors with 35 Joint Publications 838 Co-Co-Authors all top 5 Co-Authors 5 single-authored 9 Konovalov, Olexandr 6 Gent, Ian Philip 6 Kelsey, Tom 6 Ruškuc, Nik 5 Albert, Michael Henry 3 Horn, Peter D. 3 Martin, Ursula 3 Robertson, Edmund Frederick 3 Roney-Dougal, Colva M. 3 Roozemond, Dan 2 Bovdi, Victor A. 2 Hammond, Kevin 2 Hulpke, Alexander Jörg 2 Kelsey, T. W. 2 Komendantsky, Vladimir 2 Leonhardt, Ulf 2 Miguel, Ian 2 Nightingale, Peter W. 2 Shand, Duncan 2 Trinder, Phil W. 2 Vatter, Vincent Russell 1 Adams, Andrew A. 1 Al Zain, A. D. 1 Atkinson, Mike D. 1 Behrends, Reimer 1 Breuer, Thomas 1 Cooperman, Gene 1 Dunstan, Martin 1 Finkelstein, Larry A. 1 Freundt, Sebastian 1 Gilbert, Nick D. 1 Gottliebsen, Hanne 1 Harvey, Warwick 1 Hoffmann, Ruth 1 Howie, James 1 Jefferson, Christopher 1 Kitaev, Sergey 1 Loidl, Hans-Wolfgang 1 Lübeck, Frank 1 McDonald, Iain 1 Mpono, Z. E. 1 Neunhöffer, Max 1 Niemeyer, Alice C. 1 Praeger, Cheryl Elisabeth 1 Pröhle, Peter 1 Smith, Barbara M. 1 Smith, Geoff C. 1 Walker, Louise Anne 1 Waton, Steve all top 5 Serials 3 Journal of Symbolic Computation 2 The Electronic Journal of Combinatorics 2 London Mathematical Society Lecture Note Series 1 Artificial Intelligence 1 Discrete Mathematics 1 Mathematical Journal of Okayama University 1 Mathematische Zeitschrift 1 Journal of Automated Reasoning 1 International Journal of Algebra and Computation 1 Linear Algebra and its Applications 1 Combinatorics, Probability and Computing 1 PU.M.A. Pure Mathematics and Applications 1 Analele Universității din Timișoara. Seria Matematică-Informatică 1 Annals of Combinatorics 1 Journal of Integer Sequences 1 LMS Journal of Computation and Mathematics 1 Journal of Algebra, Combinatorics, Discrete Structures and Applications all top 5 Fields 29 Computer science (68-XX) 20 Group theory and generalizations (20-XX) 10 Combinatorics (05-XX) 3 Associative rings and algebras (16-XX) 2 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 32 Publications have been cited 148 times in 91 Documents Cited by ▼ Year ▼ The insertion encoding of permutations. Zbl 1081.05001Albert, Michael H.; Linton, Steve; Ruskuc, Nik 16 2005 Torsion units in integral group ring of the Mathieu simple group \(M_{22}\). Zbl 1225.16017Bovdi, V. A.; Konovalov, A. B.; Linton, S. 13 2008 Priority queues and multisets. Zbl 0852.90075Atkinson, M. D.; Linton, S. A.; Walker, L. A. 9 1995 Torsion units in integral group rings of Conway simple groups. Zbl 1234.16025Bovdi, V. A.; Konovalov, A. B.; Linton, S. 8 2011 Groups and actions in transformation semigroups. Zbl 0902.20028Linton, S. A.; Pfeiffer, G.; Robertson, E. F.; Ruškuc, N. 8 1998 Finding the smallest image of a set. Zbl 1134.05302Linton, Steve 7 2004 Generic SBDD using computational group theory. Zbl 1273.68076Gent, Ian P.; Harvey, Warwick; Kelsey, Tom; Linton, Steve 6 2003 Computing transformation semigroups. Zbl 1002.20043Linton, S. A.; Pfeiffer, G.; Robertson, E. F.; Ruškuc, N. 6 2002 Permutations generated by stacks and deques. Zbl 1233.05003Albert, Michael; Atkinson, Mike; Linton, Steve 6 2010 On vector enumeration. Zbl 0827.20021Linton, S. A. 6 1993 The art and science of computing in large groups. Zbl 0830.20002Linton, S. A. 5 1995 Constructing matrix representations of finitely presented groups. Zbl 0789.20002Linton, S. A. 5 1991 Conditional symmetry breaking. Zbl 1153.68459Gent, Ian P.; Kelsey, Tom; Linton, Steve A.; McDonald, Iain; Miguel, Ian; Smith, Barbara M. 5 2005 Symbolic computation software composability. Zbl 1166.68374Freundt, Sebastian; Horn, Peter; Konovalov, Alexander; Linton, Steve; Roozemond, Dan 5 2008 Growing at a perfect speed. Zbl 1200.05011Albert, M. H.; Linton, S. A. 5 2009 The GAP 4 type system organising algebraic algorithms. Zbl 0918.68050Breuer, Thomas; Linton, Steve 4 1998 Lightweight formal methods for computer algebra systems. Zbl 0918.68053Dunstan, Martin; Kelsey, Tom; Linton, Steve; Martin, Ursula 4 1998 New developments in symmetry breaking in search using computational group theory. Zbl 1109.68613Kelsey, Tom; Linton, Steve; Roney-Dougal, Colva 4 2004 Generating custom propagators for arbitrary constraints. Zbl 1405.68326Gent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter 4 2014 VSDITLU: A verifiable symbolic definite integral table look-up. Zbl 0943.68152Adams, A. A.; Gottliebsen, H.; Linton, S. A.; Martin, U. 3 1999 Constructive recognition of a black box group isomorphic to \(\text{GL}(n,2)\). Zbl 0887.20023Cooperman, Gene; Finkelstein, Larry; Linton, Steve 3 1997 Some group theoretic examples with completion theorem provers. Zbl 0855.68087Linton, S.; Shand, D. 3 1996 On convex permutations. Zbl 1229.05004Albert, Michael H.; Linton, Steve; Ruškuc, Nik; Vatter, Vincent; Waton, Steve 3 2011 Permutation patterns. Proceedings of the 5th conference held at the University of St. Andrews, Scotland, June 11–15, 2007. Zbl 1190.05001 2 2010 Generalisations of the Todd-Coxeter algorithm. Zbl 0836.08003Linton, S. A. 1 1995 Total ordering on subgroups and cosets. Zbl 1072.68673Hulpke, Alexander; Linton, Steve 1 2003 Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Zbl 1253.68371Linton, S.; Hammond, K.; Konovalov, A.; Brown, C.; Trinder, P. W.; Loidl, H.-W.; Horn, P.; Roozemond, D. 1 2013 Groupoids and conditional symmetry. Zbl 1145.68514Gent, I. P.; Kelsey, T.; Linton, S. A.; Pearson, J.; Roney-Dougal, C. M. 1 2007 Symmetry and consistency. Zbl 1153.68460Gent, Ian P.; Kelsey, Tom; Linton, Steve; Roney-Dougal, Colva 1 2005 \(S\)-crucial and bicrucial permutations with respect to squares. Zbl 1327.05005Gent, Ian; Kitaev, Sergey; Konovalov, Alexander; Linton, Steve; Nightingale, Peter 1 2015 Interfacing Coq + SSReflect with GAP. Zbl 1294.68124Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve 1 2012 Multiplicity-free permutation characters of covering groups of sporadic simple groups. Zbl 1282.20014Linton, S. A.; Mpono, Z. E. 1 2013 \(S\)-crucial and bicrucial permutations with respect to squares. Zbl 1327.05005Gent, Ian; Kitaev, Sergey; Konovalov, Alexander; Linton, Steve; Nightingale, Peter 1 2015 Generating custom propagators for arbitrary constraints. Zbl 1405.68326Gent, Ian P.; Jefferson, Christopher; Linton, Steve; Miguel, Ian; Nightingale, Peter 4 2014 Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Zbl 1253.68371Linton, S.; Hammond, K.; Konovalov, A.; Brown, C.; Trinder, P. W.; Loidl, H.-W.; Horn, P.; Roozemond, D. 1 2013 Multiplicity-free permutation characters of covering groups of sporadic simple groups. Zbl 1282.20014Linton, S. A.; Mpono, Z. E. 1 2013 Interfacing Coq + SSReflect with GAP. Zbl 1294.68124Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve 1 2012 Torsion units in integral group rings of Conway simple groups. Zbl 1234.16025Bovdi, V. A.; Konovalov, A. B.; Linton, S. 8 2011 On convex permutations. Zbl 1229.05004Albert, Michael H.; Linton, Steve; Ruškuc, Nik; Vatter, Vincent; Waton, Steve 3 2011 Permutations generated by stacks and deques. Zbl 1233.05003Albert, Michael; Atkinson, Mike; Linton, Steve 6 2010 Permutation patterns. Proceedings of the 5th conference held at the University of St. Andrews, Scotland, June 11–15, 2007. Zbl 1190.05001 2 2010 Growing at a perfect speed. Zbl 1200.05011Albert, M. H.; Linton, S. A. 5 2009 Torsion units in integral group ring of the Mathieu simple group \(M_{22}\). Zbl 1225.16017Bovdi, V. A.; Konovalov, A. B.; Linton, S. 13 2008 Symbolic computation software composability. Zbl 1166.68374Freundt, Sebastian; Horn, Peter; Konovalov, Alexander; Linton, Steve; Roozemond, Dan 5 2008 Groupoids and conditional symmetry. Zbl 1145.68514Gent, I. P.; Kelsey, T.; Linton, S. A.; Pearson, J.; Roney-Dougal, C. M. 1 2007 The insertion encoding of permutations. Zbl 1081.05001Albert, Michael H.; Linton, Steve; Ruskuc, Nik 16 2005 Conditional symmetry breaking. Zbl 1153.68459Gent, Ian P.; Kelsey, Tom; Linton, Steve A.; McDonald, Iain; Miguel, Ian; Smith, Barbara M. 5 2005 Symmetry and consistency. Zbl 1153.68460Gent, Ian P.; Kelsey, Tom; Linton, Steve; Roney-Dougal, Colva 1 2005 Finding the smallest image of a set. Zbl 1134.05302Linton, Steve 7 2004 New developments in symmetry breaking in search using computational group theory. Zbl 1109.68613Kelsey, Tom; Linton, Steve; Roney-Dougal, Colva 4 2004 Generic SBDD using computational group theory. Zbl 1273.68076Gent, Ian P.; Harvey, Warwick; Kelsey, Tom; Linton, Steve 6 2003 Total ordering on subgroups and cosets. Zbl 1072.68673Hulpke, Alexander; Linton, Steve 1 2003 Computing transformation semigroups. Zbl 1002.20043Linton, S. A.; Pfeiffer, G.; Robertson, E. F.; Ruškuc, N. 6 2002 VSDITLU: A verifiable symbolic definite integral table look-up. Zbl 0943.68152Adams, A. A.; Gottliebsen, H.; Linton, S. A.; Martin, U. 3 1999 Groups and actions in transformation semigroups. Zbl 0902.20028Linton, S. A.; Pfeiffer, G.; Robertson, E. F.; Ruškuc, N. 8 1998 The GAP 4 type system organising algebraic algorithms. Zbl 0918.68050Breuer, Thomas; Linton, Steve 4 1998 Lightweight formal methods for computer algebra systems. Zbl 0918.68053Dunstan, Martin; Kelsey, Tom; Linton, Steve; Martin, Ursula 4 1998 Constructive recognition of a black box group isomorphic to \(\text{GL}(n,2)\). Zbl 0887.20023Cooperman, Gene; Finkelstein, Larry; Linton, Steve 3 1997 Some group theoretic examples with completion theorem provers. Zbl 0855.68087Linton, S.; Shand, D. 3 1996 Priority queues and multisets. Zbl 0852.90075Atkinson, M. D.; Linton, S. A.; Walker, L. A. 9 1995 The art and science of computing in large groups. Zbl 0830.20002Linton, S. A. 5 1995 Generalisations of the Todd-Coxeter algorithm. Zbl 0836.08003Linton, S. A. 1 1995 On vector enumeration. Zbl 0827.20021Linton, S. A. 6 1993 Constructing matrix representations of finitely presented groups. Zbl 0789.20002Linton, S. A. 5 1991 all cited Publications top 5 cited Publications all top 5 Cited by 139 Authors 11 Vatter, Vincent Russell 6 Konovalov, Olexandr 6 Linton, Steve A. 6 Margolis, Leo 5 Albert, Michael Henry 5 Gildea, Joe 5 Martin, Ursula 4 Stuckey, Peter James 3 Bächle, Andreas 3 Carlsson, Mats 3 Chu, Geoffrey 3 del Río, Angel 3 Flener, Pierre 3 Garcia de la Banda, Maria 3 Gudmundsson, Bjarki Agust 3 Jefferson, Christopher 3 Mansour, Toufik 3 Pantone, Jay 3 Ruškuc, Nik 2 Beldiceanu, Nicolas 2 Borga, Jacopo 2 Bovdi, Victor A. 2 Caprotti, Olga 2 Claesson, Anders 2 Donaldson, Alastair F. 2 Elder, Murray J. 2 Gent, Ian Philip 2 Gottliebsen, Hanne 2 Guttmann, Anthony John 2 Homberger, Cheyne 2 Hulpke, Alexander Jörg 2 Kelsey, Tom 2 Kimmerle, Wolfgang 2 Kohlhase, Michael 2 Komendantsky, Vladimir 2 Lee, Jimmy Ho-man 2 Mears, Christopher 2 Miller, Alice Ann 2 Pearson, Justin 2 Pfeiffer, Markus 2 Price, Andrew Elvey 2 Rechnitzer, Andrew Daniel 2 Sellmann, Meinolf 2 Serrano, Mariano 2 Shand, Duncan 2 Skogman, Howard 2 Slivken, Erik 1 Ågren, Magnus 1 Akgün, Özgür 1 Aloul, Fadi A. 1 Baxter, Andrew M. 1 Beals, Robert M. 1 Bean, Christian 1 Bendotti, Pascale 1 Bevan, David I. 1 Björdal, Gustav 1 Botana, Francisco 1 Bratus, Sergey 1 Brignall, Robert 1 Cohen, Arjeh Marcel 1 Cohen, David A. 1 Coscia, Christopher 1 Davenport, James Harold 1 Dehaye, Paul-Olivier 1 Dekker, Jip J. 1 Demoen, Bart 1 Derrien, Alban 1 Dewitt, Jonathan 1 Distler, Andreas 1 Douence, Rémi 1 Duchi, Enrica 1 Fouilhoux, Pierre 1 Franke, Andreas 1 Gawrychowski, Paweł 1 Hardy, Ruth 1 Horn, Peter D. 1 Iancu, Mihnea 1 Jeavons, Peter G. 1 Jelínek, Vít 1 Jespers, Eric 1 Jolly, Raphael 1 Jonauskyte, Eliza 1 Kantor, William M. 1 Kitaev, Sergey 1 Klazar, Martin 1 Kovács, Zoltán 1 Kredel, Heinz 1 Law, Yat Chiu 1 Lee, Geoffrey 1 Leedham-Green, Charles R. 1 Lelièvre, Samuel 1 Lightfoot, Olga 1 Magaard, Kay 1 Manea, Florin 1 Markov, Igor L. 1 Miguel, Ian 1 Minimair, Manfred 1 Monette, Jean-Noël 1 Mularczyk, Hanna 1 Müller, Dennis ...and 39 more Authors all top 5 Cited in 41 Serials 12 Journal of Symbolic Computation 11 Constraints 5 Annals of Mathematics and Artificial Intelligence 3 European Journal of Combinatorics 3 Advances in Applied Mathematics 3 The Electronic Journal of Combinatorics 2 Artificial Intelligence 2 Israel Journal of Mathematics 2 Mathematics of Computation 2 Journal of Algebra 2 Journal of Combinatorial Theory. Series A 2 Transactions of the American Mathematical Society 2 International Journal of Algebra and Computation 2 Journal of Algebra and its Applications 1 Discrete Mathematics 1 Indian Journal of Pure & Applied Mathematics 1 Information Processing Letters 1 Rocky Mountain Journal of Mathematics 1 Czechoslovak Mathematical Journal 1 Journal of Pure and Applied Algebra 1 Mathematika 1 Rendiconti del Circolo Matemàtico di Palermo. Serie II 1 Theoretical Computer Science 1 Combinatorica 1 Algorithmica 1 Formal Aspects of Computing 1 The Annals of Applied Probability 1 Annales de l’Institut Henri Poincaré. Probabilités et Statistiques 1 Mathematical Programming. Series A. Series B 1 Experimental Mathematics 1 Séminaire Lotharingien de Combinatoire 1 Theory of Computing Systems 1 Journal of Group Theory 1 Algebras and Representation Theory 1 Annals of Combinatorics 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Journal of Integer Sequences 1 Mathematics in Computer Science 1 Discrete Mathematics, Algorithms and Applications 1 International Journal of Group Theory 1 The Journal of Software for Algebra and Geometry all top 5 Cited in 15 Fields 48 Computer science (68-XX) 36 Combinatorics (05-XX) 25 Group theory and generalizations (20-XX) 14 Associative rings and algebras (16-XX) 9 Operations research, mathematical programming (90-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 Mathematical logic and foundations (03-XX) 2 Number theory (11-XX) 2 Probability theory and stochastic processes (60-XX) 1 General algebraic systems (08-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Statistics (62-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year