Qinshi Wang
From MaRDI portal
Person:2810844
Available identifiers
zbMath Open wang.qinshiMaRDI QIDQ2810844
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Foundational verification of stateful P4 packet processing | 2024-11-26 | Paper |
| A solver for arrays with concatenation | 2023-06-14 | Paper |
| Verified Erasure Correction in Coq with MathComp and VST | 2022-12-07 | Paper |
| Combinatorial multi-armed bandit and its extension to probabilistically triggered arms | 2016-06-06 | Paper |
Research outcomes over time
This page was built for person: Qinshi Wang
