Huixian Shi

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!

Publication	Date of Publication	Type
Certificateless public key encryption scheme with hybrid problems and its application to Internet of things Mathematical Problems in Engineering	2019-02-08	Paper
Stone duality for \(R_0\)-algebras with internal states	2018-11-02	Paper
Temporal normal form for linear temporal logic formulae Journal of Intelligent & Fuzzy Systems	2017-05-19	Paper
Lattice and metric completions of the classical logic metric space and a comparison Journal of Intelligent & Fuzzy Systems	2017-05-18	Paper
A multiple-valued logic approach for multigranulation rough set model International Journal of Approximate Reasoning	2017-02-22	Paper
Quantitative approach for linear temporal logic based on DTMC	2016-08-10	Paper
Satisfaction degree for a class of temporal logic formulae based on transition systems Journal of Shaanxi Normal University. Natural Science Edition	2014-11-03	Paper
A quantitative method for multi-valued modal logics Journal of Software	2013-11-19	Paper
Maximal contractions in Boolean algebras Science China Information Sciences	2013-08-20	Paper
A quantitative approach for linear temporal logic based on finite transition systems	2013-06-20	Paper
Modal \(R_0\)-algebra-valued modal logic system \(\mathrm M\mathcal{L}^\ast\) Quantitative Logic and Soft Computing 2010	2012-12-14	Paper
Lattice-valued modal propositional logic and its completeness Science China Information Sciences	2011-06-17	Paper
Quantitative research of generalized tautologies in \(n\)-valued propositional logic \(L^*_n\)	2010-07-08	Paper
The frictional resistance characteristics of gas-liquid two-phase flow in helical-coiled tubes Journal of Hydrodynamics. Ser. B	2001-08-30	Paper

Research outcomes over time

This page was built for person: Huixian Shi