Yi Hong

Affiliations:

University of Leicester, Department of Computer Science, UK (PhD 2016)

According to our database¹, Yi Hong authored at least 7 papers between 2007 and 2016.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2016

Collaborative annotation, search and categorisation.

[BibT_eX]

[DOI]

Yi Hong

PhD thesis, 2016

2014

Formal Semantics of Orc Based on TLA<sup>+</sup>.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

2011

Mapping for Activity Recognition in the Context-Aware Systems Using Software Sensors.

[BibT_eX]

[DOI]

Kamran Taj Pathan

Stephan Reiff-Marganiec

Yi Hong

Proceedings of the IEEE Ninth International Conference on Dependable, 2011

Towards a Collaborative Framework for Image Annotation and Search.

[BibT_eX]

[DOI]

Yi Hong

Stephan Reiff-Marganiec

Proceedings of the Advanced Information Systems Engineering Workshops, 2011

2008

inContext: A Pervasive and Collaborative Working Environment for Emerging Team Forms.

[BibT_eX]

[DOI]

Stephan Reiff-Marganiec

Proceedings of the 2008 International Symposium on Applications and the Internet, 2008

Graph Transformation for the Semantic Web: Queries and Inference Rules.

[BibT_eX]

[DOI]

HongQing Yu

Yi Hong

Proceedings of the Graph Transformations, 4th International Conference, 2008

2007

From BPEL to SRML: A Formal Transformational Approach.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Yi Hong

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...