S. Barry Cooper

Affiliations:
  • University of Leeds, UK


According to our database1, S. Barry Cooper authored at least 81 papers between 1972 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
If CiE Did Not Exist, It Would Be Necessary to Invent It.
Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

2018
Establishing social cooperation: The role of hubs and community structure.
Netw. Sci., 2018

Linearisations and the Ershov hierarchy.
Comput., 2018

2017
Corrigendum to "The d.r.e. degrees are not dense" [Ann. Pure Appl. Logic 55 (1991) 125-151].
Ann. Pure Appl. Log., 2017

2016
Automorphisms of <i>η</i>-like computable linear orderings and Kierstead's conjecture.
Math. Log. Q., 2016

Alan Turing and Enigmatic Statistics.
Proceedings of the Once and Future Turing: Computing the World, 2016

2015
The machine as data: a computational view of emergence and definability.
Synth., 2015

'Real' information is not flat - and why it matters.
J. Exp. Theor. Artif. Intell., 2015

2014
Theory and Applications of Models of Computation at the Turing Centenary in China.
Theor. Comput. Sci., 2014

Turing Centenary Conference: How the World Computes.
Ann. Pure Appl. Log., 2014

A Roadmap for TAMC.
Proceedings of the Theory and Applications of Models of Computation, 2014

2013
Preface to special issue: Developments In Computational Models 2010.
Math. Struct. Comput. Sci., 2013

The incomputable.
J. Log. Comput., 2013

Editorial.
Int. J. Softw. Informatics, 2013

Incomputability after Alan Turing
CoRR, 2013

The Mathematician's Bias - and the Return to Embodied Computation
CoRR, 2013

What Makes a Computation Unconventional?
CoRR, 2013

2012
Turing centenary: The incomputable reality.
Nat., 2012

Introduction: computability of the physical.
Math. Struct. Comput. Sci., 2012

Computability at Logic Colloquium 2009.
J. Log. Comput., 2012

Editorial.
Comput., 2012

Turing's Titanic machine?
Commun. ACM, 2012

From Turing Machine to Morphogenesis: Forming and Informing Computation.
Proceedings of the Theory and Applications of Models of Computation, 2012

Mathematics, Metaphysics and the Multiverse.
Proceedings of the Computation, Physics and Beyond, 2012

2011
Algorithms, complexity and computational models.
Theor. Comput. Sci., 2011

Splitting and nonsplitting in the Σ<sub>2</sub><sup>0</sup> enumeration degrees.
Theor. Comput. Sci., 2011

2010
Preface to Special Issue: Theory and Applications of Models of Computation (TAMC 2008-2009).
Math. Struct. Comput. Sci., 2010

The Computational Roots of Hyper-Causality?
Int. J. Unconv. Comput., 2010

Extending and interpreting Post's programme.
Ann. Pure Appl. Log., 2010

2009
Preface: Algorithms, complexity and models of computation.
Theor. Comput. Sci., 2009

Foreword.
Theor. Comput. Sci., 2009

Computation and Logic in the Real World: CiE 2007.
Theory Comput. Syst., 2009

Preface to Special Issue: Theory and Applications of Models of Computation (TAMC).
Math. Struct. Comput. Sci., 2009

Logic and Computation in the Real World: CiE 2007.
J. Log. Comput., 2009

Preface.
Ann. Pure Appl. Log., 2009

Emergence as a computability-theoretic phenomenon.
Appl. Math. Comput., 2009

The Extended Turing Model as Contextual Tool.
Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009

2008
Computability.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

How enumeration reducibility yields extended Harrington non-splitting.
J. Symb. Log., 2008

Preface.
Ann. Pure Appl. Log., 2008

On Lachlan's major sub-degree problem.
Arch. Math. Log., 2008

The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable Degrees.
Proceedings of the Theory and Applications of Models of Computation, 2008

Total Degrees and Nonsplitting Properties of Enumeration Degrees.
Proceedings of the Theory and Applications of Models of Computation, 2008

2007
Preface: Theory and applications of models of computation.
Theor. Comput. Sci., 2007

Theory of Computation at CiE 2005.
Theory Comput. Syst., 2007

Post's Programme for the Ershov Hierarchy.
J. Log. Comput., 2007

The Strongest Nonsplitting Theorem.
Proceedings of the Theory and Applications of Models of Computation, 2007

2006
Mathematics of computing at CiE 2005.
Math. Struct. Comput. Sci., 2006

Definability as hypercomputational effect.
Appl. Math. Comput., 2006

Immunity Properties and the <i>n</i>-C.E. Hierarchy.
Proceedings of the Theory and Applications of Models of Computation, 2006

How Can Nature Help Us Compute?
Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006

2005
Properly Sigma<sub>2</sub> minimal degrees and 0'' complementation.
Math. Log. Q., 2005

Bounding and nonbounding minimal pairs in the enumeration degrees.
J. Symb. Log., 2005

The minimal e-degree problem in fragments of Peano arithmetic.
Ann. Pure Appl. Log., 2005

Introduction: If CiE Did Not Exist, It Would Be Necessary to Invent It.
Proceedings of the New Computational Paradigms, 2005

2004
There is no low maximal d. c. e. degree - Corrigendum.
Math. Log. Q., 2004

Computability theory.
Chapman and Hall / CRC mathematics texts, Chapman & Hall, ISBN: 978-1-58488-237-4, 2004

2003
Computability and models - perspectives east and west.
The University series in mathematics, Springer, ISBN: 978-0-306-47400-2, 2003

2002
Splitting and Nonsplitting, II: A Low<sub>2</sub> C.E. Degree above Which 0' Is Not Splittable.
J. Symb. Log., 2002

On the distribution of Lachlan nonsplitting bases.
Arch. Math. Log., 2002

2001
On a Conjecture of Kleene and Post.
Math. Log. Q., 2001

2000
There is No Low Maximal D.C.E. Degree.
Math. Log. Q., 2000

1999
Local Degree Theory.
Proceedings of the Handbook of Computability Theory, 1999

1996
Strong Minimal Covers for Recursively Enumerable Degrees.
Math. Log. Q., 1996

Noncappable Enumeration Degrees Below 0'<sub>e</sub>.
J. Symb. Log., 1996

Cupping and Noncupping in the Enumeration Degrees of Sigma<sub>2</sub><sup>0</sup> Sets.
Ann. Pure Appl. Log., 1996

1995
The discontinuity of splitting in the recursively enumerable degrees.
Arch. Math. Log., 1995

Beyond Gödel's Theorem: Turing Nonrigidity Revisited.
Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, 1995

1991
The d.r.e. Degrees are Not Dense.
Ann. Pure Appl. Log., 1991

The density of the low<sub>2</sub><i>n</i>-r.e. degrees.
Arch. Math. Log., 1991

1989
The Strong Anticupping Property for Recursively Enumerable Degrees.
J. Symb. Log., 1989

A Jump Class of Noncappable Degrees.
J. Symb. Log., 1989

1988
Properly Σ<sub>2</sub> Enumeration Degrees.
Math. Log. Q., 1988

1987
Enumeration Reducibility Using Bounded Information: Counting Minimal Covers.
Math. Log. Q., 1987

Complementing below recursively enumerable degrees.
Ann. Pure Appl. Log., 1987

1985
On Minimal Pairs of Enumeration Degrees.
J. Symb. Log., 1985

1984
Partial Degrees and the Density Problem. Part 2: The Enumeration Degrees of the sigma<sub>2</sub> Sets are Dense.
J. Symb. Log., 1984

1982
Partial Degrees and the Density Problem.
J. Symb. Log., 1982

1974
Minimal Pairs and High Recursively Enumerable Degrees.
J. Symb. Log., 1974

1973
Minimal Degrees and the Jump Operator.
J. Symb. Log., 1973

1972
Jump Equivalence of the triangle <sup>0</sup><sub>2</sub> Hyperhyperimmune Sets.
J. Symb. Log., 1972


  Loading...