Browse by Aston Author

Article

Patelli, Alina; Lewis, Peter R.; Ekárt, Anikó; Wang, Hai; Nabney, Ian T.; Bennett, David; Lucas, Ralph and Cole, Alex (2017). An architecture for the autonomic curation of crowdsourced knowledge. Cluster Computing, in pre ,

Wang, Hai; Damljanovic, Danica; Payne, Terry; Gibbins, Nicholas and Bontcheva, Kalina (2012). Transition of legacy systems to semantically enabled applications:TAO method and tools. Semantic Web, 3 (2), pp. 157-168.

Li, Pengyi; Sun, Jing and Wang, Hai Formal approach to assertion-based code generation. International Journal of Software Engineering and Knowledge Engineering, 27 (09n10), pp. 1637-1662.

Wang, Hai; Gibbins, Nick; Payne, Terry and Redavid, Domenico A formal model of the Semantic Web Service Ontology (WSMO). Information Systems, 37 (1), pp. 33-60.

Wang, Hai and Sun, Jing A semantic web environment for component model. Knowledge Engineering Review, 24 (1), pp. 59-75.

Book Section

Patelli, Alina; Lewis, Peter R.; Wang, Hai; Nabney, Ian; Bennett, David; Lucas, Ralph and Coles, Alex (2016). Autonomic curation of crowdsourced knowledge:the case of career data management. IN: Proceedings : 2016 International Conference on Cloud and Autonomic Computing. IEEE.

Patelli, Alina; Calinescu, Radu and Wang, Hai (2014). Semantic reasoning for autonomic IT systems. IN: WCOP 2014 - Proceedings of the 19th international doctoral symposium on Components and Architecture. New York, NY (US): ACM.

Ramzan, Asia; Wang, Hai and Buckingham, Christopher (2014). Representing human expertise by the OWL web ontology language to support knowledge engineering in decision support systems. IN: Innovation in Medicine and healthcare 2014. Graña, Manuel; Toro, Carlos; Howlett, Robert J. and Jain, Lakhmi C. (eds) Studies in health technology and informatics . IOS.

Wang, Hai; Damljanovic, Danica and Sun, Jing (2010). Enhanced semantic access to formal software models. IN: Formal methods and software engineering. Dong, Jin S. and Zhu, Huibiao (eds) Lecture notes in computer science, 6447 L . Springer.

Li, Pengyi; Sun, Jing and Wang, Hai Towards code generation from design models. IN: Proceedings - SEKE 2017. Knowledge Systems Institute Graduate School.

Talla Kuate, Rodrigue; He, Minghua; Chli, Maria and Wang, Hai An intelligent broker agent for energy trading:an MDP approach. IN: Proceedings of the twenty-third International Joint Conference on Artificial Intelligence. AAAI.