Zongyan Qiu

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
Confinement framework for encapsulating objects Frontiers of Computer Science	2019-05-28	Paper
Rely-guarantee based reasoning for message-passing programs Scientific Annals of Computer Science	2019-02-08	Paper
Modular reasoning for message-passing programs Theoretical Aspects of Computing – ICTAC 2014	2015-01-13	Paper
Integrating time and resource into Circus	2013-09-26	Paper
A semantic model of confinement and locality theorem Frontiers of Computer Science in China	2013-07-04	Paper
WP semantics and behavioral subtyping Theoretical Aspects of Computing – ICTAC 2011	2012-01-06	Paper
Type Safety for FJ and FGJ Lecture Notes in Computer Science	2008-09-11	Paper
Theoretical Aspects of Computing – ICTAC 2005 Lecture Notes in Computer Science	2006-11-01	Paper
Exploring optimal solution to hardware/software partitioning for synchronous model Formal Aspects of Computing	2006-10-25	Paper
FM 2005: Formal Methods Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 1949597 (Why is no real title available?)	2003-07-15	Paper
An algebraic hardware/software partitioning algorithm Journal of Computer Science and Technology	2002-08-28	Paper
Charged Kerr-NUT metric with Lambda-term and step-by-step extension method International Journal of Theoretical Physics	1999-11-02	Paper

Research outcomes over time

This page was built for person: Zongyan Qiu