BibTeX records: Christopher P. Porter

download as .bib file

@article{DBLP:journals/corr/abs-2403-04043,
  author       = {Christopher P. Porter},
  title        = {Length Functions and the Dimension of Points in Self-Similar Fractal
                  Trees},
  journal      = {CoRR},
  volume       = {abs/2403.04043},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.04043},
  doi          = {10.48550/ARXIV.2403.04043},
  eprinttype    = {arXiv},
  eprint       = {2403.04043},
  timestamp    = {Wed, 10 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-04043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-04045,
  author       = {Laurent Bienvenu and
                  Christopher P. Porter},
  title        = {Bridging Computational Notions of Depth},
  journal      = {CoRR},
  volume       = {abs/2403.04045},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.04045},
  doi          = {10.48550/ARXIV.2403.04045},
  eprinttype    = {arXiv},
  eprint       = {2403.04045},
  timestamp    = {Wed, 03 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-04045.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/CenzerP23,
  author       = {Douglas Cenzer and
                  Christopher P. Porter},
  title        = {Randomness extraction in computability theory},
  journal      = {Comput.},
  volume       = {12},
  number       = {1},
  pages        = {1--21},
  year         = {2023},
  url          = {https://doi.org/10.3233/COM-210343},
  doi          = {10.3233/COM-210343},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/computability/CenzerP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Porter23,
  author       = {Christopher P. Porter},
  title        = {Continuous randomness via transformations of 2-random sequences},
  journal      = {Inf. Comput.},
  volume       = {292},
  pages        = {105028},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.ic.2023.105028},
  doi          = {10.1016/J.IC.2023.105028},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/Porter23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/Porter23,
  author       = {Christopher P. Porter},
  title        = {Length Functions and the Dimension of Points in Self-Similar Fractal
                  Trees},
  journal      = {{IEEE} Trans. Inf. Theory},
  volume       = {69},
  number       = {10},
  pages        = {6221--6230},
  year         = {2023},
  url          = {https://doi.org/10.1109/TIT.2023.3287411},
  doi          = {10.1109/TIT.2023.3287411},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tit/Porter23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/CenzerFP23,
  author       = {Douglas Cenzer and
                  Cameron Fraize and
                  Christopher P. Porter},
  editor       = {Daniela Genova and
                  Jarkko Kari},
  title        = {Extraction Rates of Random Continuous Functionals},
  booktitle    = {Unconventional Computation and Natural Computation - 20th International
                  Conference, {UCNC} 2023, Jacksonville, FL, USA, March 13-17, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14003},
  pages        = {46--63},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-34034-5\_4},
  doi          = {10.1007/978-3-031-34034-5\_4},
  timestamp    = {Wed, 14 Jun 2023 18:15:21 +0200},
  biburl       = {https://dblp.org/rec/conf/uc/CenzerFP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/HolzlP22,
  author       = {Rupert H{\"{o}}lzl and
                  Christopher P. Porter},
  title        = {Degrees of Randomized Computability},
  journal      = {Bull. Symb. Log.},
  volume       = {28},
  number       = {1},
  pages        = {27--70},
  year         = {2022},
  url          = {https://doi.org/10.1017/bsl.2021.46},
  doi          = {10.1017/BSL.2021.46},
  timestamp    = {Tue, 03 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/HolzlP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CaseP22,
  author       = {Adam Case and
                  Christopher P. Porter},
  title        = {The Intersection of Algorithmically Random Closed Sets and Effective
                  Dimension},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {23},
  number       = {4},
  pages        = {24:1--24:19},
  year         = {2022},
  url          = {https://doi.org/10.1145/3545114},
  doi          = {10.1145/3545114},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/CaseP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Porter21,
  author       = {Christopher P. Porter},
  title        = {Revisiting Chaitin's Incompleteness Theorem},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {62},
  number       = {1},
  year         = {2021},
  url          = {https://doi.org/10.1215/00294527-2021-0006},
  doi          = {10.1215/00294527-2021-0006},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Porter21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-03965,
  author       = {Adam Case and
                  Christopher P. Porter},
  title        = {The intersection of algorithmically random closed sets and effective
                  dimension},
  journal      = {CoRR},
  volume       = {abs/2103.03965},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.03965},
  eprinttype    = {arXiv},
  eprint       = {2103.03965},
  timestamp    = {Tue, 16 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-03965.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BienvenuP19,
  author       = {Laurent Bienvenu and
                  Christopher P. Porter},
  title        = {On the Interplay between Effective Notions of Randomness and Genericity},
  journal      = {J. Symb. Log.},
  volume       = {84},
  number       = {1},
  pages        = {393--407},
  year         = {2019},
  url          = {https://doi.org/10.1017/jsl.2018.53},
  doi          = {10.1017/JSL.2018.53},
  timestamp    = {Wed, 20 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/BienvenuP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HolzlP19,
  author       = {Rupert H{\"{o}}lzl and
                  Christopher P. Porter},
  title        = {Rank and Randomness},
  journal      = {J. Symb. Log.},
  volume       = {84},
  number       = {4},
  pages        = {1527--1543},
  year         = {2019},
  url          = {https://doi.org/10.1017/jsl.2019.65},
  doi          = {10.1017/JSL.2019.65},
  timestamp    = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/HolzlP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Porter19,
  author       = {Christopher P. Porter},
  title        = {Effective aspects of Bernoulli randomness},
  journal      = {J. Log. Comput.},
  volume       = {29},
  number       = {6},
  pages        = {933--946},
  year         = {2019},
  url          = {https://doi.org/10.1093/logcom/exz021},
  doi          = {10.1093/LOGCOM/EXZ021},
  timestamp    = {Tue, 07 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/logcom/Porter19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-07815,
  author       = {Rupert H{\"{o}}lzl and
                  Christopher P. Porter},
  title        = {Degrees of Randomized Computability},
  journal      = {CoRR},
  volume       = {abs/1907.07815},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.07815},
  eprinttype    = {arXiv},
  eprint       = {1907.07815},
  timestamp    = {Tue, 23 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-07815.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CenzerP18,
  author       = {Douglas Cenzer and
                  Christopher P. Porter},
  title        = {The Random Members of a {\(\Pi\)}\({}_{\mbox{1}}\)\({}^{\mbox{0}}\)
                  Class},
  journal      = {Theory Comput. Syst.},
  volume       = {62},
  number       = {7},
  pages        = {1637--1671},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00224-017-9824-3},
  doi          = {10.1007/S00224-017-9824-3},
  timestamp    = {Wed, 25 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/CenzerP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HolzlP17,
  author       = {Rupert H{\"{o}}lzl and
                  Christopher P. Porter},
  title        = {Randomness for computable measures and initial segment complexity},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {168},
  number       = {4},
  pages        = {860--886},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.apal.2016.10.014},
  doi          = {10.1016/J.APAL.2016.10.014},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/HolzlP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BienvenuHPS17,
  author       = {Laurent Bienvenu and
                  Rupert H{\"{o}}lzl and
                  Christopher P. Porter and
                  Paul Shafer},
  title        = {Randomness and Semimeasures},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {58},
  number       = {3},
  pages        = {301--328},
  year         = {2017},
  url          = {https://doi.org/10.1215/00294527-3839446},
  doi          = {10.1215/00294527-3839446},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/BienvenuHPS17.bib},
  bibsource    = {dblp computer science bibliography, https://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       = {https://dblp.org/rec/journals/tcs/BarmpaliasCP17.bib},
  bibsource    = {dblp computer science bibliography, https://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          = {https://doi.org/10.1145/3091527},
  doi          = {10.1145/3091527},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BarmpaliasCP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/BienvenuP16,
  author       = {Laurent Bienvenu and
                  Christopher P. Porter},
  title        = {Deep Pi\({}_{\mbox{1}}\)\({}^{\mbox{0}}\) Classes},
  journal      = {Bull. Symb. Log.},
  volume       = {22},
  number       = {2},
  pages        = {249--286},
  year         = {2016},
  url          = {https://doi.org/10.1017/bsl.2016.9},
  doi          = {10.1017/BSL.2016.9},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/BienvenuP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Porter16,
  author       = {Christopher P. Porter},
  title        = {On Analogues of the Church-Turing Thesis in Algorithmic Randomness},
  journal      = {Rev. Symb. Log.},
  volume       = {9},
  number       = {3},
  pages        = {456--479},
  year         = {2016},
  url          = {https://doi.org/10.1017/S1755020316000113},
  doi          = {10.1017/S1755020316000113},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Porter16.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  eprinttype    = {arXiv},
  eprint       = {1605.05838},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BarmpaliasCP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FraizeP16,
  author       = {Cameron Fraize and
                  Christopher P. Porter},
  title        = {Kolmogorov complexity and generalized length functions},
  journal      = {CoRR},
  volume       = {abs/1611.05819},
  year         = {2016},
  url          = {http://arxiv.org/abs/1611.05819},
  eprinttype    = {arXiv},
  eprint       = {1611.05819},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FraizeP16.bib},
  bibsource    = {dblp computer science bibliography, https://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},
  eprinttype    = {arXiv},
  eprint       = {1612.08537},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BarmpaliasCP16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/0002NP15,
  author       = {Anton{\'{\i}}n Kucera and
                  Andr{\'{e}} Nies and
                  Christopher P. Porter},
  title        = {Demuth's Path to Randomness},
  journal      = {Bull. Symb. Log.},
  volume       = {21},
  number       = {3},
  pages        = {270--305},
  year         = {2015},
  url          = {https://doi.org/10.1017/bsl.2015.24},
  doi          = {10.1017/BSL.2015.24},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/0002NP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/CulverP15,
  author       = {Quinn Culver and
                  Christopher P. Porter},
  title        = {The interplay of classes of algorithmically random objects},
  journal      = {J. Log. Anal.},
  volume       = {7},
  year         = {2015},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/246/108},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/CulverP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Porter15,
  author       = {Christopher P. Porter},
  title        = {Trivial Measures are not so Trivial},
  journal      = {Theory Comput. Syst.},
  volume       = {56},
  number       = {3},
  pages        = {487--512},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00224-015-9614-8},
  doi          = {10.1007/S00224-015-9614-8},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Porter15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/CenzerP15,
  author       = {Douglas Cenzer and
                  Christopher P. Porter},
  editor       = {Rahul Jain and
                  Sanjay Jain and
                  Frank Stephan},
  title        = {Algorithmically Random Functions and Effective Capacities},
  booktitle    = {Theory and Applications of Models of Computation - 12th Annual Conference,
                  {TAMC} 2015, Singapore, May 18-20, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9076},
  pages        = {23--37},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17142-5\_4},
  doi          = {10.1007/978-3-319-17142-5\_4},
  timestamp    = {Mon, 16 Sep 2019 15:30:10 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/CenzerP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Porter14,
  author       = {Christopher P. Porter},
  title        = {Kolmogorov on the role of randomness in probability theory},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {24},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.1017/S0960129512000801},
  doi          = {10.1017/S0960129512000801},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/Porter14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BienvenuP12,
  author       = {Laurent Bienvenu and
                  Christopher P. Porter},
  title        = {Strong reductions in effective randomness},
  journal      = {Theor. Comput. Sci.},
  volume       = {459},
  pages        = {55--68},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.06.031},
  doi          = {10.1016/J.TCS.2012.06.031},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BienvenuP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics