Pulse Explorer nav.journalClub Débats Tendances Chercheurs

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Accueil Explorer nav.journalClub Tendances

⌘+K

Ying Qin | Synapse

YQ

Ying Qin

Formal Methods in Verification

Tongji University

About

Research focus

Formal Methods in Verification

Impact

31 pubs · 138 cites · h-index 7

Affiliations

Work Experience

Tongji University

2024 - 2024

National University of Defense Technology

2004 - 2023

Huawei Technologies (China)

2022 - 2023

University of Defence

2005 - 2005

Publications