Mingshu Li

MaRDI QIDQ2894566zbMATH OpenFDO

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!

DEBUG first row: length=10 | [1]=https://portal.mardi4nfdi.de/wiki/Public | [2]=Attacking the Dimensionality Problem of | [3]=https://portal.mardi4nfdi.de/entity/Q289 | [4]=2012-06-29 | [5]=Q2894567 | [6]=https://portal.mardi4nfdi.de/entity/Q597 | [7]=Paper | [8]=6051386 | [9]=Fundamentals of Software Engineering | [10]= 

Publication	Date of Publication	Type
Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs Fundamentals of Software Engineering row10=  | journal=Fundamentals of Software Engineering | arxivId=	2012-06-29	Paper
A method for testing real-time system based on timed automata   row10=  | journal=  | arxivId=	2009-03-06	Paper
Modified Legendre rational spectral method for Burgers equation on half line   row10=  | journal=  | arxivId=	2009-03-06	Paper
Modified Legendre rational spectral method for the Burgers equation on the half-line International Journal of Computer Mathematics row10=  | journal=International Journal of Computer Mathematics | arxivId=	2008-08-08	Paper
A risk-driven method for prioritizing requirements in iteration development   row10=  | journal=  | arxivId=	2007-04-05	Paper
A method for testing real-time systems based on timed automata   row10=  | journal=  | arxivId=	2007-04-05	Paper
scientific article; zbMATH DE number 5124865 (Why is no real title available?)   row10=  | journal=  | arxivId=	2007-02-12	Paper
Unifying the software process spectrum   row10=  | journal=  | arxivId=	2006-10-10	Paper
Uniprocessor static priority scheduling with limited priority levels   row10=  | journal=  | arxivId=	2006-07-12	Paper
scientific article; zbMATH DE number 2202219 (Why is no real title available?)   row10=  | journal=  | arxivId=	2005-09-05	Paper
scientific article; zbMATH DE number 2166721 (Why is no real title available?)   row10=  | journal=  | arxivId=	2005-05-09	Paper
scientific article; zbMATH DE number 2165701 (Why is no real title available?)   row10=  | journal=  | arxivId=	2005-05-06	Paper
scientific article; zbMATH DE number 2112433 (Why is no real title available?)   row10=  | journal=  | arxivId=	2004-10-28	Paper
scientific article; zbMATH DE number 2112420 (Why is no real title available?)   row10=  | journal=  | arxivId=	2004-10-28	Paper
scientific article; zbMATH DE number 1930750 (Why is no real title available?)   row10=  | journal=  | arxivId=	2003-10-16	Paper
scientific article; zbMATH DE number 1948944 (Why is no real title available?)   row10=  | journal=  | arxivId=	2003-07-14	Paper
scientific article; zbMATH DE number 3766227 (Why is no real title available?)   row10=  | journal=  | arxivId=	1982-01-01	Paper

Research outcomes over time

This page was built for person: Mingshu Li