Zhe Zhao

Available identifiers

zbMath Open zhao.zheMaRDI QIDQ832162

List of research outcomes

Publication	Date of Publication	Type
\textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks	2023-07-28	Paper
\textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks	2022-03-25	Paper
Auxiliary model method for transfer function estimation from noisy input and output data	2019-12-20	Paper
Research of heavy oil production numerical simulation	2013-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q3061545	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