From BPEL to SRML: A Formal Transformational Approach. - Laura Bocchi; Yi Hong 005; Antónia Lopes; José Luiz Fiadeiro (WS-FM, 2007)

Graph Transformation for the Semantic Web: Queries and Inference Rules. - HongQing Yu; Yi Hong 005 (ICGT, 2008)

inContext: A Pervasive and Collaborative Working Environment for Emerging Team Forms. - Hong Linh Truong 001; Schahram Dustdar; Dino Baggio; Stephane Corlosquet; Christoph Dorn 001; Giovanni Giuliani; Robert Gombotz; Yi Hong 005; Pete Kendal; Christian Melchiorre; Sarit Moretzky; Sebastien Peray; et al. (SAINT, 2008)

Towards a Collaborative Framework for Image Annotation and Search. - Yi Hong 005; Stephan Reiff-Marganiec (CAiSE Workshops, 2011)

Mapping for Activity Recognition in the Context-Aware Systems Using Software Sensors. - Kamran Taj Pathan; Stephan Reiff-Marganiec; Yi Hong 005 (DASC, 2011)

Formal Semantics of Orc Based on TLA+. - Zhen You; Jinyun Xue; Qimin Hu; Yi Hong 005 (SOFL+MSVL, 2014)

Collaborative annotation, search and categorisation. - Yi Hong 005 (2016)