( en | de | ru )

 

Disambiguation of "Chen, Chao-Hong"

Author of the publication

copydeleteadd this publication to your clipboard
From Reversible Programs to Univalent Universes and Back.

, , , and . MFPS, volume 341 of Electronic Notes in Theoretical Computer Science, page 5-25. Elsevier, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Chao Chen

Hong Chen

Hong Chen

Hong Chen

Hong Chen

 

Other publications of authors with the same name

Convergence Time Analysis of Particle Swarm Optimization Based on Particle Interaction., and . Adv. Artif. Intell., (2011)Adaptive discretization for probabilistic model building genetic algorithms., , and . GECCO, page 1103-1110. ACM, (2006)Genetic algorithms as shrinkers in property-based testing., , and . GECCO (Companion), page 291-292. ACM, (2019)Automatically proving mathematical theorems with evolutionary algorithms and proof assistants., , , and . CEC, page 4421-4428. IEEE, (2016)Quality Analysis of Discretization Methods for Estimation of Distribution Algorithms., and . IEICE Trans. Inf. Syst., 97-D (5): 1312-1323 (2014)Fractional Types - Expressive and Safe Space Management for Ancilla Bits., , , and . RC, volume 12227 of Lecture Notes in Computer Science, page 169-186. Springer, (2020)A computational interpretation of compact closed categories: reversible programming with negative and fractional types., and . Proc. ACM Program. Lang., 5 (POPL): 1-29 (2021)From Reversible Programs to Univalent Universes and Back., , , and . MFPS, volume 341 of Electronic Notes in Theoretical Computer Science, page 5-25. Elsevier, (2018)Real-coded ECGA for economic dispatch., and . GECCO, page 1920-1927. ACM, (2007)From Reversible Programs to Univalent Universes and Back., , , and . CoRR, (2017)