2015
Bisimulation proof methods in a path-based specification language for polynomial coalgebras.
Math. Struct. Comput. Sci., 2015

2014
Educational Data Mining and Analyzing of Student Learning Outcomes from the Perspective of Learning Experience.
Proceedings of the 7th International Conference on Educational Data Mining, 2014

TSIR: A Chinese Temporal semantics Information Retrieval system based on MapReduce.
Proceedings of the IEEE 18th International Conference on Computer Supported Cooperative Work in Design, 2014

2008
A collaborative framework for parallel view maintenance.
Proceedings of the 12th International Conference on CSCW in Design, 2008

2006
A Task Balancing and Collaborative Strategy for View Maintenance Based on CSCW.
Proceedings of the 10th International Conference on CSCW in Design, 2006

2005
A parallel multiple dimensional view re-evaluation strategy.
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005

Correction strategy for view maintenance anomaly after schema and data updating concurrently.
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005