Person:6060460

Available identifiers

zbMath Open liu.tao.4MaRDI QIDQ6060460

List of research outcomes

Publication	Date of Publication	Type
Formal verification of quantum algorithms using quantum Hoare logic	2024-02-16	Paper
Robust static output feedback based iterative learning control design with a finite‐frequency‐range two‐dimensional specification for batch processes subject to nonrepetitive disturbances	2023-11-03	Paper
A few properties of the ratio of Davenport-Heilbronn Functions	2020-10-02	Paper
Distributed Optimization With Event-triggered Communication via Input Feedforward Passivity	2020-03-04	Paper
Center-focus determination and limit cycles bifurcation for $p:q$ homogeneous weight singular point	2016-08-31	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: