Follow
Chao-Hong Chen
Chao-Hong Chen
Verified email at indiana.edu - Homepage
Title
Cited by
Cited by
Year
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
262010
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
222006
Real-coded ECGA for economic dispatch
CH Chen, Y Chen
Proceedings of the 9th annual conference on Genetic and evolutionary …, 2007
182007
Convergence time analysis of particle swarm optimization based on particle interaction
CH Chen, Y Chen
Advances in Artificial Intelligence 2011, 2011
132011
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
112018
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
102016
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
92021
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
62020
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
62014
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
42017
Genetic algorithms as shrinkers in property-based testing
FY Lo, CH Chen, Y Chen
Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2019
22019
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
12020
Algebraic Information Effects
CH Chen
Indiana University, 2021
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