Qiang Yin

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
Bisimulation equivalence of pushdown automata is Ackermann-complete	2026-03-18	Paper
Full state constrained command filtered output feedback control for the electro-hydraulic ammunition ramming system IET Control Theory & Applications	2025-12-16	Paper
Saddle-point approximation to the false-vacuum decay at finite temperature in 1D quantum mechanics PTEP. Progress of Theoretical and Experimental Physics	2025-03-19	Paper
Local parameter identification with neural ordinary differential equations AMM. Applied Mathematics and Mechanics. (English Edition)	2023-03-14	Paper
Parallelizing sequential graph computations ACM Transactions on Database Systems	2021-11-25	Paper
On the interactive power of higher-order processes extended with parameterization Formal Aspects of Computing	2021-05-19	Paper
Two lower bounds for BPA	2020-05-27	Paper
scientific article; zbMATH DE number 7167779 (Why is no real title available?)	2020-02-14	Paper
scientific article; zbMATH DE number 7167779 (Why is no real title available?) (available as arXiv preprint)	2020-02-14	Paper
On parameterization of higher-order processes International Journal of Computer Mathematics	2017-07-28	Paper
Research on the method of step feature extraction for EOD robot based on 2D laser radar Discrete and Continuous Dynamical Systems. Series S	2016-03-10	Paper
Branching bisimilarity checking for PRS Automata, Languages, and Programming	2014-07-01	Paper
Iterative soltuions of nonlinear equations with -strongly accretive operators Nonlinear Analysis Forum	2001-02-28	Paper

Research outcomes over time

This page was built for person: Qiang Yin