1. Emerging Technologies;Emerging Technologies;2022
2. An Empirical Study on the Correctness of Formally Verified Distributed Systems;Proceedings of the Twelfth European Conference on Computer Systems;2017-04-23
3. An Empirical Study on the Correctness of Formally Verified Distributed Systems;2017
4. Consistency of Replicated Log for Service Recovery;2015 IEEE 18th International Conference on Computational Science and Engineering;2015-10
5. Maintaining Replicated Recovery Log for RESTful Services;International Journal of Grid and High Performance Computing;2015-07