Fuyuan Zhang

MaRDI QIDQ2024369zbMATH OpenFDO

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
A parametric rely-guarantee reasoning framework for concurrent reactive systems	2024-03-14	Paper
Multi-valued logic for static analysis and model checking Lecture Notes in Computer Science	2023-08-02	Paper
Compositional reasoning for shared-variable concurrent programs (available as arXiv preprint)	2021-05-04	Paper
Compositional reasoning for shared-variable concurrent programs	2021-05-04	Paper
CSimpl: a rely-guarantee-based framework for verifying concurrent programs Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Optimality conditions and duality in optimization with generalized arcwise connectivity over convex cones Mathematics in Practice and Theory	2016-10-06	Paper
scientific article; zbMATH DE number 1778079 (Why is no real title available?)	2002-08-11	Paper
Discontinuous oblique derivative problems for quasilinear mixed equations of second order. Advances in Mathematics (Beijing)	2002-01-29	Paper
The oblique derivative problem for nonlinear elliptic complex equation of third order	2001-11-18	Paper

Research outcomes over time

This page was built for person: Fuyuan Zhang