Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Sewon Park 0001
@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} }
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.