Qing Dong

Available identifiers

zbMath Open dong.qingMaRDI QIDQ1694442

List of research outcomes

Publication	Date of Publication	Type
Verifying chemical reaction network implementations: a bisimulation approach	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	2017-06-29	Paper
Verifying chemical reaction network implementations: a bisimulation approach	2016-11-30	Paper
The high dimensional statistical analysis of Lasso with second moment noise	2016-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q2993951	2016-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5293476	2007-07-02	Paper

Research outcomes over time

This page was built for person: Qing Dong