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

Bin Yu | Synapse

BY

Bin Yu

Formal Methods in Verification

Xidian University

About

Research focus

Formal Methods in Verification

Impact

92 pubs · 1,065 cites · h-index 16

Affiliations

Work Experience

Xidian University

2008 - 2025

Xi'an Jiaotong University

2021 - 2022

Zhejiang University of Technology

2006 - 2021

China Telecom (China)

2020 - 2020

China Telecom

2020 - 2020

Publications