Xinming Ye

Available identifiers

zbMath Open ye.xinmingMaRDI QIDQ364435

List of research outcomes

Publication	Date of Publication	Type
An algorithm for determining minimal covers of acyclic database schemes	2016-03-07	Paper
A model reduction method for parallel software testing	2013-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q5314418	2005-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q5314464	2005-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4818412	2004-09-28	Paper
On reachability graphs of Petri nets	2003-02-20	Paper
Fault diagnosis in hypercube multiprocessor systems	2001-10-16	Paper
On conformance testing of non-deterministic systems	2001-07-29	Paper
An algorithm for determining minimal reduced-coverings of acyclic database schemes	1997-05-25	Paper
A fault-detection approach to the conformance testing of nondeterministic systems	1995-09-24	Paper
A distributed algorithm for determining minimal covers of acyclic database schemes	1994-09-13	Paper

Research outcomes over time

This page was built for person: Xinming Ye