Yinsen Zhang

According to our database¹, Yinsen Zhang authored at least 3 papers between 2021 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

High-Precision Bi-Directional Beam-Pointing Measurement Method Based on Space Solar Power Station System.

[BibT_eX]

[DOI]

Sensors, September, 2024

2022

Distributed Continuous-Time Containment Control of Heterogeneous Multiagent Systems with Nonconvex Control Input Constraints.

[BibT_eX]

[DOI]

Complex., 2022

2021

A simpler encoding of indexed types.

[BibT_eX]

[DOI]

Proceedings of the TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, 2021