| No. |
Title |
Author |
Year |
| 1 |
Byzantine Lattice Agreement in Asynchronous Systems |
Zheng, Xiong et al. |
2021 |
| 2 |
Byzantine Lattice Agreement in Synchronous Message Passing Systems |
Zheng, Xiong et al. |
2020 |
| 3 |
Linearizable Replicated State Machines With Lattice Agreement |
Zheng, Xiong et al. |
2020 |
| 4 |
Parallel and Distributed Algorithms for the Housing Allocation Problem |
Zheng, Xiong et al. |
2020 |
| 5 |
Fast Detection of Stable and Count Predicates in Parallel Computations |
Chauhan, Himanshu et al. |
2018 |
| 6 |
Lattice Agreement in Message Passing Systems |
Zheng, Xiong et al. |
2018 |
| 7 |
Brief Announcement: Applying Predicate Detection to the Stable Marriage Problem |
Garg, Vijay K. |
2017 |
| 8 |
Predicate Detection for Parallel Computations with Locking Constraints |
Chang, Yen-Jung et al. |
2017 |
| 9 |
ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization |
Hung, Wei-Lun et al. |
2016 |
| 10 |
QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations |
Chang, Yen-Jung et al. |
2016 |
