Xinming Ye

From MaRDI portal



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!

PublicationDate of PublicationType
An algorithm for determining minimal covers of acyclic database schemes
Journal of Inner Mongolia University
2016-03-07Paper
A model reduction method for parallel software testing
Journal of Applied Mathematics
2013-09-09Paper
scientific article; zbMATH DE number 2202204 (Why is no real title available?)2005-09-05Paper
scientific article; zbMATH DE number 2202252 (Why is no real title available?)2005-09-05Paper
scientific article; zbMATH DE number 2104049 (Why is no real title available?)2004-09-28Paper
On reachability graphs of Petri nets
Computers and Electrical Engineering
2003-02-20Paper
Fault diagnosis in hypercube multiprocessor systems
International Journal of Computer Mathematics
2001-10-16Paper
On conformance testing of non-deterministic systems
International Journal of Computer Mathematics
2001-07-29Paper
An algorithm for determining minimal reduced-coverings of acyclic database schemes
Journal of Computer Science and Technology
1997-05-25Paper
A fault-detection approach to the conformance testing of nondeterministic systems
Journal of Parallel and Distributed Computing
1995-09-24Paper
A distributed algorithm for determining minimal covers of acyclic database schemes
Journal of Computer Science and Technology
1994-09-13Paper


Research outcomes over time


This page was built for person: Xinming Ye