Edit Profile (opens in new tab) Xia, Li-Yao Co-Author Distance Author ID: xia.li-yao Published as: Xia, Li-yao; Xia, Li-Yao Documents Indexed: 6 Publications since 2008 Co-Authors: 16 Co-Authors with 5 Joint Publications 417 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Pierce, Benjamin C. 2 Gallois-Wong, Diane 2 Hriţcu, Cătălin 2 Hughes, John 2 Lampropoulos, Leonidas 1 Beringer, Lennart 1 Brier, Eric 1 Honoré, Wolf 1 Koh, Nicolas 1 Li, Yao 1 Li, Yishuai 1 Mansky, William 1 Naccache, David 1 Orchard, Dominic A. 1 Zdancewic, Steve 1 Zhang, Hengchu Serials 1 Journal of Optimization Theory and Applications Fields 5 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year Citations contained in zbMATH Open 3 Publications have been cited 3 times in 3 Documents Cited by ▼ Year ▼ Superefficiency in vector optimization with nearly subconvexlike set-valued maps. Zbl 1194.90093 Xia, L. Y.; Qiu, J. H. 6 2008 Beginner’s Luck: a language for property-based generators. Zbl 1380.68096 Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao 2 2017 Composing bidirectional programs monadically. Zbl 1524.68062 Xia, Li-yao; Orchard, Dominic; Wang, Meng 1 2019 Composing bidirectional programs monadically. Zbl 1524.68062 Xia, Li-yao; Orchard, Dominic; Wang, Meng 1 2019 Beginner’s Luck: a language for property-based generators. Zbl 1380.68096 Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao 2 2017 Superefficiency in vector optimization with nearly subconvexlike set-valued maps. Zbl 1194.90093 Xia, L. Y.; Qiu, J. H. 6 2008 all top 5 Cited by 11 Authors 1 Dubois, Catherine 1 Giorgetti, Alain 1 Goldstein, Harrison 1 Hu, Zhenjiang 1 Hughes, John 1 Lampropoulos, Leonidas 1 Pierce, Benjamin C. 1 Tang, Wenhao 1 Wang, Meng 1 Xie, Ruifeng 1 Zhang, Hanliang Cited in 2 Serials 1 Formal Aspects of Computing 1 Journal of Functional Programming Cited in 1 Field 3 Computer science (68-XX) Citations by Year