Zhe Zhao
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 |
|---|---|---|
| \textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks Static Analysis | 2023-07-28 | Paper |
| \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks (available as arXiv preprint) | 2022-03-25 | Paper |
| Auxiliary model method for transfer function estimation from noisy input and output data Applied Mathematical Modelling | 2019-12-20 | Paper |
| Research of heavy oil production numerical simulation Applied Mathematics. Series A (Chinese Edition) | 2013-11-19 | Paper |
| scientific article; zbMATH DE number 5830810 (Why is no real title available?) | 2011-01-03 | Paper |
| On d-\(\delta\) commutation relation of constrained differential systems | 2009-07-22 | Paper |
| Differential equations of motion for constrained systems with respect to three kinds of nonholonomic variations | 2009-07-22 | Paper |
Research outcomes over time
This page was built for person: Zhe Zhao
