Gaoang Liu

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Database Systems

Consistency Checking

Similar Objects

Top Venues

Publications

Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu
Branching Bisimulation and Concurrent Object Verification. DSN (2018)
Gaoang Liu, Xiuying Liu
The Complexity of Weak Consistency. FAW (2018)
Chao Wang, Yi Lv, Gaoang Liu, Peng Wu
Quasi-Linearizability is Undecidable. APLAS (2015)