Ying Zhang

ShanghaiTech University — China

Computer Science · Physical Sciences

2h-index88citations9works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(2), Coding theory and cryptography(2), Multimodal Machine Learning Applications(2), graph theory and CDMA systems(2), Wikis in Education and Collaboration(2)

Publications9 total

Paths of A Million People: Extracting Life Trajectories from Wikipedia
Proceedings of the International AAAI Conference on Web and Social Media·2025Open Access
Paths of A Million People: Extracting Life Trajectories from Wikipedia
arXiv (Cornell University)·2024Open Access
Where Did the President Visit Last Week? Detecting Celebrity Trips from News Articles
arXiv (Cornell University)·2023· 1 citedOpen Access
Research on target loss early warning of KCF algorithm based on hypothesis test
Optical Sensing and Imaging Technologies and Applications·2018
A Note on the Square Roots of a Class of Circulant Matrices
Journal of Applied Mathematics·2013· 1 citedOpen Access
A cryptographic algorithm based on pq-generalized Fibonacci matrix
2010
Homomorphisms between regular cryptogroups
Journal of Anhui University of Technology and Science·2004
Constraint nets: a semantic model for hybrid dynamic systems
Theoretical Computer Science·1995· 70 cited
Specification and verification of constraint-based dynamic systems
Lecture notes in computer science·1994· 16 cited

Frequent Co-authors

Alan K. Mackworth(2), Xiaofeng Li(2), Zhaoyang Liu(2), Haipeng Zhang(2), Kai Peng(1), Shuai Ling(1), Zhaoru Ke(1), Haipeng Zhang(1), Huisheng Zhang(1), Guoyan Chen(1), Li-quan Song(1), Chuangang Xu(1), Feng Zhang(1), Feng Chen(1)