default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Cameron E. Freer
@article{DBLP:journals/corr/abs-2601-22435,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Mostafa Mirabi},
title = {On the computability of cofinal Fra{\"{\i}}ss{\'{e}} limits},
journal = {CoRR},
volume = {abs/2601.22435},
year = {2026},
url = {https://doi.org/10.48550/arXiv.2601.22435},
doi = {10.48550/ARXIV.2601.22435},
eprinttype = {arXiv},
eprint = {2601.22435},
timestamp = {Thu, 26 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2601-22435.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/AckermanFGMP25,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Mohammad Golshani and
Mostafa Mirabi and
Rehana Patel},
title = {Forcing with Invariant Measures},
journal = {Logica Universalis},
volume = {19},
number = {4},
pages = {799--840},
year = {2025},
url = {https://doi.org/10.1007/s11787-025-00394-2},
doi = {10.1007/S11787-025-00394-2},
timestamp = {Fri, 09 Jan 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/AckermanFGMP25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HuotGLSFSRSM24,
author = {Mathieu Huot and
Matin Ghavami and
Alexander K. Lew and
Ulrich Schaechtle and
Cameron E. Freer and
Zane Shelby and
Martin C. Rinard and
Feras A. Saad and
Vikash K. Mansinghka},
title = {GenSQL: {A} Probabilistic Programming System for Querying Generative
Models of Database Tables},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{PLDI}},
pages = {790--815},
year = {2024},
url = {https://doi.org/10.1145/3656409},
doi = {10.1145/3656409},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/HuotGLSFSRSM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AckermanFKKMRSY24,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Younesse Kaddar and
Jacek Karwowski and
Sean K. Moss and
Daniel M. Roy and
Sam Staton and
Hongseok Yang},
title = {Probabilistic Programming Interfaces for Random Graphs: Markov Categories,
Graphons, and Nominal Sets},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {1819--1849},
year = {2024},
url = {https://doi.org/10.1145/3632903},
doi = {10.1145/3632903},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AckermanFKKMRSY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-15652,
author = {Mathieu Huot and
Matin Ghavami and
Alexander K. Lew and
Ulrich Schaechtle and
Cameron E. Freer and
Zane Shelby and
Martin C. Rinard and
Feras A. Saad and
Vikash K. Mansinghka},
title = {GenSQL: {A} Probabilistic Programming System for Querying Generative
Models of Database Tables},
journal = {CoRR},
volume = {abs/2406.15652},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.15652},
doi = {10.48550/ARXIV.2406.15652},
eprinttype = {arXiv},
eprint = {2406.15652},
timestamp = {Tue, 16 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-15652.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-17127,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Younesse Kaddar and
Jacek Karwowski and
Sean K. Moss and
Daniel M. Roy and
Sam Staton and
Hongseok Yang},
title = {Probabilistic programming interfaces for random graphs: Markov categories,
graphons, and nominal sets},
journal = {CoRR},
volume = {abs/2312.17127},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.17127},
doi = {10.48550/ARXIV.2312.17127},
eprinttype = {arXiv},
eprint = {2312.17127},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-17127.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AckermanADFT22,
author = {Nathanael L. Ackerman and
Julian Asilis and
Jieqi Di and
Cameron E. Freer and
Jean{-}Baptiste Tristan},
editor = {Christel Baier and
Dana Fisman},
title = {Computable {PAC} Learning of Continuous Features},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {7:1--7:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533330},
doi = {10.1145/3531130.3533330},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/AckermanADFT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AckermanFP21,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Rehana Patel},
title = {On computable aspects of algebraic and definable closure},
journal = {J. Log. Comput.},
volume = {31},
number = {1},
pages = {2--19},
year = {2021},
url = {https://doi.org/10.1093/logcom/exaa070},
doi = {10.1093/LOGCOM/EXAA070},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/AckermanFP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-11849,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Rehana Patel},
title = {On computable aspects of algebraic and definable closure},
journal = {CoRR},
volume = {abs/2101.11849},
year = {2021},
url = {https://arxiv.org/abs/2101.11849},
eprinttype = {arXiv},
eprint = {2101.11849},
timestamp = {Sun, 31 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-11849.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-14630,
author = {Nathanael L. Ackerman and
Julian Asilis and
Jieqi Di and
Cameron E. Freer and
Jean{-}Baptiste Tristan},
title = {On computable learning of continuous features},
journal = {CoRR},
volume = {abs/2111.14630},
year = {2021},
url = {https://arxiv.org/abs/2111.14630},
eprinttype = {arXiv},
eprint = {2111.14630},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-14630.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AckermanFL20,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Robert S. Lubarsky},
title = {An introduction to feedback Turing computability},
journal = {J. Log. Comput.},
volume = {30},
number = {1},
pages = {27--60},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa002},
doi = {10.1093/LOGCOM/EXAA002},
timestamp = {Fri, 04 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AckermanFL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SaadFRM20,
author = {Feras A. Saad and
Cameron E. Freer and
Martin C. Rinard and
Vikash K. Mansinghka},
title = {Optimal approximate sampling from discrete probability distributions},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {36:1--36:31},
year = {2020},
url = {https://doi.org/10.1145/3371104},
doi = {10.1145/3371104},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SaadFRM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/SaadFRM20,
author = {Feras Saad and
Cameron E. Freer and
Martin C. Rinard and
Vikash Mansinghka},
editor = {Silvia Chiappa and
Roberto Calandra},
title = {The Fast Loaded Dice Roller: {A} Near-Optimal Exact Sampler for Discrete
Probability Distributions},
booktitle = {The 23rd International Conference on Artificial Intelligence and Statistics,
{AISTATS} 2020, 26-28 August 2020, Online [Palermo, Sicily, Italy]},
series = {Proceedings of Machine Learning Research},
volume = {108},
pages = {1036--1046},
publisher = {{PMLR}},
year = {2020},
url = {http://proceedings.mlr.press/v108/saad20a.html},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aistats/SaadFRM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/AckermanFP20,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Rehana Patel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Computability of Algebraic and Definable Closure},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {1--11},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_1},
doi = {10.1007/978-3-030-36755-8\_1},
timestamp = {Mon, 16 Dec 2019 15:13:07 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/AckermanFP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-04555,
author = {Feras A. Saad and
Cameron E. Freer and
Martin C. Rinard and
Vikash K. Mansinghka},
title = {Optimal Approximate Sampling from Discrete Probability Distributions},
journal = {CoRR},
volume = {abs/2001.04555},
year = {2020},
url = {https://arxiv.org/abs/2001.04555},
eprinttype = {arXiv},
eprint = {2001.04555},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-04555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-03830,
author = {Feras A. Saad and
Cameron E. Freer and
Martin C. Rinard and
Vikash K. Mansinghka},
title = {The Fast Loaded Dice Roller: {A} Near-Optimal Exact Sampler for Discrete
Probability Distributions},
journal = {CoRR},
volume = {abs/2003.03830},
year = {2020},
url = {https://arxiv.org/abs/2003.03830},
eprinttype = {arXiv},
eprint = {2003.03830},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-03830.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-15167,
author = {Span Spanbauer and
Cameron E. Freer and
Vikash Mansinghka},
title = {Deep Involutive Generative Models for Neural {MCMC}},
journal = {CoRR},
volume = {abs/2006.15167},
year = {2020},
url = {https://arxiv.org/abs/2006.15167},
eprinttype = {arXiv},
eprint = {2006.15167},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-15167.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AckermanFR19,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Daniel M. Roy},
title = {On the Computability of Conditional Probability},
journal = {J. {ACM}},
volume = {66},
number = {3},
pages = {23:1--23:40},
year = {2019},
url = {https://doi.org/10.1145/3321699},
doi = {10.1145/3321699},
timestamp = {Wed, 26 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/AckermanFR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AckermanFL19,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Robert S. Lubarsky},
title = {Feedback computability on Cantor space},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {2},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(2:7)2019},
doi = {10.23638/LMCS-15(2:7)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AckermanFL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/SaadFAM19,
author = {Feras A. Saad and
Cameron E. Freer and
Nathanael L. Ackerman and
Vikash K. Mansinghka},
editor = {Kamalika Chaudhuri and
Masashi Sugiyama},
title = {A Family of Exact Goodness-of-Fit Tests for High-Dimensional Discrete
Distributions},
booktitle = {The 22nd International Conference on Artificial Intelligence and Statistics,
{AISTATS} 2019, 16-18 April 2019, Naha, Okinawa, Japan},
series = {Proceedings of Machine Learning Research},
volume = {89},
pages = {1640--1649},
publisher = {{PMLR}},
year = {2019},
url = {http://proceedings.mlr.press/v89/saad19a.html},
timestamp = {Fri, 07 Jun 2019 09:03:47 +0200},
biburl = {https://dblp.org/rec/conf/aistats/SaadFAM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AckermanAF0R19,
author = {Nathanael L. Ackerman and
Jeremy Avigad and
Cameron E. Freer and
Daniel M. Roy and
Jason M. Rute},
title = {Algorithmic barriers to representing conditional independence},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785762},
doi = {10.1109/LICS.2019.8785762},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/AckermanAF0R19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-10142,
author = {Feras A. Saad and
Cameron E. Freer and
Nathanael L. Ackerman and
Vikash K. Mansinghka},
title = {A Family of Exact Goodness-of-Fit Tests for High-Dimensional Discrete
Distributions},
journal = {CoRR},
volume = {abs/1902.10142},
year = {2019},
url = {http://arxiv.org/abs/1902.10142},
eprinttype = {arXiv},
eprint = {1902.10142},
timestamp = {Tue, 04 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-10142.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/StatonSYAF018,
author = {Sam Staton and
Dario Stein and
Hongseok Yang and
Nathanael L. Ackerman and
Cameron E. Freer and
Daniel M. Roy},
editor = {Ioannis Chatzigiannakis and
Christos Kaklamanis and
D{\'{a}}niel Marx and
Donald Sannella},
title = {The Beta-Bernoulli process and algebraic effects},
booktitle = {45th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2018, Prague, Czech Republic, July 9-13, 2018},
series = {LIPIcs},
volume = {107},
pages = {141:1--141:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2018.141},
doi = {10.4230/LIPICS.ICALP.2018.141},
timestamp = {Fri, 21 Nov 2025 23:44:11 +0100},
biburl = {https://dblp.org/rec/conf/icalp/StatonSYAF018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-10387,
author = {Nathanael L. Ackerman and
Jeremy Avigad and
Cameron E. Freer and
Daniel M. Roy and
Jason M. Rute},
title = {On the computability of graphons},
journal = {CoRR},
volume = {abs/1801.10387},
year = {2018},
url = {http://arxiv.org/abs/1801.10387},
eprinttype = {arXiv},
eprint = {1801.10387},
timestamp = {Tue, 04 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-10387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-09598,
author = {Sam Staton and
Dario Stein and
Hongseok Yang and
Nathanael L. Ackerman and
Cameron E. Freer and
Daniel M. Roy},
title = {The Beta-Bernoulli process and algebraic effects},
journal = {CoRR},
volume = {abs/1802.09598},
year = {2018},
url = {http://arxiv.org/abs/1802.09598},
eprinttype = {arXiv},
eprint = {1802.09598},
timestamp = {Tue, 04 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-09598.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AckermanFKP17,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Aleksandra Kwiatkowska and
Rehana Patel},
title = {A classification of orbits admitting a unique invariant measure},
journal = {Ann. Pure Appl. Log.},
volume = {168},
number = {1},
pages = {19--36},
year = {2017},
url = {https://doi.org/10.1016/j.apal.2016.08.003},
doi = {10.1016/J.APAL.2016.08.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/AckermanFKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AckermanFR17,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Daniel M. Roy},
title = {On computability and disintegration},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {8},
pages = {1287--1314},
year = {2017},
url = {https://doi.org/10.1017/S0960129516000098},
doi = {10.1017/S0960129516000098},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AckermanFR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/AckermanF17,
author = {Nathanael L. Ackerman and
Cameron E. Freer},
editor = {Juliette Kennedy and
Ruy J. G. B. de Queiroz},
title = {Graph Turing Machines},
booktitle = {Logic, Language, Information, and Computation - 24th International
Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10388},
pages = {1--13},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55386-2\_1},
doi = {10.1007/978-3-662-55386-2\_1},
timestamp = {Tue, 04 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/AckermanF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AckermanF17,
author = {Nathanael L. Ackerman and
Cameron E. Freer},
title = {On the computability of graph Turing machines},
journal = {CoRR},
volume = {abs/1703.09406},
year = {2017},
url = {http://arxiv.org/abs/1703.09406},
eprinttype = {arXiv},
eprint = {1703.09406},
timestamp = {Tue, 04 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AckermanF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-01139,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Robert S. Lubarsky},
title = {Feedback computability on Cantor space},
journal = {CoRR},
volume = {abs/1708.01139},
year = {2017},
url = {http://arxiv.org/abs/1708.01139},
eprinttype = {arXiv},
eprint = {1708.01139},
timestamp = {Tue, 04 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-01139.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/AckermanFNP16,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Jaroslav Nesetril and
Rehana Patel},
title = {Invariant measures via inverse limits of finite structures},
journal = {Eur. J. Comb.},
volume = {52},
pages = {248--289},
year = {2016},
url = {https://doi.org/10.1016/j.ejc.2015.07.006},
doi = {10.1016/J.EJC.2015.07.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/AckermanFNP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AckermanFL15,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Robert S. Lubarsky},
title = {Feedback Turing Computability, and Turing Computability as Feedback},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {523--534},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.55},
doi = {10.1109/LICS.2015.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AckermanFL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AckermanFR15,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Daniel M. Roy},
title = {On computability and disintegration},
journal = {CoRR},
volume = {abs/1509.02992},
year = {2015},
url = {http://arxiv.org/abs/1509.02992},
eprinttype = {arXiv},
eprint = {1509.02992},
timestamp = {Tue, 04 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AckermanFR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/FreerKNS14,
author = {Cameron E. Freer and
Bj{\o}rn Kjos{-}Hanssen and
Andr{\'{e}} Nies and
Frank Stephan},
title = {Algorithmic Aspects of Lipschitz Functions},
journal = {Comput.},
volume = {3},
number = {1},
pages = {45--61},
year = {2014},
url = {https://doi.org/10.3233/COM-14025},
doi = {10.3233/COM-14025},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/FreerKNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/p/FreerRT14,
author = {Cameron E. Freer and
Daniel M. Roy and
Joshua B. Tenenbaum},
editor = {Rod Downey},
title = {Towards common-sense reasoning via conditional simulation: legacies
of Turing in Artificial Intelligence},
booktitle = {Turing's Legacy: Developments from Turing's Ideas in Logic},
series = {Lecture Notes in Logic},
volume = {42},
pages = {195--252},
publisher = {Cambridge University Press},
year = {2014},
url = {https://doi.org/10.1017/CBO9781107338579.007},
doi = {10.1017/CBO9781107338579.007},
timestamp = {Mon, 18 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/cu/p/FreerRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/AckermanF13,
author = {Nathanael L. Ackerman and
Cameron E. Freer},
editor = {T.{-}H. Hubert Chan and
Lap Chi Lau and
Luca Trevisan},
title = {A Notion of a Computational Step for Partial Combinatory Algebras},
booktitle = {Theory and Applications of Models of Computation, 10th International
Conference, {TAMC} 2013, Hong Kong, China, May 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7876},
pages = {133--143},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38236-9\_13},
doi = {10.1007/978-3-642-38236-9\_13},
timestamp = {Tue, 25 Feb 2025 11:15:14 +0100},
biburl = {https://dblp.org/rec/conf/tamc/AckermanF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/FreerR12,
author = {Cameron E. Freer and
Daniel M. Roy},
title = {Computable de Finetti measures},
journal = {Ann. Pure Appl. Log.},
volume = {163},
number = {5},
pages = {530--546},
year = {2012},
url = {https://doi.org/10.1016/j.apal.2011.06.011},
doi = {10.1016/J.APAL.2011.06.011},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/FreerR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-4799,
author = {Cameron E. Freer and
Daniel M. Roy and
Joshua B. Tenenbaum},
title = {Towards common-sense reasoning via conditional simulation: legacies
of Turing in Artificial Intelligence},
journal = {CoRR},
volume = {abs/1212.4799},
year = {2012},
url = {http://arxiv.org/abs/1212.4799},
eprinttype = {arXiv},
eprint = {1212.4799},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-4799.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AckermanFR11,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Daniel M. Roy},
title = {Noncomputable Conditional Distributions},
booktitle = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
pages = {107--116},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LICS.2011.49},
doi = {10.1109/LICS.2011.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AckermanFR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/jmlr/FreerR10,
author = {Cameron E. Freer and
Daniel M. Roy},
editor = {Yee Whye Teh and
D. Mike Titterington},
title = {Posterior distributions are computable from predictive distributions},
booktitle = {Proceedings of the Thirteenth International Conference on Artificial
Intelligence and Statistics, {AISTATS} 2010, Chia Laguna Resort, Sardinia,
Italy, May 13-15, 2010},
series = {{JMLR} Proceedings},
volume = {9},
pages = {233--240},
publisher = {JMLR.org},
year = {2010},
url = {http://proceedings.mlr.press/v9/freer10a.html},
timestamp = {Wed, 29 May 2019 08:41:44 +0200},
biburl = {https://dblp.org/rec/journals/jmlr/FreerR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AckermanFR10,
author = {Nathanael L. Ackerman and
Cameron E. Freer and
Daniel M. Roy},
title = {On the computability of conditional probability},
journal = {CoRR},
volume = {abs/1005.3014},
year = {2010},
url = {http://arxiv.org/abs/1005.3014},
eprinttype = {arXiv},
eprint = {1005.3014},
timestamp = {Tue, 04 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AckermanFR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/FreerR09,
author = {Cameron E. Freer and
Daniel M. Roy},
editor = {Klaus Ambos{-}Spies and
Benedikt L{\"{o}}we and
Wolfgang Merkle},
title = {Computable Exchangeable Sequences Have Computable de Finetti Measures},
booktitle = {Mathematical Theory and Computational Practice, 5th Conference on
Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5635},
pages = {218--231},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03073-4\_23},
doi = {10.1007/978-3-642-03073-4\_23},
timestamp = {Sun, 02 Jun 2019 21:17:54 +0200},
biburl = {https://dblp.org/rec/conf/cie/FreerR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-1072,
author = {Cameron E. Freer and
Daniel M. Roy},
title = {Computable de Finetti measures},
journal = {CoRR},
volume = {abs/0912.1072},
year = {2009},
url = {http://arxiv.org/abs/0912.1072},
eprinttype = {arXiv},
eprint = {0912.1072},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-1072.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-26 23:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
