Xiaoshan Li

Available identifiers

zbMath Open li.xiaoshan.1MaRDI QIDQ854168

List of research outcomes

Publication	Date of Publication	Type
A duration calculus with infinite intervals	2022-12-09	Paper
Bergman-Einstein metric on a Stein space with a strongly pseudoconvex boundary	2020-08-09	Paper
Model Checking Bounded Continuous-time Extended Linear Duration Invariants	2018-12-06	Paper
RCOS: a formal model-driven engineering method for component-based software	2012-11-15	Paper
Harnessing rCOS for Tool Support —The CoCoME Experience	2008-09-25	Paper
rCOS: a refinement calculus of object systems	2006-12-07	Paper
Theoretical Aspects of Computing – ICTAC 2005	2006-11-01	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Programming Languages and Systems	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4673418	2005-04-29	Paper
Unifying proof methodologies of duration calculus and timed linear temporal logic	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4412546	2003-07-15	Paper
Decidability of mean value calculus	1999-08-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Xiaoshan Li