Xiaoshan Li

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
Bergman-Einstein metric on a Stein space with a strongly pseudoconvex boundary Communications in Analysis and Geometry	2024-10-29	Paper
Rado's theorem for CR functions on hypersurfaces The Journal of Geometric Analysis	2024-09-26	Paper
A duration calculus with infinite intervals Fundamentals of Computation Theory	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 Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)	2018-12-06	Paper
RCOS: a formal model-driven engineering method for component-based software Frontiers of Computer Science	2012-11-15	Paper
Harnessing rCOS for Tool Support —The CoCoME Experience Formal Methods and Hybrid Real-Time Systems	2008-09-25	Paper
rCOS: a refinement calculus of object systems Theoretical Computer Science	2006-12-07	Paper
Theoretical Aspects of Computing – ICTAC 2005 Lecture Notes in Computer Science	2006-11-01	Paper
Formal Methods for Components and Objects Lecture Notes in Computer Science	2006-11-01	Paper
Theoretical Aspects of Computing - ICTAC 2004 Lecture Notes in Computer Science	2005-11-30	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-08-17	Paper
scientific article; zbMATH DE number 2163031 (Why is no real title available?)	2005-04-29	Paper
Unifying proof methodologies of duration calculus and timed linear temporal logic Formal Aspects of Computing	2004-10-01	Paper
scientific article; zbMATH DE number 1949632 (Why is no real title available?)	2003-07-15	Paper
Decidability of mean value calculus Journal of Computer Science and Technology	1999-08-23	Paper

Research outcomes over time

This page was built for person: Xiaoshan Li