Zong-Yan Qiu

Available identifiers

zbMath Open qiu.zongyanMaRDI QIDQ1303400

List of research outcomes

Publication	Date of Publication	Type
Confinement framework for encapsulating objects	2019-05-28	Paper
Rely-Guarantee Based Reasoning for Message-Passing Programs	2019-02-08	Paper
Modular Reasoning for Message-Passing Programs	2015-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q2848461	2013-09-26	Paper
A semantic model of confinement and locality theorem	2013-07-04	Paper
WP Semantics and Behavioral Subtyping	2012-01-06	Paper
Type Safety for FJ and FGJ	2008-09-11	Paper
Theoretical Aspects of Computing – ICTAC 2005	2006-11-01	Paper
Exploring optimal solution to hardware/software partitioning for synchronous model	2006-10-25	Paper
FM 2005: Formal Methods	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4412491	2003-07-15	Paper
An algebraic hardware/software partitioning algorithm	2002-08-28	Paper
Charged Kerr-NUT metric with Lambda-term and step-by-step extension method	1999-11-02	Paper

Research outcomes over time

This page was built for person: Zong-Yan Qiu