Follow
Yi Xu
Yi Xu
Scientist, HP Labs Singapore
Verified email at e.ntu.edu.sg
Title
Cited by
Cited by
Year
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
372014
Exhaustive search of puzzles in operational transformation
C Sun, Y Xu, A Agustina
Proceedings of the 17th ACM conference on Computer supported cooperative …, 2014
332014
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
302015
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
92014
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
82017
The system can't perform the operation now. Try again later.
Articles 1–5