Skip to content

Bojie Shao

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2024–2025

Best venue rank

A*

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2025ICANNDeepCTL: Neural Branching-Time CTL Satisfiability Checking via Recursive Decision Trees.Bingchang Yuan, Zhaohui Wang, Lingfeng Zhang, Jingran Yang, Bojie Shao, Min Zhang
2024ICSEMAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search.Zhaohui Wang, Min Zhang, Jingran Yang, Bojie Shao, Min Zhang