Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Chao-Hong Chen
@article{DBLP:journals/pacmpl/ChenS21,
author = {Chao{-}Hong Chen and
Amr Sabry},
title = {A computational interpretation of compact closed categories: reversible
programming with negative and fractional types},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3434290},
doi = {10.1145/3434290},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ChenS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/LoCC20,
author = {Fang{-}Yi Lo and
Chao{-}Hong Chen and
Ying{-}Ping Chen},
title = {Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms},
booktitle = {{IEEE} Congress on Evolutionary Computation, {CEC} 2020, Glasgow,
United Kingdom, July 19-24, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CEC48606.2020.9185807},
doi = {10.1109/CEC48606.2020.9185807},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cec/LoCC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/ChenCCS20,
author = {Chao{-}Hong Chen and
Vikraman Choudhury and
Jacques Carette and
Amr Sabry},
editor = {Ivan Lanese and
Mariusz Rawski},
title = {Fractional Types - Expressive and Safe Space Management for Ancilla
Bits},
booktitle = {Reversible Computation - 12th International Conference, {RC} 2020,
Oslo, Norway, July 9-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12227},
pages = {169--186},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-52482-1\_10},
doi = {10.1007/978-3-030-52482-1\_10},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/ChenCCS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-07020,
author = {Chao{-}Hong Chen and
Vikraman Choudhury and
Jacques Carette and
Amr Sabry},
title = {Fractional Types: Expressive and Safe Space Management for Ancilla
Bits},
journal = {CoRR},
volume = {abs/2002.07020},
year = {2020},
url = {https://arxiv.org/abs/2002.07020},
eprinttype = {arXiv},
eprint = {2002.07020},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-07020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/LoCC19,
author = {Fang{-}Yi Lo and
Chao{-}Hong Chen and
Ying{-}Ping Chen},
editor = {Manuel L{\'{o}}pez{-}Ib{\'{a}}{\~{n}}ez and
Anne Auger and
Thomas St{\"{u}}tzle},
title = {Genetic algorithms as shrinkers in property-based testing},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference
Companion, {GECCO} 2019, Prague, Czech Republic, July 13-17, 2019},
pages = {291--292},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3319619.3322004},
doi = {10.1145/3319619.3322004},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/LoCC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CaretteCCS18,
author = {Jacques Carette and
Chao{-}Hong Chen and
Vikraman Choudhury and
Amr Sabry},
editor = {Sam Staton},
title = {From Reversible Programs to Univalent Universes and Back},
booktitle = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
Canada, June 6-9, 2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {341},
pages = {5--25},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2018.03.013},
doi = {10.1016/J.ENTCS.2018.03.013},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CaretteCCS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/ChenCN17,
author = {Chao{-}Hong Chen and
Vikraman Choudhury and
Ryan R. Newton},
editor = {Iavor S. Diatchki},
title = {Adaptive lock-free data structures in Haskell: a general method for
concurrent implementation swapping},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
Haskell, Oxford, United Kingdom, September 7-8, 2017},
pages = {197--211},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122955.3122973},
doi = {10.1145/3122955.3122973},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/haskell/ChenCN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-02318,
author = {Chao{-}Hong Chen and
Vikraman Choudhury and
Ryan R. Newton},
title = {Adaptive Lock-Free Data Structures in Haskell: {A} General Method
for Concurrent Implementation Swapping},
journal = {CoRR},
volume = {abs/1708.02318},
year = {2017},
url = {http://arxiv.org/abs/1708.02318},
eprinttype = {arXiv},
eprint = {1708.02318},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-02318.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-02710,
author = {Jacques Carette and
Chao{-}Hong Chen and
Vikraman Choudhury and
Amr Sabry},
title = {From Reversible Programs to Univalent Universes and Back},
journal = {CoRR},
volume = {abs/1708.02710},
year = {2017},
url = {http://arxiv.org/abs/1708.02710},
eprinttype = {arXiv},
eprint = {1708.02710},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-02710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/YangLCC16,
author = {Li{-}An Yang and
Jui{-}Pin Liu and
Chao{-}Hong Chen and
Ying{-}Ping Chen},
title = {Automatically proving mathematical theorems with evolutionary algorithms
and proof assistants},
booktitle = {{IEEE} Congress on Evolutionary Computation, {CEC} 2016, Vancouver,
BC, Canada, July 24-29, 2016},
pages = {4421--4428},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CEC.2016.7744352},
doi = {10.1109/CEC.2016.7744352},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cec/YangLCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YangLCC16,
author = {Li{-}An Yang and
Jui{-}Pin Liu and
Chao{-}Hong Chen and
Ying{-}Ping Chen},
title = {Automatically Proving Mathematical Theorems with Evolutionary Algorithms
and Proof Assistants},
journal = {CoRR},
volume = {abs/1602.07455},
year = {2016},
url = {http://arxiv.org/abs/1602.07455},
eprinttype = {arXiv},
eprint = {1602.07455},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YangLCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/ChenC14,
author = {Chao{-}Hong Chen and
Ying{-}Ping Chen},
title = {Quality Analysis of Discretization Methods for Estimation of Distribution
Algorithms},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {97-D},
number = {5},
pages = {1312--1323},
year = {2014},
url = {https://doi.org/10.1587/transinf.E97.D.1312},
doi = {10.1587/TRANSINF.E97.D.1312},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/ChenC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/advai/ChenC11,
author = {Chao{-}Hong Chen and
Ying{-}Ping Chen},
title = {Convergence Time Analysis of Particle Swarm Optimization Based on
Particle Interaction},
journal = {Adv. Artif. Intell.},
volume = {2011},
pages = {204750:1--204750:7},
year = {2011},
url = {https://doi.org/10.1155/2011/204750},
doi = {10.1155/2011/204750},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/advai/ChenC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ec/ChenC10,
author = {Ying{-}Ping Chen and
Chao{-}Hong Chen},
title = {Enabling the Extended Compact Genetic Algorithm for Real-Parameter
Optimization by Using Adaptive Discretization},
journal = {Evol. Comput.},
volume = {18},
number = {2},
pages = {199--228},
year = {2010},
url = {https://doi.org/10.1162/evco.2010.18.2.18202},
doi = {10.1162/EVCO.2010.18.2.18202},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ec/ChenC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/ChenC07a,
author = {Chao{-}Hong Chen and
Ying{-}Ping Chen},
editor = {Hod Lipson},
title = {Real-coded {ECGA} for economic dispatch},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2007, Proceedings,
London, England, UK, July 7-11, 2007},
pages = {1920--1927},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1276958.1277343},
doi = {10.1145/1276958.1277343},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/ChenC07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/ChenLC06,
author = {Chao{-}Hong Chen and
Wei{-}Nan Liu and
Ying{-}Ping Chen},
editor = {Mike Cattolico},
title = {Adaptive discretization for probabilistic model building genetic algorithms},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2006, Proceedings,
Seattle, Washington, USA, July 8-12, 2006},
pages = {1103--1110},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1143997.1144174},
doi = {10.1145/1143997.1144174},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/ChenLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2024-04-25 05:44 CEST 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:
