Jiaxiang Liu

Available identifiers

zbMath Open liu.jiaxiangMaRDI QIDQ823307

List of research outcomes

Publication	Date of Publication	Type
Hybrid reliability-based sequential optimization for PID vibratory controller design considering interval and fuzzy mixed uncertainties	2023-10-13	Paper
\textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks	2023-07-28	Paper
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs	2023-02-28	Paper
CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver	2022-03-25	Paper
A novel interval dynamic reliability computation approach for the risk evaluation of vibration active control systems based on PID controllers	2021-09-24	Paper
Confluence of layered rewrite systems	2017-08-31	Paper
Confluence by Critical Pair Analysis	2014-07-24	Paper
Confluence: The Unifying, Expressive Power of Locality	2014-03-25	Paper
From diagrammatic confluence to modularity	2013-01-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jiaxiang Liu