Xinxin Liu

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 5

Top Topics

Polynomial Equations

Partially Observable Markov Decision Processes

Set Of Inference Rules

Finite State Transducers

Top Venues

Publications

Xinxin Liu, Tingting Yu
A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours. LICS (2021)
Xinxin Liu, Tingting Yu
A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours. CoRR (2021)
Xinxin Liu, Tingting Yu
Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations. CONCUR (2020)
Xinxin Liu, Tingting Yu, Wenhui Zhang
Logics for Bisimulation and Divergence. FoSSaCS (2018)
Xinxin Liu, Tingting Yu, Wenhui Zhang
Analyzing divergence in bisimulation semantics. POPL (2017)