Shuyuan Zhang

From MaRDI portal
Person:3470046

Available identifiers

zbMath Open zhang.shuyuanMaRDI QIDQ3470046

List of research outcomes





PublicationDate of PublicationType
Coarse graining of multiple water molecules with intelligent dissipative particle dynamics2025-01-22Paper
Consensus criterion verification for heterogeneous multiagent systems via sum-of-squares programming2025-01-21Paper
Inner Approximating Robust Reach-Avoid Sets for Discrete-Time Polynomial Dynamical Systems2023-10-06Paper
SAT Based Verification of Network Data Planes2014-07-08Paper
https://portal.mardi4nfdi.de/entity/Q52035621990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34700471988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36871661981-01-01Paper

Research outcomes over time

This page was built for person: Shuyuan Zhang

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3470046&oldid=11187732"
Powered by MediaWiki