A simpler encoding of indexed types. - Yinsen Zhang (TyDe@ICFP, 2021)

Distributed Continuous-Time Containment Control of Heterogeneous Multiagent Systems with Nonconvex Control Input Constraints. - Xue Li 021; Lulu Wang 013; Yinsen Zhang (Complex., 2022)

High-Precision Bi-Directional Beam-Pointing Measurement Method Based on Space Solar Power Station System. - Xinyue Hou; Xue Li 021; Shun Zhao; Yinsen Zhang; Lulu Wang 013 (Sensors, 2024)