| 2025 |
A* |
conf |
SP
Zhengkun Ye, Ahmed Tanvir Mahdad, Yan Wang, Cong Shi, Yingying Chen, Nitesh Saxena
|
| 2025 |
A* |
conf |
CCS
Tianfang Zhang, Qiufan Ji, Md Mojibur Rahman Redoy Akanda, Zhengkun Ye, Ahmed Tanvir Mahdad, Cong Shi, Yan Wang, Nitesh Saxena, Yingying Chen
|
| 2025 |
Misc |
conf |
SEC
Tianfang Zhang, Cong Shi, Payton Walker, Zhengkun Ye, Yan Wang, Nitesh Saxena, Yingying Chen
|
| 2025 |
J |
jnl |
Arch. Formal Proofs
Marco David, Théo André, Mathis Bouverot-Dupuis, Eva Brenner, Loïc Chevalier, Anna Danilkin, Charlotte Dorneich, Kevin Lee, Xavier Pigé, Timothé Ringeard, Quentin Vermande, Paul Wang, Annie Yao, Zhengkun Ye, Jonas Bayer
|
| 2025 |
Misc |
conf |
SEC
Zhengkun Ye, Ahmed Tanvir Mahdad, Yan Wang, Cong Shi, Yingying Chen, Nitesh Saxena
|
| 2024 |
B |
conf |
ICCCN
Zhengkun Ye, Yan Wang, Yingying Chen
|
| 2024 |
A |
conf |
ICDCS
Zhengkun Ye, Yan Wang, Yingying Chen
|
| 2024 |
A* |
conf |
CCS
Tianfang Zhang, Qiufan Ji, Zhengkun Ye, Md Mojibur Rahman Redoy Akanda, Ahmed Tanvir Mahdad, Cong Shi, Yan Wang, Nitesh Saxena, Yingying Chen
|
| 2024 |
A |
conf |
MobiSys
Yilin Yang, Yan Wang, Yingying Chen, Zhengkun Ye, Xin Li, Zhiliang Xia, Yanzhi Ren
|
| 2023 |
A |
conf |
MobiSys
Yilin Yang, Xin Li, Zhengkun Ye, Yan Wang, Yingying Chen
|
| 2023 |
B |
conf |
MobiHoc
Xin Li, Yilin Yang, Zhengkun Ye, Yan Wang, Yingying Chen
|
| 2023 |
A |
conf |
ICDCS
Ahmed Tanvir Mahdad, Cong Shi, Zhengkun Ye, Tianming Zhao, Yan Wang, Yingying Chen, Nitesh Saxena
|
| 2023 |
A* |
conf |
CCS
Tianfang Zhang, Zhengkun Ye, Ahmed Tanvir Mahdad, Md Mojibur Rahman Redoy Akanda, Cong Shi, Yan Wang, Nitesh Saxena, Yingying Chen
|
| 2023 |
A |
conf |
MobiSys
Tianfang Zhang, Cong Shi, Payton Walker, Zhengkun Ye, Yan Wang, Nitesh Saxena, Yingying Chen
|
| 2023 |
B |
conf |
MobiHoc
Ashkan Arabi, Michael Straus, Zijie Tang, Zhengkun Ye, Yan Wang
|
| 2023 |
J |
jnl |
Arch. Formal Proofs
Kevin Lee, Zhengkun Ye, Angeliki Koutsoukou-Argyraki
|
| 2023 |
B |
conf |
MobiHoc
Tianfang Zhang, Zhengkun Ye, Ahmed Tanvir Mahdad, Md Mojibur Rahman Redoy Akanda, Cong Shi, Nitesh Saxena, Yan Wang, Yingying Chen
|
| 2022 |
A |
conf |
MobiSys
Tianming Zhao, Zhengkun Ye, Tianfang Zhang, Cong Shi, Ahmed Tanvir Mahdad, Yan Wang, Yingying Chen, Nitesh Saxena
|
| 2022 |
A |
conf |
ICDCS
Cong Shi, Tianming Zhao, Wenjin Zhang, Ahmed Tanvir Mahdad, Zhengkun Ye, Yan Wang, Nitesh Saxena, Yingying Chen
|
| 2022 |
J |
jnl |
CoRR
Ahmed Tanvir Mahdad, Cong Shi, Zhengkun Ye, Tianming Zhao, Yan Wang, Yingying Chen, Nitesh Saxena
|
| 2022 |
A |
conf |
MobiSys
Tianfang Zhang, Cong Shi, Tianming Zhao, Zhengkun Ye, Payton Walker, Nitesh Saxena, Yan Wang, Yingying Chen
|