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
