S. Barry Cooper

94 papers B 1C 17Journal 65Unranked 2
YearRankTypeTitle / Venue / Authors
2024 C conf
If CiE Did Not Exist, It Would Be Necessary to Invent It.
CiE
S. Barry Cooper
2018 J jnl
Establishing social cooperation: The role of hubs and community structure.
Netw. Sci.
S. Barry Cooper, Andy Lewis-Pye, Angsheng Li, Yicheng Pan
2018 J jnl
Linearisations and the Ershov hierarchy.
Comput.
S. Barry Cooper, James Gay, Charles M. Harris, Kyung Il Lee, Anthony Morphett
2017 J jnl
Corrigendum to "The d.r.e. degrees are not dense" [Ann. Pure Appl. Logic 55 (1991) 125-151].
Ann. Pure Appl. Log.
S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp, Robert I. Soare
2017 — book
The Incomputable: Journeys Beyond the Turing Barrier
The Incomputable
S. Barry Cooper, Mariya Ivanova Soskova
2016 — ch.
Alan Turing and Enigmatic Statistics.
The Once and Future Turing
Kanti V. Mardia, S. Barry Cooper
2016 J jnl
Automorphisms of
Math. Log. Q.
Charles M. Harris, Kyung Il Lee, S. Barry Cooper
2016 — book
The Once and Future Turing: Computing the World
S. Barry Cooper, Andrew Hodges
2015 J jnl
'Real' information is not flat - and why it matters.
J. Exp. Theor. Artif. Intell.
S. Barry Cooper
2015 J jnl
The Machine as Data: A Computational View of Emergence and Definability.
CoRR
S. Barry Cooper
2015 J jnl
The machine as data: a computational view of emergence and definability.
Synth.
S. Barry Cooper
2014 C conf
A Roadmap for TAMC.
TAMC
T. V. Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper
2014 C ed.
Theory and Applications of Models of Computation - 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings
TAMC
T. V. Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper
2014 J jnl
Theory and Applications of Models of Computation at the Turing Centenary in China.
Theor. Comput. Sci.
George Barmpalias, Manindra Agrawal, S. Barry Cooper
2014 J jnl
Turing Centenary Conference: How the World Computes.
Ann. Pure Appl. Log.
S. Barry Cooper, Anuj Dawar, Martin Hyland, Benedikt Löwe
2013 J jnl
Editorial.
Int. J. Softw. Informatics
S. Barry Cooper, Vincent Danos
2013 J jnl
Incomputability after Alan Turing
CoRR
S. Barry Cooper
2013 J jnl
Preface to special issue: Developments In Computational Models 2010.
Math. Struct. Comput. Sci.
S. Barry Cooper, Elham Kashefi, Prakash Panangaden
2013 J jnl
The Mathematician's Bias - and the Return to Embodied Computation
CoRR
S. Barry Cooper
2013 J jnl
The incomputable.
J. Log. Comput.
S. Barry Cooper, Mariya Ivanova Soskova
2013 J jnl
What Makes a Computation Unconventional?
CoRR
S. Barry Cooper
2012 J jnl
Computability at Logic Colloquium 2009.
J. Log. Comput.
Alexandra A. Soskova, S. Barry Cooper, Andrea Sorbi
2012 J jnl
Editorial.
Comput.
Vasco Brattka, Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Elvira Mayordomo
2012 C conf
From Turing Machine to Morphogenesis: Forming and Informing Computation.
TAMC
S. Barry Cooper
2012 C ed.
How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
CiE
S. Barry Cooper, Anuj Dawar, Benedikt Löwe
2012 J jnl
Introduction: computability of the physical.
Math. Struct. Comput. Sci.
Cristian S. Calude, S. Barry Cooper
2012 — conf
Mathematics, Metaphysics and the Multiverse.
Computation, Physics and Beyond
S. Barry Cooper
2012 C ed.
Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
TAMC
Manindra Agrawal, S. Barry Cooper, Angsheng Li
2012 J jnl
Turing centenary: The incomputable reality.
Nat.
S. Barry Cooper
2012 J jnl
Turing's Titanic machine?
Commun. ACM
S. Barry Cooper
2011 J jnl
Algorithms, complexity and computational models.
Theor. Comput. Sci.
Jianer Chen, S. Barry Cooper
2011 J jnl
Splitting and nonsplitting in the Σ
Theor. Comput. Sci.
Marat M. Arslanov, S. Barry Cooper, Iskander Sh. Kalimullin, Mariya Ivanova Soskova
2010 J jnl
Extending and interpreting Post's programme.
Ann. Pure Appl. Log.
S. Barry Cooper
2010 J jnl
Preface to Special Issue: Theory and Applications of Models of Computation (TAMC 2008-2009).
Math. Struct. Comput. Sci.
Manindra Agrawal, S. Barry Cooper, Angsheng Li
2010 — ed.
Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010.
DCM
S. Barry Cooper, Prakash Panangaden, Elham Kashefi
2010 J jnl
The Computational Roots of Hyper-Causality?
Int. J. Unconv. Comput.
S. Barry Cooper
2009 J jnl
Computation and Logic in the Real World: CiE 2007.
Theory Comput. Syst.
S. Barry Cooper, Elvira Mayordomo, Andrea Sorbi
2009 J jnl
Emergence as a computability-theoretic phenomenon.
Appl. Math. Comput.
S. Barry Cooper
2009 J jnl
Foreword.
Theor. Comput. Sci.
Paola Bonizzoni, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
2009 J jnl
Logic and Computation in the Real World: CiE 2007.
J. Log. Comput.
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
2009 J jnl
Preface to Special Issue: Theory and Applications of Models of Computation (TAMC).
Math. Struct. Comput. Sci.
Jin-Yi Cai, S. Barry Cooper, Angsheng Li
2009 J jnl
Preface.
Ann. Pure Appl. Log.
Samuel R. Buss, S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
2009 J jnl
Preface: Algorithms, complexity and models of computation.
Theor. Comput. Sci.
S. Barry Cooper, Hong Zhu
2009 — ed.
Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009.
DCM
S. Barry Cooper, Vincent Danos
2009 C conf
The Extended Turing Model as Contextual Tool.
TAMC
S. Barry Cooper
2009 C ed.
Theory and Applications of Models of Computation, 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
TAMC
Jianer Chen, S. Barry Cooper
2008 — ch.
Computability.
Wiley Encyclopedia of Computer Science and Engineering
S. Barry Cooper
2008 J jnl
How enumeration reducibility yields extended Harrington non-splitting.
J. Symb. Log.
S. Barry Cooper, Mariya Ivanova Soskova
2008 J jnl
On Lachlan's major sub-degree problem.
Arch. Math. Log.
S. Barry Cooper, Angsheng Li
2008 J jnl
Preface.
Ann. Pure Appl. Log.
S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko A. Väänänen
2008 C conf
The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable Degrees.
TAMC
S. Barry Cooper, Matthew C. Salts, Guohua Wu
2008 C conf
Total Degrees and Nonsplitting Properties of Enumeration Degrees.
TAMC
Marat M. Arslanov, S. Barry Cooper, Iskander Sh. Kalimullin, Mariya Ivanova Soskova
2007 C ed.
Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
CiE
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi
2007 J jnl
Post's Programme for the Ershov Hierarchy.
J. Log. Comput.
Bahareh Afshari, George Barmpalias, S. Barry Cooper, Frank Stephan
2007 J jnl
Preface: Theory and applications of models of computation.
Theor. Comput. Sci.
S. Barry Cooper, Angsheng Li
2007 C conf
The Strongest Nonsplitting Theorem.
TAMC
Mariya Ivanova Soskova, S. Barry Cooper
2007 C ed.
Theory and Applications of Models of Computation, 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings
TAMC
Jin-Yi Cai, S. Barry Cooper, Hong Zhu
2007 J jnl
Theory of Computation at CiE 2005.
Theory Comput. Syst.
S. Barry Cooper, Benedikt Löwe, Peter van Emde Boas
2006 J jnl
Definability as hypercomputational effect.
Appl. Math. Comput.
S. Barry Cooper
2006 B conf
How Can Nature Help Us Compute?
SOFSEM
S. Barry Cooper
2006 C conf
Immunity Properties and the
TAMC
Bahareh Afshari, George Barmpalias, S. Barry Cooper
2006 J jnl
Mathematics of computing at CiE 2005.
Math. Struct. Comput. Sci.
S. Barry Cooper, Benedikt Löwe, Dag Normann
2006 C ed.
Theory and Applications of Models of Computation, Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings
TAMC
Jin-Yi Cai, S. Barry Cooper, Angsheng Li
2005 J jnl
Bounding and nonbounding minimal pairs in the enumeration degrees.
J. Symb. Log.
S. Barry Cooper, Angsheng Li, Andrea Sorbi, Yue Yang
2005 C conf
Introduction: If CiE Did Not Exist, It Would Be Necessary to Invent It.
CiE
S. Barry Cooper
2005 C ed.
New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
CiE
S. Barry Cooper, Benedikt Löwe, Leen Torenvliet
2005 J jnl
Properly Sigma
Math. Log. Q.
S. Barry Cooper, Andrew E. M. Lewis, Yue Yang
2005 J jnl
The minimal e-degree problem in fragments of Peano arithmetic.
Ann. Pure Appl. Log.
Marat M. Arslanov, Chi Tat Chong, S. Barry Cooper, Yue Yang
2004 — book
Computability theory.
S. Barry Cooper
2004 J jnl
There is no low maximal d. c. e. degree - Corrigendum.
Math. Log. Q.
Marat M. Arslanov, S. Barry Cooper, Angsheng Li
2003 — book
Computability and models - perspectives east and west.
S. Barry Cooper, Sergey S. Goncharov
2002 J jnl
On the distribution of Lachlan nonsplitting bases.
Arch. Math. Log.
S. Barry Cooper, Angsheng Li, Xiaoding Yi
2002 J jnl
Splitting and Nonsplitting, II: A Low
J. Symb. Log.
S. Barry Cooper, Angsheng Li
2001 J jnl
On a Conjecture of Kleene and Post.
Math. Log. Q.
S. Barry Cooper
2000 J jnl
There is No Low Maximal D.C.E. Degree.
Math. Log. Q.
Marat M. Arslanov, S. Barry Cooper, Angsheng Li
1999 — ch.
Local Degree Theory.
Handbook of Computability Theory
S. Barry Cooper
1996 J jnl
Cupping and Noncupping in the Enumeration Degrees of Sigma
Ann. Pure Appl. Log.
S. Barry Cooper, Andrea Sorbi, Xiaoding Yi
1996 J jnl
Noncappable Enumeration Degrees Below 0'
J. Symb. Log.
S. Barry Cooper, Andrea Sorbi
1996 J jnl
Strong Minimal Covers for Recursively Enumerable Degrees.
Math. Log. Q.
S. Barry Cooper
1995 — conf
Beyond Gödel's Theorem: Turing Nonrigidity Revisited.
Logic Colloquium
S. Barry Cooper
1995 J jnl
The discontinuity of splitting in the recursively enumerable degrees.
Arch. Math. Log.
S. Barry Cooper, Xiaoding Yi
1991 J jnl
The d.r.e. Degrees are Not Dense.
Ann. Pure Appl. Log.
S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp, Robert I. Soare
1991 J jnl
The density of the low
Arch. Math. Log.
S. Barry Cooper
1989 J jnl
A Jump Class of Noncappable Degrees.
J. Symb. Log.
S. Barry Cooper
1989 J jnl
The Strong Anticupping Property for Recursively Enumerable Degrees.
J. Symb. Log.
S. Barry Cooper
1988 J jnl
Properly Σ
Math. Log. Q.
S. Barry Cooper, C. S. Copestake
1987 J jnl
Complementing below recursively enumerable degrees.
Ann. Pure Appl. Log.
S. Barry Cooper, Richard L. Epstein
1987 J jnl
Enumeration Reducibility Using Bounded Information: Counting Minimal Covers.
Math. Log. Q.
S. Barry Cooper
1985 J jnl
On Minimal Pairs of Enumeration Degrees.
J. Symb. Log.
Kevin McEvoy, S. Barry Cooper
1984 J jnl
Partial Degrees and the Density Problem. Part 2: The Enumeration Degrees of the sigma
J. Symb. Log.
S. Barry Cooper
1982 J jnl
Partial Degrees and the Density Problem.
J. Symb. Log.
S. Barry Cooper
1974 J jnl
Minimal Pairs and High Recursively Enumerable Degrees.
J. Symb. Log.
S. Barry Cooper
1973 J jnl
Minimal Degrees and the Jump Operator.
J. Symb. Log.
S. Barry Cooper
1972 J jnl
Jump Equivalence of the triangle
J. Symb. Log.
S. Barry Cooper