Qiwen Xu

From MaRDI portal
Person:706507

Available identifiers

zbMath Open xu.qiwenMaRDI QIDQ706507

List of research outcomes





PublicationDate of PublicationType
A process calculus BigrTiMo of mobile systems and its formal semantics2021-05-19Paper
Some remarks on the deterministic particle swarm optimization algorithm2018-05-30Paper
A Formal Model for a Hybrid Programming Language2016-06-22Paper
Towards a Modeling Language for Cyber-Physical Systems2013-08-16Paper
Rate monotonic scheduling re-analysed2010-09-07Paper
https://portal.mardi4nfdi.de/entity/Q31816982009-10-12Paper
https://portal.mardi4nfdi.de/entity/Q46756252005-05-06Paper
Advanced features of duration calculus and their applications in sequential hybrid programs2005-02-08Paper
Completeness of temporal logics over infinite intervals.2004-01-26Paper
https://portal.mardi4nfdi.de/entity/Q42468151999-06-16Paper
Refinement of fair action systems1998-05-24Paper
The Rely-Guarantee method for verifying shared variable concurrent programs1997-11-10Paper

Research outcomes over time

This page was built for person: Qiwen Xu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:706507&oldid=7499716"
Powered by MediaWiki