Qing Dong
From MaRDI portal
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 |
|---|---|---|
| Verifying chemical reaction network implementations: a bisimulation approach Theoretical Computer Science | 2019-06-18 | Paper |
| A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities | 2018-02-02 | Paper |
| Sparse Bayesian linear regression using generalized normal priors International Journal of Wavelets, Multiresolution and Information Processing | 2017-06-29 | Paper |
| Verifying chemical reaction network implementations: a bisimulation approach Lecture Notes in Computer Science | 2016-11-30 | Paper |
| The high dimensional statistical analysis of Lasso with second moment noise Pure and Applied Mathematics | 2016-10-06 | Paper |
| scientific article; zbMATH DE number 6612474 (Why is no real title available?) | 2016-08-10 | Paper |
| scientific article; zbMATH DE number 5169258 (Why is no real title available?) | 2007-07-02 | Paper |
Research outcomes over time
This page was built for person: Qing Dong
