We stand with Ukraine  

Xinxin Liu

Affiliations:
  • Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science, Beijing, China
  • University of Chinese Academy of Sciences, Beijing, China


According to our database1, Xinxin Liu authored at least 5 papers between 2017 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours.
[BibTeX]
[DOI]
Xinxin Liu
,
Tingting Yu
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations.
[BibTeX]
[DOI]
Xinxin Liu
,
Tingting Yu
Proceedings of the 31st International Conference on Concurrency Theory, 2020

2018
Logics for Bisimulation and Divergence.
[BibTeX]
[DOI]
Xinxin Liu
,
Tingting Yu
,
Wenhui Zhang
Proceedings of the Foundations of Software Science and Computation Structures, 2018

Characterization and Verification of Stuttering Equivalence.
[BibTeX]
[DOI]
Xinxin Liu
,
Wenhui Zhang
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017
Analyzing divergence in bisimulation semantics.
[BibTeX]
[DOI]
Xinxin Liu
,
Tingting Yu
,
Wenhui Zhang
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017


  Loading...