Chao-Hong Chen
Chao-Hong Chen
Verified email at - Homepage
Cited by
Cited by
Enabling the extended compact genetic algorithm for real-parameter optimization by using adaptive discretization
Y Chen, CH Chen
Evolutionary Computation 18 (2), 199-228, 2010
Adaptive discretization for probabilistic model building genetic algorithms
CH Chen, WN Liu, YP Chen
Proceedings of the 8th annual conference on Genetic and evolutionary …, 2006
Real-coded ECGA for economic dispatch
CH Chen, Y Chen
Proceedings of the 9th annual conference on Genetic and evolutionary …, 2007
A computational interpretation of compact closed categories: Reversible programming with negative and fractional types
CH Chen, A Sabry
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
Convergence time analysis of particle swarm optimization based on particle interaction
CH Chen, Y Chen
Advances in Artificial Intelligence 2011, 2011
From Reversible Programs to Univalent Universes and Back
J Carette, CH Chen, V Choudhury, A Sabry
Electronic Notes in Theoretical Computer Science 336, 5–25, 2018
Automatically proving mathematical theorems with evolutionary algorithms and proof assistants
LA Yang, JP Liu, CH Chen, Y Chen
2016 IEEE Congress on Evolutionary Computation (CEC), 4421-4428, 2016
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
CH Chen, V Choudhury, J Carette, A Sabry
Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway …, 2020
Quality analysis of discretization methods for estimation of distribution algorithms
CH Chen, Y Chen
IEICE TRANSACTIONS on Information and Systems 97 (5), 1312-1323, 2014
Adaptive lock-free data structures in haskell: a general method for concurrent implementation swapping
CH Chen, V Choudhury, RR Newton
ACM SIGPLAN Notices 52 (10), 197-211, 2017
Genetic algorithms as shrinkers in property-based testing
FY Lo, CH Chen, Y Chen
Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2019
Shrinking counterexamples in property-based testing with genetic algorithms
FY Lo, CH Chen, YP Chen
2020 IEEE Congress on Evolutionary Computation (CEC), 1-8, 2020
Algebraic Information Effects
CH Chen
Indiana University, 2021
Fractional Types
J Carette, CH Chen, V Choudhury, A Sabry
The system can't perform the operation now. Try again later.
Articles 1–14