BibTeX records: George Barmpalias

download as .bib file

@article{DBLP:journals/jcss/BarmpaliasL17,
  author    = {George Barmpalias and
               Andrew Lewis{-}Pye},
  title     = {Differences of halting probabilities},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {89},
  pages     = {349--360},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jcss.2017.06.002},
  doi       = {10.1016/j.jcss.2017.06.002},
  timestamp = {Tue, 15 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jcss/BarmpaliasL17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/BarmpaliasL17,
  author    = {George Barmpalias and
               Andrew Lewis{-}Pye},
  title     = {Computing halting probabilities from other halting probabilities},
  journal   = {Theor. Comput. Sci.},
  volume    = {660},
  pages     = {16--22},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.tcs.2016.11.013},
  doi       = {10.1016/j.tcs.2016.11.013},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BarmpaliasL17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/BarmpaliasCP17,
  author    = {George Barmpalias and
               Douglas Cenzer and
               Christopher P. Porter},
  title     = {Random numbers as probabilities of machine behavior},
  journal   = {Theor. Comput. Sci.},
  volume    = {673},
  pages     = {1--18},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.tcs.2017.02.001},
  doi       = {10.1016/j.tcs.2017.02.001},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BarmpaliasCP17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/BarmpaliasD17,
  author    = {George Barmpalias and
               Rodney G. Downey},
  title     = {Kobayashi compressibility},
  journal   = {Theor. Comput. Sci.},
  volume    = {675},
  pages     = {89--100},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.tcs.2017.02.029},
  doi       = {10.1016/j.tcs.2017.02.029},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BarmpaliasD17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tocl/BarmpaliasCP17,
  author    = {George Barmpalias and
               Douglas Cenzer and
               Christopher P. Porter},
  title     = {The Probability of a Computable Output from a Random Oracle},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {18},
  number    = {3},
  pages     = {18:1--18:15},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3091527},
  doi       = {10.1145/3091527},
  timestamp = {Wed, 30 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tocl/BarmpaliasCP17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BarmpaliasL17,
  author    = {George Barmpalias and
               Andrew Lewis{-}Pye},
  title     = {A Note on the Differences of Computably Enumerable Reals},
  booktitle = {Computability and Complexity - Essays Dedicated to Rodney G. Downey
               on the Occasion of His 60th Birthday},
  pages     = {623--632},
  year      = {2017},
  crossref  = {DBLP:conf/birthday/2017downey},
  url       = {https://doi.org/10.1007/978-3-319-50062-1_37},
  doi       = {10.1007/978-3-319-50062-1_37},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/BarmpaliasL17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Barmpalias17,
  author    = {George Barmpalias},
  title     = {Aspects of Chaitin's Omega},
  journal   = {CoRR},
  volume    = {abs/1707.08109},
  year      = {2017},
  url       = {http://arxiv.org/abs/1707.08109},
  timestamp = {Sat, 05 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Barmpalias17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/BarmpaliasLT16,
  author    = {George Barmpalias and
               Andrew Lewis{-}Pye and
               Jason Teutsch},
  title     = {Lower bounds on the redundancy in computations from random oracles
               via betting strategies with restricted wagers},
  journal   = {Inf. Comput.},
  volume    = {251},
  pages     = {287--300},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.ic.2016.09.010},
  doi       = {10.1016/j.ic.2016.09.010},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iandc/BarmpaliasLT16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/BarmpaliasFL16,
  author    = {George Barmpalias and
               Nan Fang and
               Andrew Lewis{-}Pye},
  title     = {Optimal asymptotic bounds on the oracle use in computations from Chaitin's
               Omega},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {82},
  number    = {8},
  pages     = {1283--1299},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.jcss.2016.05.004},
  doi       = {10.1016/j.jcss.2016.05.004},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jcss/BarmpaliasFL16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasLF16,
  author    = {George Barmpalias and
               Andrew Lewis{-}Pye and
               Nan Fang},
  title     = {Optimal asymptotic bounds on the oracle use in computations from Chaitin's
               Omega},
  journal   = {CoRR},
  volume    = {abs/1602.03208},
  year      = {2016},
  url       = {http://arxiv.org/abs/1602.03208},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BarmpaliasLF16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasL16,
  author    = {George Barmpalias and
               Andrew Lewis{-}Pye},
  title     = {Computing halting probabilities from other halting probabilities},
  journal   = {CoRR},
  volume    = {abs/1602.06395},
  year      = {2016},
  url       = {http://arxiv.org/abs/1602.06395},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BarmpaliasL16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasLT16,
  author    = {George Barmpalias and
               Andrew Lewis{-}Pye and
               Jason Teutsch},
  title     = {Lower bounds on the redundancy in computations from random oracles
               via betting strategies with restricted wagers},
  journal   = {CoRR},
  volume    = {abs/1602.07113},
  year      = {2016},
  url       = {http://arxiv.org/abs/1602.07113},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BarmpaliasLT16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasL16a,
  author    = {George Barmpalias and
               Andrew Lewis{-}Pye},
  title     = {Differences of halting probabilities},
  journal   = {CoRR},
  volume    = {abs/1604.00216},
  year      = {2016},
  url       = {http://arxiv.org/abs/1604.00216},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BarmpaliasL16a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasCP16,
  author    = {George Barmpalias and
               Douglas A. Cenzer and
               Christopher P. Porter},
  title     = {Random numbers as probabilities of machine behaviour},
  journal   = {CoRR},
  volume    = {abs/1605.05838},
  year      = {2016},
  url       = {http://arxiv.org/abs/1605.05838},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BarmpaliasCP16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasL16b,
  author    = {George Barmpalias and
               Andrew Lewis{-}Pye},
  title     = {Optimal redundancy in computations from random oracles},
  journal   = {CoRR},
  volume    = {abs/1606.07910},
  year      = {2016},
  url       = {http://arxiv.org/abs/1606.07910},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BarmpaliasL16b},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasD16,
  author    = {George Barmpalias and
               Rodney G. Downey},
  title     = {Kobayashi compressibility},
  journal   = {CoRR},
  volume    = {abs/1608.00692},
  year      = {2016},
  url       = {http://arxiv.org/abs/1608.00692},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BarmpaliasD16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasLL16,
  author    = {George Barmpalias and
               Andrew Lewis{-}Pye and
               Angsheng Li},
  title     = {Pointed computations and Martin-L{\"{o}}f randomness},
  journal   = {CoRR},
  volume    = {abs/1608.02081},
  year      = {2016},
  url       = {http://arxiv.org/abs/1608.02081},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BarmpaliasLL16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasCP16a,
  author    = {George Barmpalias and
               Douglas Cenzer and
               Christopher P. Porter},
  title     = {The probability of a computable output from a random oracle},
  journal   = {CoRR},
  volume    = {abs/1612.08537},
  year      = {2016},
  url       = {http://arxiv.org/abs/1612.08537},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BarmpaliasCP16a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/BarmpaliasDM15,
  author    = {George Barmpalias and
               Rodney G. Downey and
               Michael McInerney},
  title     = {Integer valued betting strategies and Turing degrees},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {81},
  number    = {7},
  pages     = {1387--1412},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jcss.2015.05.001},
  doi       = {10.1016/j.jcss.2015.05.001},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jcss/BarmpaliasDM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasEL15,
  author    = {George Barmpalias and
               Richard Elwes and
               Andy Lewis{-}Pye},
  title     = {From randomness to order: unperturbed Schelling segregation in two
               or three dimensions},
  journal   = {CoRR},
  volume    = {abs/1504.03809},
  year      = {2015},
  url       = {http://arxiv.org/abs/1504.03809},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BarmpaliasEL15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasDM15,
  author    = {George Barmpalias and
               Rodney G. Downey and
               Michael McInerney},
  title     = {Integer Valued Betting strategies and Turing Degrees},
  journal   = {CoRR},
  volume    = {abs/1505.05298},
  year      = {2015},
  url       = {http://arxiv.org/abs/1505.05298},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BarmpaliasDM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasEL15a,
  author    = {George Barmpalias and
               Richard Elwes and
               Andy Lewis{-}Pye},
  title     = {Minority population in the one-dimensional Schelling model of segregation},
  journal   = {CoRR},
  volume    = {abs/1508.02497},
  year      = {2015},
  url       = {http://arxiv.org/abs/1508.02497},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BarmpaliasEL15a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsyml/BarmpaliasD14,
  author    = {George Barmpalias and
               Rodney G. Downey},
  title     = {Exact Pairs for the Ideal of the \emph{k}-Trivial Sequences in the
               Turing Degrees},
  journal   = {J. Symb. Log.},
  volume    = {79},
  number    = {3},
  pages     = {676--692},
  year      = {2014},
  url       = {https://doi.org/10.1017/jsl.2014.37},
  doi       = {10.1017/jsl.2014.37},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jsyml/BarmpaliasD14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/BarmpaliasAC14,
  author    = {George Barmpalias and
               Manindra Agrawal and
               S. Barry Cooper},
  title     = {Theory and Applications of Models of Computation at the Turing Centenary
               in China},
  journal   = {Theor. Comput. Sci.},
  volume    = {560},
  pages     = {107},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.tcs.2014.11.020},
  doi       = {10.1016/j.tcs.2014.11.020},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BarmpaliasAC14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/focs/BarmpaliasEL14,
  author    = {George Barmpalias and
               Richard Elwes and
               Andy Lewis{-}Pye},
  title     = {Digital Morphogenesis via Schelling Segregation},
  booktitle = {55th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
               2014, Philadelphia, PA, USA, October 18-21, 2014},
  pages     = {156--165},
  year      = {2014},
  crossref  = {DBLP:conf/focs/2014},
  url       = {https://doi.org/10.1109/FOCS.2014.25},
  doi       = {10.1109/FOCS.2014.25},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/focs/BarmpaliasEL14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/apal/BarmpaliasL13,
  author    = {George Barmpalias and
               Angsheng Li},
  title     = {Kolmogorov complexity and computably enumerable sets},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {164},
  number    = {12},
  pages     = {1187--1200},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.apal.2013.06.007},
  doi       = {10.1016/j.apal.2013.06.007},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/apal/BarmpaliasL13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/bsl/Barmpalias13,
  author    = {George Barmpalias},
  title     = {Algorithmic randomness and measures of complexity},
  journal   = {Bulletin of Symbolic Logic},
  volume    = {19},
  number    = {3},
  pages     = {318--350},
  year      = {2013},
  url       = {http://www.math.ucla.edu/~asl/bsl/1903/1903-002.ps},
  timestamp = {Mon, 15 Sep 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/bsl/Barmpalias13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iandc/Barmpalias13,
  author    = {George Barmpalias},
  title     = {Universal computably enumerable sets and initial segment prefix-free
               complexity},
  journal   = {Inf. Comput.},
  volume    = {233},
  pages     = {41--59},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.ic.2013.12.001},
  doi       = {10.1016/j.ic.2013.12.001},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iandc/Barmpalias13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipl/BarmpaliasHLM13,
  author    = {George Barmpalias and
               Rupert H{\"{o}}lzl and
               Andrew E. M. Lewis and
               Wolfgang Merkle},
  title     = {Analogues of Chaitin's Omega in the computably enumerable sets},
  journal   = {Inf. Process. Lett.},
  volume    = {113},
  number    = {5-6},
  pages     = {171--178},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.ipl.2013.01.007},
  doi       = {10.1016/j.ipl.2013.01.007},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ipl/BarmpaliasHLM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mst/BaartseB13,
  author    = {Martijn Baartse and
               George Barmpalias},
  title     = {On the Gap Between Trivial and Nontrivial Initial Segment Prefix-Free
               Complexity},
  journal   = {Theory Comput. Syst.},
  volume    = {52},
  number    = {1},
  pages     = {28--47},
  year      = {2013},
  url       = {https://doi.org/10.1007/s00224-012-9400-9},
  doi       = {10.1007/s00224-012-9400-9},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mst/BaartseB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-4014,
  author    = {Andy Lewis{-}Pye and
               George Barmpalias and
               Richard Elwes},
  title     = {Digital morphogenesis via Schelling segregation},
  journal   = {CoRR},
  volume    = {abs/1302.4014},
  year      = {2013},
  url       = {http://arxiv.org/abs/1302.4014},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1302-4014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/BarmpaliasEL13,
  author    = {George Barmpalias and
               Richard Elwes and
               Andy Lewis{-}Pye},
  title     = {Tipping Points in Schelling Segregation},
  journal   = {CoRR},
  volume    = {abs/1311.5934},
  year      = {2013},
  url       = {http://arxiv.org/abs/1311.5934},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/BarmpaliasEL13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/apal/Barmpalias12,
  author    = {George Barmpalias},
  title     = {Tracing and domination in the Turing degrees},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {163},
  number    = {5},
  pages     = {500--505},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.apal.2011.06.008},
  doi       = {10.1016/j.apal.2011.06.008},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/apal/Barmpalias12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/Barmpalias12,
  author    = {George Barmpalias},
  title     = {Compactness arguments with effectively closed sets for the study of
               relative randomness},
  journal   = {J. Log. Comput.},
  volume    = {22},
  number    = {4},
  pages     = {679--691},
  year      = {2012},
  url       = {https://doi.org/10.1093/logcom/exq036},
  doi       = {10.1093/logcom/exq036},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/Barmpalias12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/BarmpaliasN12,
  author    = {George Barmpalias and
               Andr{\'{e}} Nies},
  title     = {Low upper bounds in the Turing degrees revisited},
  journal   = {J. Log. Comput.},
  volume    = {22},
  number    = {4},
  pages     = {693--699},
  year      = {2012},
  url       = {https://doi.org/10.1093/logcom/exq035},
  doi       = {10.1093/logcom/exq035},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/BarmpaliasN12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/apal/BarmpaliasN11,
  author    = {George Barmpalias and
               Andr{\'{e}} Nies},
  title     = {Upper bounds on ideals in the computably enumerable Turing degrees},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {162},
  number    = {6},
  pages     = {465--473},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.apal.2010.12.005},
  doi       = {10.1016/j.apal.2010.12.005},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/apal/BarmpaliasN11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijsi/Barmpalias11,
  author    = {George Barmpalias},
  title     = {On Strings with Trivial Kolmogorov Complexity},
  journal   = {Int. J. Software and Informatics},
  volume    = {5},
  number    = {4},
  pages     = {579--593},
  year      = {2011},
  url       = {http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i112},
  timestamp = {Wed, 30 Jan 2013 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ijsi/Barmpalias11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsyml/BarmpaliasDN11,
  author    = {George Barmpalias and
               Rod Downey and
               Keng Meng Ng},
  title     = {Jump inversions inside effectively closed sets and applications to
               randomness},
  journal   = {J. Symb. Log.},
  volume    = {76},
  number    = {2},
  pages     = {491--518},
  year      = {2011},
  url       = {https://doi.org/10.2178/jsl/1305810761},
  doi       = {10.2178/jsl/1305810761},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jsyml/BarmpaliasDN11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/BarmpaliasV11,
  author    = {George Barmpalias and
               C. S. Vlek},
  title     = {Kolmogorov complexity of initial segments of sequences and arithmetical
               definability},
  journal   = {Theor. Comput. Sci.},
  volume    = {412},
  number    = {41},
  pages     = {5656--5667},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.tcs.2011.06.006},
  doi       = {10.1016/j.tcs.2011.06.006},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BarmpaliasV11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/BarmpaliasS11,
  author    = {George Barmpalias and
               T. F. Sterkenburg},
  title     = {On the number of infinite sequences with trivial initial segment complexity},
  journal   = {Theor. Comput. Sci.},
  volume    = {412},
  number    = {52},
  pages     = {7133--7146},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.tcs.2011.09.020},
  doi       = {10.1016/j.tcs.2011.09.020},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/BarmpaliasS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-1864,
  author    = {George Barmpalias},
  title     = {Universal computably enumerable sets and initial segment prefix-free
               complexity},
  journal   = {CoRR},
  volume    = {abs/1110.1864},
  year      = {2011},
  url       = {http://arxiv.org/abs/1110.1864},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1110-1864},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-4339,
  author    = {George Barmpalias and
               Angsheng Li},
  title     = {Kolmogorov complexity and computably enumerable sets},
  journal   = {CoRR},
  volume    = {abs/1111.4339},
  year      = {2011},
  url       = {http://arxiv.org/abs/1111.4339},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1111-4339},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/apal/Barmpalias10,
  author    = {George Barmpalias},
  title     = {Elementary differences between the degrees of unsolvability and degrees
               of compressibility},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {161},
  number    = {7},
  pages     = {923--934},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.apal.2009.11.004},
  doi       = {10.1016/j.apal.2009.11.004},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/apal/Barmpalias10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsyml/BarmpaliasLN10,
  author    = {George Barmpalias and
               Andrew E. M. Lewis and
               Keng Meng Ng},
  title     = {The importance of Pi\({}^{\mbox{0}}\)\({}_{\mbox{1}}\) classes in
               effective randomness},
  journal   = {J. Symb. Log.},
  volume    = {75},
  number    = {1},
  pages     = {387--400},
  year      = {2010},
  url       = {https://doi.org/10.2178/jsl/1264433928},
  doi       = {10.2178/jsl/1264433928},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jsyml/BarmpaliasLN10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ndjfl/Barmpalias10,
  author    = {George Barmpalias},
  title     = {Relative Randomness and Cardinality},
  journal   = {Notre Dame Journal of Formal Logic},
  volume    = {51},
  number    = {2},
  pages     = {195--205},
  year      = {2010},
  url       = {https://doi.org/10.1215/00294527-2010-012},
  doi       = {10.1215/00294527-2010-012},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ndjfl/Barmpalias10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/BarmpaliasCRW09,
  author    = {George Barmpalias and
               Douglas A. Cenzer and
               Jeffrey B. Remmel and
               Rebecca Weber},
  title     = {\emph{K}-Triviality of Closed Sets and Continuous Functions},
  journal   = {J. Log. Comput.},
  volume    = {19},
  number    = {1},
  pages     = {3--16},
  year      = {2009},
  url       = {https://doi.org/10.1093/logcom/exn021},
  doi       = {10.1093/logcom/exn021},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/BarmpaliasCRW09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mscs/BarmpaliasM09,
  author    = {George Barmpalias and
               Anthony Morphett},
  title     = {Non-cupping, measure and computably enumerable splittings},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {19},
  number    = {1},
  pages     = {25--43},
  year      = {2009},
  url       = {https://doi.org/10.1017/S0960129508007226},
  doi       = {10.1017/S0960129508007226},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mscs/BarmpaliasM09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/aml/BarmpaliasBCRW08,
  author    = {George Barmpalias and
               Paul Brodhead and
               Douglas A. Cenzer and
               Jeffrey B. Remmel and
               Rebecca Weber},
  title     = {Algorithmic randomness of continuous functions},
  journal   = {Arch. Math. Log.},
  volume    = {46},
  number    = {7-8},
  pages     = {533--546},
  year      = {2008},
  url       = {https://doi.org/10.1007/s00153-007-0060-4},
  doi       = {10.1007/s00153-007-0060-4},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/aml/BarmpaliasBCRW08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/apal/BarmpaliasLS08,
  author    = {George Barmpalias and
               Andrew E. M. Lewis and
               Frank Stephan},
  title     = {\emph{I} classes, {LR} degrees and Turing degrees},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {156},
  number    = {1},
  pages     = {21--38},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.apal.2008.06.004},
  doi       = {10.1016/j.apal.2008.06.004},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/apal/BarmpaliasLS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsyml/BarmpaliasLS08,
  author    = {George Barmpalias and
               Andrew E. M. Lewis and
               Mariya Ivanova Soskova},
  title     = {Randomness, lowness and degrees},
  journal   = {J. Symb. Log.},
  volume    = {73},
  number    = {2},
  pages     = {559--577},
  year      = {2008},
  url       = {https://doi.org/10.2178/jsl/1208359060},
  doi       = {10.2178/jsl/1208359060},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jsyml/BarmpaliasLS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/apal/LewisB07,
  author    = {Andrew E. M. Lewis and
               George Barmpalias},
  title     = {Randomness and the linear degrees of computability},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {145},
  number    = {3},
  pages     = {252--257},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.apal.2006.08.001},
  doi       = {10.1016/j.apal.2006.08.001},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/apal/LewisB07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/BarmpaliasM07,
  author    = {George Barmpalias and
               Antonio Montalb{\'{a}}n},
  title     = {A Cappable Almost Everywhere Dominating Computably Enumerable Degree},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {167},
  pages     = {17--31},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2006.08.005},
  doi       = {10.1016/j.entcs.2006.08.005},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/BarmpaliasM07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/AfshariBCS07,
  author    = {Bahareh Afshari and
               George Barmpalias and
               S. Barry Cooper and
               Frank Stephan},
  title     = {Post's Programme for the Ershov Hierarchy},
  journal   = {J. Log. Comput.},
  volume    = {17},
  number    = {6},
  pages     = {1025--1040},
  year      = {2007},
  url       = {https://doi.org/10.1093/logcom/exm032},
  doi       = {10.1093/logcom/exm032},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/AfshariBCS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/BarmpaliasBCDW07,
  author    = {George Barmpalias and
               Paul Brodhead and
               Douglas Cenzer and
               Seyyed Dashti and
               Rebecca Weber},
  title     = {Algorithmic Randomness of Closed Sets},
  journal   = {J. Log. Comput.},
  volume    = {17},
  number    = {6},
  pages     = {1041--1062},
  year      = {2007},
  url       = {https://doi.org/10.1093/logcom/exm033},
  doi       = {10.1093/logcom/exm033},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/BarmpaliasBCDW07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cie/BarmpaliasCRW07,
  author    = {George Barmpalias and
               Douglas A. Cenzer and
               Jeffrey B. Remmel and
               Rebecca Weber},
  title     = {\emph{K} -Trivial Closed Sets and Continuous Functions},
  booktitle = {Computation and Logic in the Real World, Third Conference on Computability
               in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
  pages     = {135--145},
  year      = {2007},
  crossref  = {DBLP:conf/cie/2007},
  url       = {https://doi.org/10.1007/978-3-540-73001-9_14},
  doi       = {10.1007/978-3-540-73001-9_14},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cie/BarmpaliasCRW07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tamc/BarmpaliasLS07,
  author    = {George Barmpalias and
               Andrew E. M. Lewis and
               Mariya Ivanova Soskova},
  title     = {Working with the \emph{LR} Degrees},
  booktitle = {Theory and Applications of Models of Computation, 4th International
               Conference, {TAMC} 2007, Shanghai, China, May 22-25, 2007, Proceedings},
  pages     = {89--99},
  year      = {2007},
  crossref  = {DBLP:conf/tamc/2007},
  url       = {https://doi.org/10.1007/978-3-540-72504-6_8},
  doi       = {10.1007/978-3-540-72504-6_8},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tamc/BarmpaliasLS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/apal/BarmpaliasL06,
  author    = {George Barmpalias and
               Andrew E. M. Lewis},
  title     = {The ibT degrees of computably enumerable sets are not dense},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {141},
  number    = {1-2},
  pages     = {51--60},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.apal.2005.10.001},
  doi       = {10.1016/j.apal.2005.10.001},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/apal/BarmpaliasL06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jc/Barmpalias06,
  author    = {George Barmpalias},
  title     = {Random non-cupping revisited},
  journal   = {J. Complexity},
  volume    = {22},
  number    = {6},
  pages     = {850--857},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.jco.2006.03.007},
  doi       = {10.1016/j.jco.2006.03.007},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jc/Barmpalias06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mscs/LewisB06,
  author    = {Andrew E. M. Lewis and
               George Barmpalias},
  title     = {Random reals and Lipschitz continuity},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {16},
  number    = {5},
  pages     = {737--749},
  year      = {2006},
  url       = {https://doi.org/10.1017/S0960129506005445},
  doi       = {10.1017/S0960129506005445},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mscs/LewisB06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ndjfl/BarmpaliasL06,
  author    = {George Barmpalias and
               Andrew E. M. Lewis},
  title     = {A {C.E.} Real That Cannot Be SW-Computed by Any {\(\Omega\)} Number},
  journal   = {Notre Dame Journal of Formal Logic},
  volume    = {47},
  number    = {2},
  pages     = {197--209},
  year      = {2006},
  url       = {https://doi.org/10.1305/ndjfl/1153858646},
  doi       = {10.1305/ndjfl/1153858646},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ndjfl/BarmpaliasL06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ndjfl/BarmpaliasL06a,
  author    = {George Barmpalias and
               Andrew E. M. Lewis},
  title     = {The Hypersimple-Free {C.E.} {WTT} Degrees Are Dense in the {C.E.}
               {WTT} Degrees},
  journal   = {Notre Dame Journal of Formal Logic},
  volume    = {47},
  number    = {3},
  pages     = {361--370},
  year      = {2006},
  url       = {https://doi.org/10.1305/ndjfl/1163775443},
  doi       = {10.1305/ndjfl/1163775443},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ndjfl/BarmpaliasL06a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tamc/AfshariBC06,
  author    = {Bahareh Afshari and
               George Barmpalias and
               S. Barry Cooper},
  title     = {Immunity Properties and the \emph{n}-C.E. Hierarchy},
  booktitle = {Theory and Applications of Models of Computation, Third International
               Conference, {TAMC} 2006, Beijing, China, May 15-20, 2006, Proceedings},
  pages     = {694--703},
  year      = {2006},
  crossref  = {DBLP:conf/tamc/2006},
  url       = {https://doi.org/10.1007/11750321_65},
  doi       = {10.1007/11750321_65},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tamc/AfshariBC06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/aml/Barmpalias05,
  author    = {George Barmpalias},
  title     = {Hypersimplicity and semicomputability in the weak truth table degrees},
  journal   = {Arch. Math. Log.},
  volume    = {44},
  number    = {8},
  pages     = {1045--1065},
  year      = {2005},
  url       = {https://doi.org/10.1007/s00153-005-0288-9},
  doi       = {10.1007/s00153-005-0288-9},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/aml/Barmpalias05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mlq/ZhengRB05,
  author    = {Xizhong Zheng and
               Robert Rettinger and
               George Barmpalias},
  title     = {\emph{h}-monotonically computable real numbers},
  journal   = {Math. Log. Q.},
  volume    = {51},
  number    = {2},
  pages     = {157--170},
  year      = {2005},
  url       = {https://doi.org/10.1002/malq.200410016},
  doi       = {10.1002/malq.200410016},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mlq/ZhengRB05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cie/Barmpalias05,
  author    = {George Barmpalias},
  title     = {Computably Enumerable Sets in the Solovay and the Strong Weak Truth
               Table Degrees},
  booktitle = {New Computational Paradigms, First Conference on Computability in
               Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
  pages     = {8--17},
  year      = {2005},
  crossref  = {DBLP:conf/cie/2005},
  url       = {https://doi.org/10.1007/11494645_2},
  doi       = {10.1007/11494645_2},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cie/Barmpalias05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/aml/Barmpalias04,
  author    = {George Barmpalias},
  title     = {Approximation Representations for ?\({}_{\mbox{2}}\) Reals},
  journal   = {Arch. Math. Log.},
  volume    = {43},
  number    = {8},
  pages     = {947--964},
  year      = {2004},
  url       = {https://doi.org/10.1007/s00153-004-0234-2},
  doi       = {10.1007/s00153-004-0234-2},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/aml/Barmpalias04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mlq/Barmpalias04,
  author    = {George Barmpalias},
  title     = {Approximation representations for reals and their wtt-degrees},
  journal   = {Math. Log. Q.},
  volume    = {50},
  number    = {4-5},
  pages     = {370--380},
  year      = {2004},
  url       = {https://doi.org/10.1002/malq.200310105},
  doi       = {10.1002/malq.200310105},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mlq/Barmpalias04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsyml/Barmpalias03,
  author    = {George Barmpalias},
  title     = {The approximation structure of a computably approximable real},
  journal   = {J. Symb. Log.},
  volume    = {68},
  number    = {3},
  pages     = {885--922},
  year      = {2003},
  url       = {https://doi.org/10.2178/jsl/1058448447},
  doi       = {10.2178/jsl/1058448447},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jsyml/Barmpalias03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mlq/Barmpalias03,
  author    = {George Barmpalias},
  title     = {A transfinite hierarchy of reals},
  journal   = {Math. Log. Q.},
  volume    = {49},
  number    = {2},
  pages     = {163--172},
  year      = {2003},
  url       = {https://doi.org/10.1002/malq.200310015},
  doi       = {10.1002/malq.200310015},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mlq/Barmpalias03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/ZhengB03,
  author    = {Xizhong Zheng and
               George Barmpalias},
  title     = {On the Monotonic Computability of Semi-computable Real Numbers},
  booktitle = {Discrete Mathematics and Theoretical Computer Science, 4th International
               Conference, {DMTCS} 2003, Dijon, France, July 7-12, 2003. Proceedings},
  pages     = {290--300},
  year      = {2003},
  crossref  = {DBLP:conf/dmtcs/2003},
  url       = {https://doi.org/10.1007/3-540-45066-1_23},
  doi       = {10.1007/3-540-45066-1_23},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dmtcs/ZhengB03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/Barmpalias02,
  author    = {George Barmpalias},
  title     = {On 0'-computable Reals},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {66},
  number    = {1},
  pages     = {1--12},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(04)80374-8},
  doi       = {10.1016/S1571-0661(04)80374-8},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/Barmpalias02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2017downey,
  editor    = {Adam R. Day and
               Michael R. Fellows and
               Noam Greenberg and
               Bakhadyr Khoussainov and
               Alexander G. Melnikov and
               Frances A. Rosamond},
  title     = {Computability and Complexity - Essays Dedicated to Rodney G. Downey
               on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {10010},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-50062-1},
  doi       = {10.1007/978-3-319-50062-1},
  isbn      = {978-3-319-50061-4},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2017downey},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/focs/2014,
  title     = {55th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
               2014, Philadelphia, PA, USA, October 18-21, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6975722},
  isbn      = {978-1-4799-6517-5},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/focs/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cie/2007,
  editor    = {S. Barry Cooper and
               Benedikt L{\"{o}}we and
               Andrea Sorbi},
  title     = {Computation and Logic in the Real World, Third Conference on Computability
               in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4497},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73001-9},
  doi       = {10.1007/978-3-540-73001-9},
  isbn      = {978-3-540-73000-2},
  timestamp = {Mon, 12 Jun 2017 16:41:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cie/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tamc/2007,
  editor    = {Jin{-}yi Cai and
               S. Barry Cooper and
               Hong Zhu},
  title     = {Theory and Applications of Models of Computation, 4th International
               Conference, {TAMC} 2007, Shanghai, China, May 22-25, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4484},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-72504-6},
  doi       = {10.1007/978-3-540-72504-6},
  isbn      = {978-3-540-72503-9},
  timestamp = {Sun, 21 May 2017 00:19:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tamc/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tamc/2006,
  editor    = {Jin{-}yi Cai and
               S. Barry Cooper and
               Angsheng Li},
  title     = {Theory and Applications of Models of Computation, Third International
               Conference, {TAMC} 2006, Beijing, China, May 15-20, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3959},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11750321},
  doi       = {10.1007/11750321},
  isbn      = {3-540-34021-1},
  timestamp = {Sun, 21 May 2017 00:19:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tamc/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cie/2005,
  editor    = {S. Barry Cooper and
               Benedikt L{\"{o}}we and
               Leen Torenvliet},
  title     = {New Computational Paradigms, First Conference on Computability in
               Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3526},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b136981},
  doi       = {10.1007/b136981},
  isbn      = {3-540-26179-6},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cie/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dmtcs/2003,
  editor    = {Cristian Calude and
               Michael J. Dinneen and
               Vincent Vajnovszki},
  title     = {Discrete Mathematics and Theoretical Computer Science, 4th International
               Conference, {DMTCS} 2003, Dijon, France, July 7-12, 2003. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2731},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-45066-1},
  doi       = {10.1007/3-540-45066-1},
  isbn      = {3-540-40505-4},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dmtcs/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier