Haiyu Pan

From MaRDI portal
Person:473366

Available identifiers

zbMath Open pan.haiyuMaRDI QIDQ473366

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q46239562019-02-22Paper
The approximate correctness of systems based on \(\delta\)-bisimulation2018-04-23Paper
https://portal.mardi4nfdi.de/entity/Q53680122017-10-20Paper
https://portal.mardi4nfdi.de/entity/Q53680112017-10-20Paper
Model checking fuzzy computation tree logic2017-05-18Paper
Nondeterministic fuzzy automata with membership values in complete residuated lattices2017-02-22Paper
Model checking computation tree logic over finite lattices2015-12-15Paper
Simulation for lattice-valued doubly labeled transition systems2015-07-10Paper
Quantitative Analysis of Lattice-valued Kripke Structures2015-06-26Paper
Lattice-valued simulations for quantitative transition systems2014-11-24Paper
https://portal.mardi4nfdi.de/entity/Q49269262013-06-20Paper
https://portal.mardi4nfdi.de/entity/Q49255982013-06-12Paper
https://portal.mardi4nfdi.de/entity/Q31097722012-01-27Paper

Research outcomes over time

This page was built for person: Haiyu Pan

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