Pinhan Zhao

According to our database, Pinhan Zhao authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints.

Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang

CoRR, 2024

2022

Competing TCP Congestion Control Algorithms over a Satellite Network.

Pinhan Zhao, Benjamin Peters, Jae Chung, Mark Claypool

Proceedings of the 19th IEEE Annual Consumer Communications & Networking Conference, 2022