Huixian Shi

Available identifiers

Publication	Date of Publication	Type
Certificateless public key encryption scheme with hybrid problems and its application to Internet of things	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	2017-05-19	Paper
Lattice and metric completions of the classical logic metric space and a comparison	2017-05-18	Paper
A multiple-valued logic approach for multigranulation rough set model	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	2014-11-03	Paper
A quantitative method for multi-valued modal logics	2013-11-19	Paper
Maximal contractions in Boolean algebras	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\)	2012-12-14	Paper
Lattice-valued modal propositional logic and its completeness	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	2001-08-30	Paper

This page was built for person: Huixian Shi