We stand with Ukraine  

Huili Xing

Orcid: 0000-0002-2783-8140

According to our database1, Huili Xing authored at least 6 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
On the Succinctness of Modal μ-Calculus Based on Covariant-Contravariant Refinement.
[BibTeX]
[DOI]
Huili Xing
Int. J. Softw. Eng. Knowl. Eng., 2023

2022
Covariant-Contravariant Refinement Modal μ-calculus.
[BibTeX]
[DOI]
Huili Xing
CoRR, 2022

A calculus for epistemic interactions.
[BibTeX]
[DOI]
Huili Xing
,
Zhaohui Zhu
,
Jinjin Zhang
CoRR, 2022

2019
Covariant-Contravariant Refinement Modal Logic.
[BibTeX]
[DOI]
Huili Xing
,
Zhaohui Zhu
,
Jinjin Zhang
FLAP, 2019

The Extension of Bisimulation Quantified Modal Logic Based on Covariant-Contravariant Refinement.
[BibTeX]
[DOI]
Huili Xing
IEEE Access, 2019

Refinement Modal Logic Based on Finite Approximation of Covariant-Contravariant Refinement.
[BibTeX]
[DOI]
Huili Xing
IEEE Access, 2019


  Loading...