| Combinatorial multi-armed bandit and its extension to probabilistically triggered arms W Chen, Y Wang, Y Yuan, Q Wang Journal of Machine Learning Research 17 (50), 1-33, 2016 | 242 | 2016 |
| Improving regret bounds for combinatorial semi-bandits with probabilistically triggered arms and its applications Q Wang, W Chen Advances in Neural Information Processing Systems 30, 2017 | 85 | 2017 |
| Tighter regret bounds for influence maximization and other combinatorial semi-bandits with probabilistically triggered arms Q Wang, W Chen arXiv preprint arXiv:1703.01610, 2017 | 6 | 2017 |
| VST-A: A Foundationally Sound Annotation Verifier L Zhou, J Qin, Q Wang, AW Appel, Q Cao Proceedings of the ACM on Programming Languages 8 (POPL), 2069-2098, 2024 | 5* | 2024 |
| A solver for arrays with concatenation Q Wang, AW Appel Journal of Automated Reasoning 67 (1), 4, 2023 | 4 | 2023 |
| Verified erasure correction in Coq with MathComp and VST JM Cohen, Q Wang, AW Appel International Conference on Computer Aided Verification, 272-292, 2022 | 3 | 2022 |
| Foundational Verification of Stateful P4 Packet Processing Q Wang, M Pan, S Wang, R Doenges, L Beringer, AW Appel 14th International Conference on Interactive Theorem Proving (ITP 2023), 2023 | 2 | 2023 |
Wei Chen （陈 卫）Microsoft ResearchVerified email at microsoft.com
