Qianying Zhang

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
Boundedness in a quasilinear forager-exploiter model Mathematische Nachrichten	2024-12-05	Paper
Dynamics for a nonlocal diffusive SIR epidemic model with double free boundaries Nonlinear Analysis. Real World Applications	2024-11-20	Paper
Periodic solutions of an NPZ model with periodic delay and space heterogeneity Journal of Mathematical Analysis and Applications	2024-10-07	Paper
The nonlocal dispersal equation with seasonal succession Proceedings of the American Mathematical Society	2024-02-15	Paper
A nonlocal diffusion competition model with seasonal succession and free boundaries Communications in Nonlinear Science and Numerical Simulation	2023-06-09	Paper
Reasoning about iteration and recursion uniformly based on big-step semantics (available as arXiv preprint)	2022-07-13	Paper
Formalization of camera pose estimation algorithm based on Rodrigues formula Formal Aspects of Computing	2021-01-04	Paper
Formalization of geometric algebra in HOL Light Journal of Automated Reasoning	2019-09-02	Paper
sHMQV: an efficient key exchange protocol for power-limited devices	2018-12-07	Paper
Design and formal analysis of TCM key migration protocols	2016-08-10	Paper

Research outcomes over time

This page was built for person: Qianying Zhang