We stand with Ukraine  

Jie Liu

Affiliations:
  • East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, China
  • University of South China, School of Computer Science and Technology, Hengyang, China


According to our database1, Jie Liu authored at least 3 papers between 2013 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
A proof-based method of hybrid systems development using differential invariants.
[BibTeX]
[DOI]
Jie Liu
,
Jing Liu
,
Miaomiao Zhang
,
Haiying Sun
,
Xiaohong Chen
,
Dehui Du
,
Mingsong Chen
Frontiers Comput. Sci., 2018

2017
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.
[BibTeX]
[DOI]
Jie Liu
,
Jing Liu
,
Miaomiao Zhang
,
Haiying Sun
,
Xiaohong Chen
,
Dehui Du
,
Mingsong Chen
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2013
A Formal Framework for Hybrid Event B.
[BibTeX]
[DOI]
Jie Liu
,
Jing Liu
Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013


  Loading...