BibTeX records: Sewon Park 0001

download as .bib file

@inproceedings{DBLP:conf/fct/Park23,
  author       = {Sewon Park},
  editor       = {Henning Fernau and
                  Klaus Jansen},
  title        = {Verified Exact Real Computation with Nondeterministic Functions and
                  Limits},
  booktitle    = {Fundamentals of Computation Theory - 24th International Symposium,
                  {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14292},
  pages        = {363--377},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43587-4\_26},
  doi          = {10.1007/978-3-031-43587-4\_26},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Park23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Konecny0T23,
  author       = {Michal Konecn{\'{y}} and
                  Sewon Park and
                  Holger Thies},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Sylvain Lombardy and
                  David Peleg},
  title        = {Formalizing Hyperspaces for Extracting Efficient Exact Real Computation},
  booktitle    = {48th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
  series       = {LIPIcs},
  volume       = {272},
  pages        = {59:1--59:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2023.59},
  doi          = {10.4230/LIPICS.MFCS.2023.59},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/Konecny0T23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/KonecnyPT22,
  author       = {Michal Konecn{\'{y}} and
                  Sewon Park and
                  Holger Thies},
  editor       = {Jyotirmoy V. Deshmukh and
                  Klaus Havelund and
                  Ivan Perez},
  title        = {Certified Computation of Nondeterministic Limits},
  booktitle    = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
                  Pasadena, CA, USA, May 24-27, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13260},
  pages        = {771--789},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-06773-0\_41},
  doi          = {10.1007/978-3-031-06773-0\_41},
  timestamp    = {Thu, 02 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/KonecnyPT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-00891,
  author       = {Michal Konecn{\'{y}} and
                  Sewon Park and
                  Holger Thies},
  title        = {Extracting efficient exact real number computation from proofs in
                  constructive type theory},
  journal      = {CoRR},
  volume       = {abs/2202.00891},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.00891},
  eprinttype    = {arXiv},
  eprint       = {2202.00891},
  timestamp    = {Wed, 09 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-00891.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Park21,
  author       = {Sewon Park},
  title        = {Continuous Abstract Data Types for Verified Computation},
  journal      = {Bull. Symb. Log.},
  volume       = {27},
  number       = {4},
  pages        = {531},
  year         = {2021},
  url          = {https://doi.org/10.1017/bsl.2021.51},
  doi          = {10.1017/BSL.2021.51},
  timestamp    = {Mon, 28 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Park21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/KonecnyPT21,
  author       = {Michal Konecn{\'{y}} and
                  Sewon Park and
                  Holger Thies},
  editor       = {Alexandra Silva and
                  Renata Wassermann and
                  Ruy J. G. B. de Queiroz},
  title        = {Axiomatic Reals and Certified Efficient Exact Real Computation},
  booktitle    = {Logic, Language, Information, and Computation - 27th International
                  Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13038},
  pages        = {252--268},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88853-4\_16},
  doi          = {10.1007/978-3-030-88853-4\_16},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wollic/KonecnyPT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-06684,
  author       = {Willem L. Fouch{\'{e}} and
                  Hyunwoo Lee and
                  Donghyun Lim and
                  Sewon Park and
                  Matthias Schr{\"{o}}der and
                  Martin Ziegler},
  title        = {Randomized Computation of Continuous Data: Is Brownian Motion Computable?},
  journal      = {CoRR},
  volume       = {abs/1906.06684},
  year         = {2019},
  url          = {http://arxiv.org/abs/1906.06684},
  eprinttype    = {arXiv},
  eprint       = {1906.06684},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-06684.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/walcom/ChoP018,
  author       = {Junhee Cho and
                  Sewon Park and
                  Martin Ziegler},
  editor       = {M. Sohel Rahman and
                  Wing{-}Kin Sung and
                  Ryuhei Uehara},
  title        = {Computing Periods ...},
  booktitle    = {{WALCOM:} Algorithms and Computation - 12th International Conference,
                  {WALCOM} 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10755},
  pages        = {132--143},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-75172-6\_12},
  doi          = {10.1007/978-3-319-75172-6\_12},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/walcom/ChoP018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ParkPPS017,
  author       = {Chansu Park and
                  Ji{-}won Park and
                  Sewon Park and
                  Dongseong Seon and
                  Martin Ziegler},
  title        = {Computable Operations on Compact Subsets of Metric Spaces with Applications
                  to Fr{\'{e}}chet Distance and Shape Optimization},
  journal      = {CoRR},
  volume       = {abs/1701.08402},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.08402},
  eprinttype    = {arXiv},
  eprint       = {1701.08402},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ParkPPS017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MullerPP016,
  author       = {Norbert Th. M{\"{u}}ller and
                  Sewon Park and
                  Norbert Preining and
                  Martin Ziegler},
  title        = {On Formal Verification in Imperative Multivalued Programming over
                  Continuous Data Types},
  journal      = {CoRR},
  volume       = {abs/1608.05787},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.05787},
  eprinttype    = {arXiv},
  eprint       = {1608.05787},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MullerPP016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics