Stephen A. Linton

According to our database, Stephen A. Linton authored at least 14 papers between 1995 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2021

Polynomial-time proofs that groups are hyperbolic.

Derek F. Holt, Stephen A. Linton, Max Neunhöffer, Richard Parker, Markus Pfeiffer, Colva M. Roney-Dougal

J. Symb. Comput., 2021

2018

A parallel algorithm for Gaussian elimination over finite fields.

Stephen A. Linton, Gabriele Nebe, Alice C. Niemeyer, Richard Parker, Jon Thackray

CoRR, 2018

GAP 4 at Twenty-one - Algorithms, System Design and Applications.

Stephen A. Linton

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2014

Qualitative modelling via constraint programming.

Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent

Constraints An Int. J., 2014

2012

Qualitative Modelling via Constraint Programming: Past, Present and Future

Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent

CoRR, 2012

An efficient programming model for memory-intensive recursive algorithms using parallel disks.

Vlad Slavici, Daniel Kunkle, Gene Cooperman, Stephen A. Linton

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

2011

Finding the Minimal DFA of Very Large Finite State Automata with an Application to Token Passing Networks

Vlad Slavici, Daniel Kunkle, Gene Cooperman, Stephen A. Linton

CoRR, 2011

2009

Towards the Calculation of Casimir Forces for Inhomogeneous Planar Media.

C. Xiong, Thomas W. Kelsey, Stephen A. Linton, Ulf Leonhardt

Proceedings of the Computer Mathematics, 2009

2007

Groupoids and Conditional Symmetry.

Ian P. Gent, Tom Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal

Proceedings of the Principles and Practice of Constraint Programming, 2007

2004

Counting Cases in Substitope Algorithms.

David C. Banks, Stephen A. Linton, Paul K. Stockmeyer

IEEE Trans. Vis. Comput. Graph., 2004

2003

Product Replacement in the Monster.

Petra E. Holmes, Stephen A. Linton, Scott H. Murray

Exp. Math., 2003

Counting Cases in Marching Cubes: Toward a Generic Algorithm for Producing Substitopes.

David C. Banks, Stephen A. Linton

Proceedings of the 14th IEEE Visualization Conference, 2003

1995

The Primitive Distance-Transitive Representations of the Fischer Groups.

Stephen A. Linton, Klaus Lux, Leonard H. Soicher

Exp. Math., 1995

Priority Queues and Multisets.

M. D. Atkinson, Stephen A. Linton, L. A. Walker

Electron. J. Comb., 1995