Qianying Zhang

From MaRDI portal
Person:826356

Available identifiers

zbMath Open zhang.qianyingMaRDI QIDQ826356

List of research outcomes





PublicationDate of PublicationType
Boundedness in a quasilinear forager-exploiter model2024-12-05Paper
Dynamics for a nonlocal diffusive SIR epidemic model with double free boundaries2024-11-20Paper
Periodic solutions of an NPZ model with periodic delay and space heterogeneity2024-10-07Paper
The nonlocal dispersal equation with seasonal succession2024-02-15Paper
A nonlocal diffusion competition model with seasonal succession and free boundaries2023-06-09Paper
Reasoning about iteration and recursion uniformly based on big-step semantics2022-07-13Paper
Formalization of camera pose estimation algorithm based on Rodrigues formula2021-01-04Paper
Formalization of geometric algebra in HOL Light2019-09-02Paper
sHMQV: an efficient key exchange protocol for power-limited devices2018-12-07Paper
https://portal.mardi4nfdi.de/entity/Q29932602016-08-10Paper

Research outcomes over time

This page was built for person: Qianying Zhang

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