Shilong Ma

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
Modelling and verification of high-order typed software architecture and case study	2020-01-22	Paper
Type theory based domain data modeling and verification with case study	2019-02-22	Paper
Dynamical characteristics of software trustworthiness and their evolutionary complexity Science in China. Series F	2010-03-03	Paper
Complexity of software trustworthiness and its dynamical statistical analysis methods Science in China. Series F	2010-03-03	Paper
Formalizing a reasoning strategy in symbolic approach to differential equations	2006-06-26	Paper
scientific article; zbMATH DE number 2090546 (Why is no real title available?)	2004-08-12	Paper
Limits of theory sequences over algebraically closed fields and applications. Discrete Applied Mathematics	2004-01-26	Paper
scientific article; zbMATH DE number 1977857 (Why is no real title available?)	2003-09-09	Paper
Practically solving some problems expressed in the first order theory of real closed field International Journal of Computer Mathematics	1999-06-28	Paper
Deriving some new conditions on the existence of eight limit cycles for a cubic system Computers & Mathematics with Applications	1997-11-10	Paper

Research outcomes over time

This page was built for person: Shilong Ma