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 | 26 | 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 | 22 | 2006 |
Real-coded ECGA for economic dispatch CH Chen, Y Chen Proceedings of the 9th annual conference on Genetic and evolutionary …, 2007 | 18 | 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 | 14 | 2021 |
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 | 13 | 2016 |
Convergence time analysis of particle swarm optimization based on particle interaction CH Chen, Y Chen Advances in Artificial Intelligence 2011 (1), 204750, 2011 | 13 | 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 | 11 | 2018 |
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 | 6 | 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 | 6 | 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 | 4 | 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 | 2 | 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 | 1 | 2020 |
Algebraic Information Effects CH Chen Indiana University, 2021 | | 2021 |
Fractional Types J Carette, CH Chen, V Choudhury, A Sabry | | |