Steve Linton - RankMe

42 papers A 6B 7C 1Misc 2Journal 16Unranked 10

Year	Rank	Type	Title / Venue / Authors
2016	J	`jnl`	HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurr. Comput. Pract. Exp. Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder
2015	B	`ed.`	Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015 ISSAC Kazuhiro Yokoyama, Steve Linton, Daniel Robertz
2015	J	`jnl`	S-Crucial and Bicrucial Permutations with Respect to Squares. J. Integer Seq. Ian P. Gent, Sergey Kitaev, Alexander Konovalov, Steve Linton, Peter Nightingale
2014	J	`jnl`	Generating custom propagators for arbitrary constraints. Artif. Intell. Ian P. Gent, Christopher Jefferson, Steve Linton, Ian Miguel, Peter Nightingale
2013	J	`jnl`	Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. J. Symb. Comput. Steve Linton, Kevin Hammond, Alexander Konovalov, Christopher Brown, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond
2013	—	`conf`	Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing. PARCO Vladimir Janjic, Christopher Brown, Max Neunhöffer, Kevin Hammond, Steve Linton, Hans-Wolfgang Loidl
2012	J	`jnl`	Finding permutations containing long cycles in finite alternating and symmetric groups acting on subsets CoRR Steve Linton, Yohei Negi, Alice C. Niemeyer, Cheryl E. Praeger
2011	J	`jnl`	On convex permutations. Discret. Math. Michael H. Albert, Steve Linton, Nikola Ruskuc, Vincent Vatter, Steve Waton
2011	J	`jnl`	Torsion Units in Integral Group Rings of Conway Simple Groups. Int. J. Algebra Comput. V. A. Bovdi, Alexander Konovalov, Steve Linton
2011	—	`conf`	View of Computer Algebra Data from Coq. Calculemus/MKM Vladimir Komendantsky, Alexander Konovalov, Steve Linton
2010	B	`conf`	Easy composition of symbolic computation software: a new lingua franca for symbolic computation. ISSAC Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond
2010	—	`conf`	Interfacing Coq + SSReflect with GAP. UITP Vladimir Komendantsky, Alexander Konovalov, Steve Linton
2010	—	`conf`	Parallel computations in modular group algebras. PASCO Alexander Konovalov, Steve Linton
2010	—	`conf`	Parallelising the computational algebra system GAP. PASCO Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer
2010	—	`conf`	Towards High-Performance Computational Algebra with GAP. ICMS Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer
2009	J	`jnl`	Growing at a Perfect Speed. Comb. Probab. Comput. Michael H. Albert, Steve Linton
2008	C	`conf`	Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. ISPA Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold
2008	—	`conf`	Symbolic Computation Software Composability. AISC/MKM/Calculemus Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond
2008	—	`conf`	Symmetry and Search - A Survey. AISC/MKM/Calculemus Steve Linton
2008	J	`jnl`	Torsion Units in Integral Group Ring of the Mathieu Simple Group LMS J. Comput. Math. V. A. Bovdi, Alexander Konovalov, Steve Linton
2007	J	`jnl`	GAP: groups, algorithms, programming. ACM Commun. Comput. Algebra Steve Linton
2007	Misc	`conf`	SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. International Conference on Computational Science (2) Abdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti
2005	A	`conf`	Conditional Symmetry Breaking. CP Ian P. Gent, Tom W. Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
2005	A	`conf`	Symmetry and Consistency. CP Ian P. Gent, Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal
2005	J	`jnl`	The Insertion Encoding of Permutations. Electron. J. Comb. Michael H. Albert, Steve Linton, Nikola Ruskuc
2004	B	`conf`	Finding the smallest image of a set. ISSAC Steve Linton
2004	Misc	`conf`	New Developments in Symmetry Breaking in Search Using Computational Group Theory. AISC Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal
2004	A	`conf`	Tractable Symmetry Breaking Using Restricted Search Trees. ECAI Colva M. Roney-Dougal, Ian P. Gent, Tom W. Kelsey, Steve Linton
2003	A	`conf`	Generic SBDD Using Computational Group Theory. CP Ian P. Gent, Warwick Harvey, Tom W. Kelsey, Steve Linton
2003	B	`conf`	Total ordering on subgroups and cosets. ISSAC Alexander Hulpke, Steve Linton
2002	J	`jnl`	Computing Transformation Semigroups. J. Symb. Comput. Steve Linton, Götz Pfeiffer, Edmund F. Robertson, Nikola Ruskuc
2002	J	`jnl`	Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. J. Symb. Comput. Steve Linton, Roberto Sebastiani
1999	B	`conf`	Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. ISSAC Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin
1999	—	`conf`	Formal Methods for Extensions to CAS. World Congress on Formal Methods Martin Dunstan, Tom W. Kelsey, Ursula Martin, Steve Linton
1999	A	`conf`	VSDITLU: a verifiable symbolic definite integral table look-up. CADE Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin
1998	B	`conf`	Lightweight Formal Methods for Computer Algebra Systems. ISSAC Martin Dunstan, Tom W. Kelsey, Steve Linton, Ursula Martin
1998	B	`conf`	The GAP 4 Type System: Organising Algebraic Algorithms. ISSAC Thomas Breuer, Steve Linton
1996	A	`conf`	Algebra and Automated Deduction. CADE Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand
1996	J	`jnl`	Some Group Theoretic Examples with Completion Theorem Provers. J. Autom. Reason. Steve Linton, Duncan Shand
1995	—	`conf`	Constructive recognition of a black box group isomorphic to GL(n,2). Groups and Computation Gene Cooperman, Larry Finkelstein, Steve Linton
1991	J	`jnl`	Constructing Matrix Representations of Finitely Presented Groups. J. Symb. Comput. Steve Linton
1991	J	`jnl`	Double Coset Enumeration. J. Symb. Comput. Steve Linton