Huaikou Miao

From MaRDI portal
Person:2026555

Available identifiers

zbMath Open miao.huaikouMaRDI QIDQ2026555

List of research outcomes





PublicationDate of PublicationType
The interchange format of tabular expressions using XML2021-05-20Paper
Instant-Based and State-Based Analysis of Infinite Logical Clock2021-05-20Paper
Concept Analysis Based Approach to Statistical Web Testing2013-08-16Paper
Data exchange in grid workflow2007-06-08Paper
https://portal.mardi4nfdi.de/entity/Q34114972006-12-11Paper
Information and Communications Security2006-10-24Paper
https://portal.mardi4nfdi.de/entity/Q54903852006-10-04Paper
https://portal.mardi4nfdi.de/entity/Q48258872004-11-05Paper
https://portal.mardi4nfdi.de/entity/Q44124782003-07-15Paper
https://portal.mardi4nfdi.de/entity/Q44125452003-07-15Paper
Some properties and theorems of belief logic2002-02-05Paper
A useful method of proof in mechanical theorem proving2002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q56907151997-06-04Paper
https://portal.mardi4nfdi.de/entity/Q56907321997-06-04Paper

Research outcomes over time

This page was built for person: Huaikou Miao

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2026555&oldid=6579380"
Powered by MediaWiki