Genetic Programming Bibliography entries for Yao Li

up to index Created by W.Langdon from gp-bibliography.bib Revision:1.7831

GP coauthors/coeditors: Jay Bosamiya, Sydney Gibson, Bryan Parno, Chris Hawblitzel, Xuehua Zhang, Hongyu Liu, Zhimei Zhang, Shuang Qiao, Chunju Li, Honggang Wang, Liying Cheng,

Genetic Programming conference papers by Yao Li

  1. Jay Bosamiya and Sydney Gibson and Yao Li and Bryan Parno and Chris Hawblitzel. Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language. In Maria Christakis and Nadia Polikarpova and Parasara Sridhar Duggirala and Peter Schrammel editors, Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, volume 12549, pages 106-123, Los Angeles, CA, USA, 2020. Springer. Revised Selected Papers. details

  2. Yao Li and Xuehua Zhang and Hongyu Liu. Evolutionary Design of a Second-Order Butterworth Lowpass Filter. In 2015 8th International Symposium on Computational Intelligence and Design (ISCID), volume 2, pages 532-535, 2015. details

  3. Xuehua Zhang and Yao Li. Evolutionary Design of an Analog Filter. In 5th International Conference on Intelligent Human-Machine Systems and Cybernetics (IHMSC 2013), volume 2, pages 474-477, 2013. details

  4. Zhimei Zhang and Shuang Qiao and Chunju Li and Honggang Wang and Yao Li and Liying Cheng. Evolutionary Design of Combinational Circuits Based on an Embryo Circuit Module. In Fourth International Conference on Natural Computation, ICNC '08, volume 1, pages 81-85, 2008. details