Qiwen Xu

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 process calculus BigrTiMo of mobile systems and its formal semantics Formal Aspects of Computing	2021-05-19	Paper
Some remarks on the deterministic particle swarm optimization algorithm Mathematical Methods in the Applied Sciences	2018-05-30	Paper
A formal model for a hybrid programming language Unifying Theories of Programming	2016-06-22	Paper
Towards a modeling language for cyber-physical systems Theories of Programming and Formal Methods	2013-08-16	Paper
Rate monotonic scheduling re-analysed Information Processing Letters	2010-09-07	Paper
Formalising scheduling theories in duration calculus	2009-10-12	Paper
scientific article; zbMATH DE number 2165695 (Why is no real title available?)	2005-05-06	Paper
Advanced features of duration calculus and their applications in sequential hybrid programs Formal Aspects of Computing	2005-02-08	Paper
Completeness of temporal logics over infinite intervals. Discrete Applied Mathematics	2004-01-26	Paper
scientific article; zbMATH DE number 1301616 (Why is no real title available?)	1999-06-16	Paper
Refinement of fair action systems Acta Informatica	1998-05-24	Paper
The Rely-Guarantee method for verifying shared variable concurrent programs Formal Aspects of Computing	1997-11-10	Paper

Research outcomes over time

This page was built for person: Qiwen Xu