C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Lingzhi Ouyang
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Multi Agent Systems
Priority Queue
Delay Insensitive
Highly Reliable
Top Venues
CoRR
SETTA
Internetware
IEEE Trans. Parallel Distributed Syst.
</>
Publications
</>
Lingzhi Ouyang
,
Yu Huang
,
Binyu Huang
,
Xiaoxing Ma
Specifications to Improve the Reliability of the ZooKeeperCoordination Service.
SETTA
(2023)
Lingzhi Ouyang
,
Yu Huang
,
Binyu Huang
,
Hengfeng Wei
,
Xiaoxing Ma
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service.
CoRR
(2023)
Yuqi Zhang
,
Lingzhi Ouyang
,
Yu Huang
,
Xiaoxing Ma
Conflict-free Replicated Priority Queue: Design, Verification and Evaluation.
Internetware
(2023)
Lingzhi Ouyang
,
Yu Huang
,
Hengfeng Wei
,
Jian Lu
Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores.
IEEE Trans. Parallel Distributed Syst.
32 (4) (2021)
Yu Huang
,
Hengfeng Wei
,
Maosen Huang
,
Lingzhi Ouyang
Inversion-based Measurement of Data Consistency for Read/Write Registers.
CoRR
(2019)