Pulse استكشاف nav.journalClub النقاشات الرائج الباحثون

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

Download on theApp Store

الرئيسية استكشاف nav.journalClub الرائج

⌘+K

Xue Bai | Synapse

XB

Xue Bai

Formal Methods in Verification

Hebei North University

About

Research focus

Formal Methods in Verification

Impact

450 pubs · 4,471 cites · h-index 32

Affiliations

Work Experience

Hebei North University

2022 - Present

Shanghai Xuhui Central Hospital

2026 - Present

First Affiliated Hospital of Hebei Medical University

2026 - Present

Shenyang Agricultural University

2023 - 2025

North China Electric Power University

2005 - 2025

Publications