Weihao Qu

According to our database, Weihao Qu authored at least 9 papers between 2016 and 2025.

Collaborative distances:

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

2025

Time-Aware Tranformer-Based Prediction Model for AECOPD.

Weihao Qu, Ling Zheng, Dongyang Wang, Jiacun Wang, Haowen Pan

Proceedings of the MEDINFO 2025 - Healthcare Smart × Medicine Deep, 2025

Multimodal Injury Risk Prediction in Tennis.

Francisco Erramuspe Álvarez, Shobharani Polasa, Weihao Qu, Jay Wang, Ling Zheng

Proceedings of the 5th IEEE International Conference on Human-Machine Systems, 2025

2024

Program Analysis for Adaptive Data Analysis.

Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, Jonathan R. Ullman

Proc. ACM Program. Lang., 2024

Penetration Testing Operating Systems: Exploiting Vulnerabilities.

Evan Gardner, Gurmeet Singh, Weihao Qu

Proceedings of the International Conference on Communications, 2024

2022

Formalizing Algorithmic Bounds in the Query Model in EasyCrypt.

Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

Relational cost analysis in a functional-imperative setting.

Weihao Qu, Marco Gaboardi, Deepak Garg

J. Funct. Program., 2021

2019

Relational cost analysis for functional-imperative programs.

Weihao Qu, Marco Gaboardi, Deepak Garg

Proc. ACM Program. Lang., 2019

Bidirectional type checking for relational properties.

Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2016

A Real-Time Low-Complexity Fall Detection System on the Smartphone.

Weihao Qu, Feng Lin, Wenyao Xu

Proceedings of the First IEEE International Conference on Connected Health: Applications, 2016