| Flexible cache consistency maintenance over wireless ad hoc networks Y Huang, J Cao, B Jin, X Tao, J Lu, Y Feng IEEE Transactions on Parallel and Distributed Systems 21 (8), 1150-1161, 2010 | 51 | 2010 |
| Runtime detection of the concurrency property in asynchronous pervasive computing environments Y Huang, Y Yang, J Cao, X Ma, X Tao, J Lu IEEE Transactions on Parallel and Distributed Systems 23 (4), 744-750, 2011 | 27 | 2011 |
| Internetware: a shift of software paradigm J Lü, X Ma, Y Huang, C Cao, F Xu Proceedings of the First Asia-Pacific Symposium on Internetware, 1-9, 2009 | 27 | 2009 |
| Formal specification and runtime detection of dynamic properties in asynchronous pervasive computing environments Y Yang, Y Huang, J Cao, X Ma, J Lu IEEE Transactions on Parallel and Distributed Systems 24 (8), 1546-1555, 2012 | 17 | 2012 |
| Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems H Wei, Y Huang, J Lu IEEE Transactions on Computers 66 (3), 502-514, 2017 | 11 | 2017 |
| Enabling context-awareness by predicate detection in asynchronous environments Y Yang, Y Huang, X Ma, J Lu IEEE Transactions on Computers 65 (2), 522-534, 2015 | 9 | 2015 |
| Verifying pipelined-ram consistency over read/write traces of data replicas H Wei, M De Biasi, Y Huang, J Cao, J Lu IEEE Transactions on Parallel and Distributed Systems 27 (5), 1511-1523, 2016 | 8* | 2016 |
| Design of a sliding window over distributed and asynchronous event streams Y Yang, Y Huang, J Cao, X Ma, J Lu IEEE Transactions on Parallel and Distributed Systems 25 (10), 2551-2560, 2013 | 7 | 2013 |
| Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction X Gu, W Cao, Y Zhu, X Song, Y Huang, X Ma 2022 41st International Symposium on Reliable Distributed Systems (SRDS), 82-93, 2022 | 6* | 2022 |
| Specification and Implementation of Replicated List: The Jupiter Protocol Revisited H Wei, Y Huang, J Lu Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing …, 2018 | 6 | 2018 |
| Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores L Ouyang, Y Huang, H Wei, J Lu IEEE Transactions on Parallel and Distributed Systems 32 (4), 815-829, 2020 | 5 | 2020 |
| CBBR: enabling distributed shared memory-based coordination among mobile robots X Jiang, Y Huang Science China Information Sciences 59 (8), 080102, 2016 | 5 | 2016 |
| Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers K Huang, Y Huang, H Wei Proceedings of the 39th Symposium on Principles of Distributed Computing …, 2020 | 4* | 2020 |
| Remove-win: a design framework for conflict-free replicated data types Y Zhang, H Wei, Y Huang 2021 IEEE 27th International Conference on Parallel and Distributed Systems …, 2021 | 3 | 2021 |
| A Generic Specification Framework for Weakly Consistent Replicated Data Types X Jiang, H Wei, Y Huang 2020 International Symposium on Reliable Distributed Systems (SRDS), 143-154, 2020 | 2 | 2020 |
| CRDT 协议的 TLA+ 描述与验证 纪业， 魏恒峰， 黄宇， 吕建 软件学报 31 (5), 1332-1352, 2020 | 2 | 2020 |
| Jupiter made abstract, and then refined HF Wei, RZ Tang, Y Huang, J Lv Journal of Computer Science and Technology 35, 1343-1364, 2020 | 1 | 2020 |
| Parameterized and Runtime-tunable Snapshot Isolation in Distributed Transactional Key-value Stores H Wei, Y Huang, J Lu 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 21-33, 2017 | 1 | 2017 |
| Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service L Ouyang, Y Huang, B Huang, H Wei, X Ma arXiv preprint arXiv:2302.02703, 2023 | | 2023 |
| PaxosStore 中共识协议 TPaxos 的推导, 规约与精化 易星辰， 魏恒峰， 黄宇， 乔磊， 吕建 软件学报 31 (8), 2336-2361, 2020 | | 2020 |
Xiaoxing MaProfessor of Computer Science and Technology, Nanjing UniversityVerified email at nju.edu.cn
