| Achieving convergence in operational transformation: conditions, mechanisms and systems Y Xu, C Sun, M Li Proceedings of the 17th ACM conference on Computer supported cooperative …, 2014 | 37 | 2014 |
| Exhaustive search of puzzles in operational transformation C Sun, Y Xu, A Agustina Proceedings of the 17th ACM conference on Computer supported cooperative …, 2014 | 33 | 2014 |
| Conditions and patterns for achieving convergence in OT-based co-editors Y Xu, C Sun IEEE Transactions on Parallel and Distributed Systems 27 (3), 695-709, 2015 | 29 | 2015 |
| Formal verification of operational transformation Y Liu, Y Xu, SJ Zhang, C Sun FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 9 | 2014 |
| Exhaustive search and resolution of puzzles in OT systems supporting string-wise operations C Sun, Y Xu, A Ng Proceedings of the 2017 ACM Conference on Computer Supported Cooperative …, 2017 | 8 | 2017 |
Chengzheng SunProfessor of Computer Science, Nanyang Technological University, SingaporeOverená e-mailová adresa na: ntu.edu.sg