这是indexloc提供的服务,不要输入任何密码

BibTeX records: Damien Desfontaines

download as .bib file

@article{DBLP:journals/popets/SwanbergDH23,
  author       = {Marika Swanberg and
                  Damien Desfontaines and
                  Samuel Haney},
  title        = {{DP-SIPS:} {A} simpler, more scalable mechanism for differentially
                  private partition selection},
  journal      = {Proc. Priv. Enhancing Technol.},
  volume       = {2023},
  number       = {4},
  pages        = {257--268},
  year         = {2023},
  url          = {https://doi.org/10.56553/popets-2023-0109},
  doi          = {10.56553/POPETS-2023-0109},
  timestamp    = {Thu, 17 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/popets/SwanbergDH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-01998,
  author       = {Marika Swanberg and
                  Damien Desfontaines and
                  Samuel Haney},
  title        = {{DP-SIPS:} {A} simpler, more scalable mechanism for differentially
                  private partition selection},
  journal      = {CoRR},
  volume       = {abs/2301.01998},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2301.01998},
  doi          = {10.48550/ARXIV.2301.01998},
  eprinttype    = {arXiv},
  eprint       = {2301.01998},
  timestamp    = {Tue, 10 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2301-01998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-06929,
  author       = {Rachel Cummings and
                  Damien Desfontaines and
                  David Evans and
                  Roxana Geambasu and
                  Matthew Jagielski and
                  Yangsibo Huang and
                  Peter Kairouz and
                  Gautam Kamath and
                  Sewoong Oh and
                  Olga Ohrimenko and
                  Nicolas Papernot and
                  Ryan Rogers and
                  Milan Shen and
                  Shuang Song and
                  Weijie J. Su and
                  Andreas Terzis and
                  Abhradeep Thakurta and
                  Sergei Vassilvitskii and
                  Yu{-}Xiang Wang and
                  Li Xiong and
                  Sergey Yekhanin and
                  Da Yu and
                  Huanyu Zhang and
                  Wanrong Zhang},
  title        = {Challenges towards the Next Frontier in Privacy},
  journal      = {CoRR},
  volume       = {abs/2304.06929},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2304.06929},
  doi          = {10.48550/ARXIV.2304.06929},
  eprinttype    = {arXiv},
  eprint       = {2304.06929},
  timestamp    = {Tue, 01 Apr 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-06929.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-16298,
  author       = {Temilola Adeleye and
                  Skye Berghel and
                  Damien Desfontaines and
                  Michael Hay and
                  Isaac Johnson and
                  Cl{\'{e}}o Lemoisson and
                  Ashwin Machanavajjhala and
                  Tom Magerlein and
                  Gabriele Modena and
                  David Pujol and
                  Daniel Simmons{-}Marengo and
                  Hal Triedman},
  title        = {Publishing Wikipedia usage data with strong privacy guarantees},
  journal      = {CoRR},
  volume       = {abs/2308.16298},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2308.16298},
  doi          = {10.48550/ARXIV.2308.16298},
  eprinttype    = {arXiv},
  eprint       = {2308.16298},
  timestamp    = {Tue, 01 Apr 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-16298.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/sbcs/PejoD22,
  author       = {Bal{\'{a}}zs Pej{\'{o}} and
                  Damien Desfontaines},
  title        = {Guide to Differential Privacy Modifications - {A} Taxonomy of Variants
                  and Extensions},
  series       = {Springer Briefs in Computer Science},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-96398-9},
  doi          = {10.1007/978-3-030-96398-9},
  isbn         = {978-3-030-96397-2},
  timestamp    = {Mon, 11 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/sbcs/PejoD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/DesfontainesVGM22,
  author       = {Damien Desfontaines and
                  James Voss and
                  Bryant Gipson and
                  Chinmoy Mandayam},
  title        = {Differentially private partition selection},
  journal      = {Proc. Priv. Enhancing Technol.},
  volume       = {2022},
  number       = {1},
  pages        = {339--352},
  year         = {2022},
  url          = {https://doi.org/10.2478/popets-2022-0017},
  doi          = {10.2478/POPETS-2022-0017},
  timestamp    = {Mon, 06 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/popets/DesfontainesVGM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-13793,
  author       = {Samuel Haney and
                  Damien Desfontaines and
                  Luke Hartman and
                  Ruchit Shrestha and
                  Michael Hay},
  title        = {Precision-based attacks and interval refining: how to break, then
                  fix, differential privacy on finite computers},
  journal      = {CoRR},
  volume       = {abs/2207.13793},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.13793},
  doi          = {10.48550/ARXIV.2207.13793},
  eprinttype    = {arXiv},
  eprint       = {2207.13793},
  timestamp    = {Mon, 01 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-13793.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-04133,
  author       = {Skye Berghel and
                  Philip Bohannon and
                  Damien Desfontaines and
                  Charles Estes and
                  Samuel Haney and
                  Luke Hartman and
                  Michael Hay and
                  Ashwin Machanavajjhala and
                  Tom Magerlein and
                  Gerome Miklau and
                  Amritha Pai and
                  William Sexton and
                  Ruchit Shrestha},
  title        = {Tumult Analytics: a robust, easy-to-use, scalable, and expressive
                  framework for differential privacy},
  journal      = {CoRR},
  volume       = {abs/2212.04133},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2212.04133},
  doi          = {10.48550/ARXIV.2212.04133},
  eprinttype    = {arXiv},
  eprint       = {2212.04133},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-04133.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-07893,
  author       = {Shruthi Gorantala and
                  Rob Springer and
                  Sean Purser{-}Haskell and
                  William Lam and
                  Royce J. Wilson and
                  Asra Ali and
                  Eric P. Astor and
                  Itai Zukerman and
                  Sam Ruth and
                  Christoph Dibak and
                  Phillipp Schoppmann and
                  Sasha Kulankhina and
                  Alain Forget and
                  David Marn and
                  Cameron Tew and
                  Rafael Misoczki and
                  Bernat Guillen and
                  Xinyu Ye and
                  Dennis Kraft and
                  Damien Desfontaines and
                  Aishe Krishnamurthy and
                  Miguel Guevara and
                  Irippuge Milinda Perera and
                  Yurii Sushko and
                  Bryant Gipson},
  title        = {A General Purpose Transpiler for Fully Homomorphic Encryption},
  journal      = {CoRR},
  volume       = {abs/2106.07893},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.07893},
  eprinttype    = {arXiv},
  eprint       = {2106.07893},
  timestamp    = {Tue, 29 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-07893.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-01179,
  author       = {Shailesh Bavadekar and
                  Adam Boulanger and
                  John Davis and
                  Damien Desfontaines and
                  Evgeniy Gabrilovich and
                  Krishna Gadepalli and
                  Badih Ghazi and
                  Tague Griffith and
                  Jai Prakash Gupta and
                  Chaitanya Kamath and
                  Dennis Kraft and
                  Ravi Kumar and
                  Akim Kumok and
                  Yael Mayer and
                  Pasin Manurangsi and
                  Arti Patankar and
                  Irippuge Milinda Perera and
                  Chris Scott and
                  Tomer Shekel and
                  Benjamin Miller and
                  Karen Smith and
                  Charlotte Stanton and
                  Mimi Sun and
                  Mark Young and
                  Gregory Wellenius},
  title        = {Google {COVID-19} Vaccination Search Insights: Anonymization Process
                  Description},
  journal      = {CoRR},
  volume       = {abs/2107.01179},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.01179},
  eprinttype    = {arXiv},
  eprint       = {2107.01179},
  timestamp    = {Tue, 22 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-01179.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GorantalaSPLWAA21,
  author       = {Shruthi Gorantala and
                  Rob Springer and
                  Sean Purser{-}Haskell and
                  William Lam and
                  Royce J. Wilson and
                  Asra Ali and
                  Eric P. Astor and
                  Itai Zukerman and
                  Sam Ruth and
                  Christoph Dibak and
                  Phillipp Schoppmann and
                  Sasha Kulankhina and
                  Alain Forget and
                  David Marn and
                  Cameron Tew and
                  Rafael Misoczki and
                  Bernat Guillen and
                  Xinyu Ye and
                  Dennis Kraft and
                  Damien Desfontaines and
                  Aishe Krishnamurthy and
                  Miguel Guevara and
                  Irippuge Milinda Perera and
                  Yurii Sushko and
                  Bryant Gipson},
  title        = {A General Purpose Transpiler for Fully Homomorphic Encryption},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {811},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/811},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/GorantalaSPLWAA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Desfontaines20,
  author       = {Damien Desfontaines},
  title        = {Lowering the cost of anonymization},
  year         = {2020},
  url          = {https://hdl.handle.net/20.500.11850/508570},
  doi          = {10.3929/ETHZ-B-000508570},
  timestamp    = {Mon, 19 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Desfontaines20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/WilsonZLDSG20,
  author       = {Royce J. Wilson and
                  Celia Yuxin Zhang and
                  William Lam and
                  Damien Desfontaines and
                  Daniel Simmons{-}Marengo and
                  Bryant Gipson},
  title        = {Differentially Private {SQL} with Bounded User Contribution},
  journal      = {Proc. Priv. Enhancing Technol.},
  volume       = {2020},
  number       = {2},
  pages        = {230--250},
  year         = {2020},
  url          = {https://doi.org/10.2478/popets-2020-0025},
  doi          = {10.2478/POPETS-2020-0025},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/popets/WilsonZLDSG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/DesfontainesP20,
  author       = {Damien Desfontaines and
                  Bal{\'{a}}zs Pej{\'{o}}},
  title        = {SoK: Differential privacies},
  journal      = {Proc. Priv. Enhancing Technol.},
  volume       = {2020},
  number       = {2},
  pages        = {288--313},
  year         = {2020},
  url          = {https://doi.org/10.2478/popets-2020-0028},
  doi          = {10.2478/POPETS-2020-0028},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/popets/DesfontainesP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/GuevaraDWC20,
  author       = {Miguel Guevara and
                  Damien Desfontaines and
                  Jim Waldo and
                  Terry Coatta},
  title        = {Differential Privacy: The Pursuit of Protections by Default: {A} discussion
                  with Miguel Guevara, Damien Desfontaines, Jim Waldo, and Terry Coatta},
  journal      = {{ACM} Queue},
  volume       = {18},
  number       = {5},
  pages        = {93--112},
  year         = {2020},
  url          = {https://doi.org/10.1145/3434571.3439229},
  doi          = {10.1145/3434571.3439229},
  timestamp    = {Fri, 22 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/queue/GuevaraDWC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-04145,
  author       = {Ahmet Aktay and
                  Shailesh Bavadekar and
                  Gwen Cossoul and
                  John Davis and
                  Damien Desfontaines and
                  Alex Fabrikant and
                  Evgeniy Gabrilovich and
                  Krishna Gadepalli and
                  Bryant Gipson and
                  Miguel Guevara and
                  Chaitanya Kamath and
                  Mansi Kansal and
                  Ali Lange and
                  Chinmoy Mandayam and
                  Andrew Oplinger and
                  Christopher Pluntke and
                  Thomas Roessler and
                  Arran Schlosberg and
                  Tomer Shekel and
                  Swapnil Vispute and
                  Mia Vu and
                  Gregory Wellenius and
                  Brian Williams and
                  Royce J. Wilson},
  title        = {Google {COVID-19} Community Mobility Reports: Anonymization Process
                  Description (version 1.0)},
  journal      = {CoRR},
  volume       = {abs/2004.04145},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.04145},
  eprinttype    = {arXiv},
  eprint       = {2004.04145},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-04145.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-03684,
  author       = {Damien Desfontaines and
                  James Voss and
                  Bryant Gipson},
  title        = {Differentially private partition selection},
  journal      = {CoRR},
  volume       = {abs/2006.03684},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.03684},
  eprinttype    = {arXiv},
  eprint       = {2006.03684},
  timestamp    = {Fri, 12 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-03684.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-01265,
  author       = {Shailesh Bavadekar and
                  Andrew M. Dai and
                  John Davis and
                  Damien Desfontaines and
                  Ilya Eckstein and
                  Katie Everett and
                  Alex Fabrikant and
                  Gerardo Flores and
                  Evgeniy Gabrilovich and
                  Krishna Gadepalli and
                  Shane Glass and
                  Rayman Huang and
                  Chaitanya Kamath and
                  Dennis Kraft and
                  Akim Kumok and
                  Hinali Marfatia and
                  Yael Mayer and
                  Benjamin Miller and
                  Adam Pearce and
                  Irippuge Milinda Perera and
                  Venky Ramachandran and
                  Karthik Raman and
                  Thomas Roessler and
                  Izhak Shafran and
                  Tomer Shekel and
                  Charlotte Stanton and
                  Jacob Stimes and
                  Mimi Sun and
                  Gregory Wellenius and
                  Masrour Zoghi},
  title        = {Google {COVID-19} Search Trends Symptoms Dataset: Anonymization Process
                  Description (version 1.0)},
  journal      = {CoRR},
  volume       = {abs/2009.01265},
  year         = {2020},
  url          = {https://arxiv.org/abs/2009.01265},
  eprinttype    = {arXiv},
  eprint       = {2009.01265},
  timestamp    = {Sat, 05 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-01265.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/DesfontainesLB19,
  author       = {Damien Desfontaines and
                  Andreas Lochbihler and
                  David A. Basin},
  title        = {Cardinality Estimators do not Preserve Privacy},
  journal      = {Proc. Priv. Enhancing Technol.},
  volume       = {2019},
  number       = {2},
  pages        = {26--46},
  year         = {2019},
  url          = {https://doi.org/10.2478/popets-2019-0018},
  doi          = {10.2478/POPETS-2019-0018},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/popets/DesfontainesLB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ChiaDPSLDWG19,
  author       = {Pern Hui Chia and
                  Damien Desfontaines and
                  Irippuge Milinda Perera and
                  Daniel Simmons{-}Marengo and
                  Chao Li and
                  Wei{-}Yen Day and
                  Qiushi Wang and
                  Miguel Guevara},
  title        = {KHyperLogLog: Estimating Reidentifiability and Joinability of Large
                  Data at Scale},
  booktitle    = {2019 {IEEE} Symposium on Security and Privacy, {SP} 2019, San Francisco,
                  CA, USA, May 19-23, 2019},
  pages        = {350--364},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SP.2019.00046},
  doi          = {10.1109/SP.2019.00046},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/ChiaDPSLDWG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-00650,
  author       = {Damien Desfontaines and
                  Elisabeth Krahmer and
                  Esfandiar Mohammadi},
  title        = {Passive and active attackers in noiseless privacy},
  journal      = {CoRR},
  volume       = {abs/1905.00650},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.00650},
  eprinttype    = {arXiv},
  eprint       = {1905.00650},
  timestamp    = {Mon, 27 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-00650.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-01337,
  author       = {Damien Desfontaines and
                  Bal{\'{a}}zs Pej{\'{o}}},
  title        = {SoK: Differential Privacies},
  journal      = {CoRR},
  volume       = {abs/1906.01337},
  year         = {2019},
  url          = {http://arxiv.org/abs/1906.01337},
  eprinttype    = {arXiv},
  eprint       = {1906.01337},
  timestamp    = {Thu, 13 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-01337.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-01917,
  author       = {Royce J. Wilson and
                  Celia Yuxin Zhang and
                  William Lam and
                  Damien Desfontaines and
                  Daniel Simmons{-}Marengo and
                  Bryant Gipson},
  title        = {Differentially Private {SQL} with Bounded User Contribution},
  journal      = {CoRR},
  volume       = {abs/1909.01917},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.01917},
  eprinttype    = {arXiv},
  eprint       = {1909.01917},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-01917.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-05879,
  author       = {Damien Desfontaines and
                  Andreas Lochbihler and
                  David A. Basin},
  title        = {Cardinality Estimators do not Preserve Privacy},
  journal      = {CoRR},
  volume       = {abs/1808.05879},
  year         = {2018},
  url          = {http://arxiv.org/abs/1808.05879},
  eprinttype    = {arXiv},
  eprint       = {1808.05879},
  timestamp    = {Sun, 02 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1808-05879.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BienvenuDS15,
  author       = {Laurent Bienvenu and
                  Damien Desfontaines and
                  Alexander Shen},
  title        = {Generic algorithms for halting problem and optimal machines revisited},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {12},
  number       = {2},
  year         = {2016},
  url          = {https://doi.org/10.2168/LMCS-12(2:1)2016},
  doi          = {10.2168/LMCS-12(2:1)2016},
  timestamp    = {Mon, 23 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BienvenuDS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CaludeD15,
  author       = {Cristian S. Calude and
                  Damien Desfontaines},
  title        = {Universality and Almost Decidability},
  journal      = {Fundam. Informaticae},
  volume       = {138},
  number       = {1-2},
  pages        = {77--84},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1199},
  doi          = {10.3233/FI-2015-1199},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CaludeD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CaludeD15,
  author       = {Cristian S. Calude and
                  Damien Desfontaines},
  title        = {Anytime Algorithms for Non-Ending Computations},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {26},
  number       = {4},
  pages        = {465--476},
  year         = {2015},
  url          = {https://doi.org/10.1142/S0129054115500252},
  doi          = {10.1142/S0129054115500252},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CaludeD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BienvenuDS15,
  author       = {Laurent Bienvenu and
                  Damien Desfontaines and
                  Alexander Shen},
  editor       = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
                  Kazuo Iwama and
                  Naoki Kobayashi and
                  Bettina Speckmann},
  title        = {What Percentage of Programs Halt?},
  booktitle    = {Automata, Languages, and Programming - 42nd International Colloquium,
                  {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9134},
  pages        = {219--230},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-47672-7\_18},
  doi          = {10.1007/978-3-662-47672-7\_18},
  timestamp    = {Mon, 23 Dec 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/BienvenuDS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaludeD15,
  author       = {Cristian S. Calude and
                  Damien Desfontaines},
  title        = {Universality and Almost Decidability},
  journal      = {CoRR},
  volume       = {abs/1505.01340},
  year         = {2015},
  url          = {http://arxiv.org/abs/1505.01340},
  eprinttype    = {arXiv},
  eprint       = {1505.01340},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CaludeD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}