Stephen A. Linton

14 papers A 2B 2Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2021 J jnl
Polynomial-time proofs that groups are hyperbolic.
J. Symb. Comput.
Derek F. Holt, Stephen A. Linton, Max Neunhöffer, Richard Parker, Markus Pfeiffer, Colva M. Roney-Dougal
2018 J jnl
A parallel algorithm for Gaussian elimination over finite fields.
CoRR
Stephen A. Linton, Gabriele Nebe, Alice C. Niemeyer, Richard Parker, Jon Thackray
2018 B conf
GAP 4 at Twenty-one - Algorithms, System Design and Applications.
ISSAC
Stephen A. Linton
2014 J jnl
Qualitative modelling via constraint programming.
Constraints An Int. J.
Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
2012 B conf
An efficient programming model for memory-intensive recursive algorithms using parallel disks.
ISSAC
Vlad Slavici, Daniel Kunkle, Gene Cooperman, Stephen A. Linton
2012 J jnl
Qualitative Modelling via Constraint Programming: Past, Present and Future
CoRR
Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
2011 J jnl
Finding the Minimal DFA of Very Large Finite State Automata with an Application to Token Passing Networks
CoRR
Vlad Slavici, Daniel Kunkle, Gene Cooperman, Stephen A. Linton
2009 — conf
Towards the Calculation of Casimir Forces for Inhomogeneous Planar Media.
ASCM
C. Xiong, Thomas W. Kelsey, Stephen A. Linton, Ulf Leonhardt
2007 A conf
Groupoids and Conditional Symmetry.
CP
Ian P. Gent, Tom W. Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal
2004 J jnl
Counting Cases in Substitope Algorithms.
IEEE Trans. Vis. Comput. Graph.
David C. Banks, Stephen A. Linton, Paul K. Stockmeyer
2003 A conf
Counting Cases in Marching Cubes: Toward a Generic Algorithm for Producing Substitopes.
IEEE Visualization
David C. Banks, Stephen A. Linton
2003 J jnl
Product Replacement in the Monster.
Exp. Math.
Petra E. Holmes, Stephen A. Linton, Scott H. Murray
1995 J jnl
Priority Queues and Multisets.
Electron. J. Comb.
M. D. Atkinson, Stephen A. Linton, L. A. Walker
1995 J jnl
The Primitive Distance-Transitive Representations of the Fischer Groups.
Exp. Math.
Stephen A. Linton, Klaus Lux, Leonard H. Soicher