Mingshu Li

From MaRDI portal
Person:2894566



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


Research outcomes over time


This page was built for person: Mingshu Li