Hai Wang
    • School of Engineering and Applied Science, Aston University

      B4 7ET Birmingham

      United Kingdom

    Accepting PhD Students

    PhD projects

    Knowledge graph, Semantic Web, Machine learning, Formal method, Software engineering

    Filter
    Conference publication

    Search results

    • 2022

      cPV – Simulation and Verification for Membrane Computing

      Liu, Y., Sun, J., Nicolescu, R. & Wang, H., 5 Dec 2022, Proceedings of the 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS). IEEE, p. 606-615 10 p.

      Research output: Chapter in Book/Published conference outputConference publication

    • 2020

      Key concepts of group pattern discovery algorithms from spatiooral trajectories

      Dluzniak, K., Jie, W., Wang, H. & Xing, W., 23 Mar 2020, Proceedings - 15th International Conference on Semantics, Knowledge and Grids: On Big Data, AI and Future Interconnection Environment, SKG 2019. Zhuge, H. & Sun, X. (eds.). IEEE, p. 190-197 8 p. 9044133. (Proceedings - 15th International Conference on Semantics, Knowledge and Grids: On Big Data, AI and Future Interconnection Environment, SKG 2019).

      Research output: Chapter in Book/Published conference outputConference publication

    • 2019

      Artifact-Centric Semantic Social-Collaboration Network in an Online Healthcare Context

      Hussain, N., Wang, H. & Buckingham, C., 13 Apr 2019, IADIS International Conference e-Society 2019. Kommers, P., Ravesteijn, P., Ongena, G. & Isaías, P. (eds.). IADIS, p. 251-260 9 p.

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • Nautilus: A Precision-Guided Open Data Architecture for Big Omics Data Analysis

      Xing, W., Smith, J., Gavrielides, M., Hindmarsh, S., Huffman, A. & Wang, H. H., 16 Sept 2019, 2019 2nd International Conference on Artificial Intelligence and Big Data (ICAIBD). IEEE, p. 1-8 8 p. 8836977. (2019 2nd International Conference on Artificial Intelligence and Big Data, ICAIBD 2019).

      Research output: Chapter in Book/Published conference outputConference publication

    • Semantic Rule Based Program Monitoring

      Tudor, L., Sun, J., Wang, H. H. & Wei, B., 12 Jul 2019, Proceedings - SEKE 2019: 31st International Conference on Software Engineering and Knowledge Engineering. Vol. 2019-July. p. 297-300 4 p.

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • 2018

      GCG aviator: A decision support agent for career management

      Patelli, A., Lewis, P. R., Wang, H., Nabney, I., Bennett, D. & Lucas, R., 19 Apr 2018, (E-pub ahead of print) Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers. Springer, Vol. 732. p. 143-147 5 p. (Communications in Computer and Information Science; vol. 732).

      Research output: Chapter in Book/Published conference outputConference publication

    • Policy based generic autonomic adapter for a context-aware social-collaborative system

      Hussain, N., Wang, H. & Buckingham, C. D., 7 May 2018, 2018 International Conference on Intelligent Systems and Computer Vision (ISCV). IEEE, p. 1-9

      Research output: Chapter in Book/Published conference outputConference publication

    • 2017

      Towards code generation from design models

      Li, P., Sun, J. & Wang, H., 31 Jul 2017, Proceedings - SEKE 2017: 29th International Conference on Software Engineering and Knowledge Engineering. p. 242-247 6 p.

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • 2016

      Autonomic curation of crowdsourced knowledge: the case of career data management

      Patelli, A., Lewis, P. R., Wang, H., Nabney, I., Bennett, D., Lucas, R. & Coles, A., 8 Dec 2016, Proceedings : 2016 International Conference on Cloud and Autonomic Computing: co-located with the Tenth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), ICCAC 2016. IEEE, p. 40-49 10 p.

      Research output: Chapter in Book/Published conference outputConference publication

    • 2015

      An efficient knowledge transfer solution to a novel SMDP formalization of a broker's decision problem

      Talla Kuate, R., Chli, M. & Wang, H. H., 4 May 2015, AAMAS'15 International Conference on Autonomous Agents and Multi Agent Solutions. ACM, Vol. 3. p. 1735-1736 2 p. paper 278

      Research output: Chapter in Book/Published conference outputConference publication

      File
    • 2014

      Optimising market share and profit margin: SMDP-based tariff pricing under the smart grid paradigm

      Kuate, R. T., Chli, M. & Wang, H. H., 2 Oct 2014, Proceedings of IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT-Europe). IEEE, 6 p. II.2.11

      Research output: Chapter in Book/Published conference outputConference publication

    • Representing human expertise by the OWL web ontology language to support knowledge engineering in decision support systems

      Ramzan, A., Wang, H. & Buckingham, C., 1 Jan 2014, Innovation in Medicine and healthcare 2014. Graña, M., Toro, C., Howlett, R. J. & Jain, L. C. (eds.). IOS, p. 290-299 10 p. (Studies in health technology and informatics; vol. 207).

      Research output: Chapter in Book/Published conference outputConference publication

    • Semantic enabled social-collaborative research framework for proteomics domain

      Hussain, N. & Wang, H., Dec 2014, The Third ASE International Conference on Social Informatics (2014). ASE, 12 p.

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • Semantic reasoning for autonomic IT systems

      Patelli, A., Calinescu, R. & Wang, H., 27 Jun 2014, WCOP 2014 - Proceedings of the 19th international doctoral symposium on Components and Architecture. New York, NY (US): ACM, p. 13-18 6 p.

      Research output: Chapter in Book/Published conference outputConference publication

    • 2013

      An intelligent broker agent for energy trading: an MDP approach

      Talla Kuate, R., He, M., Chli, M. & Wang, H., 2013, Proceedings of the twenty-third International Joint Conference on Artificial Intelligence. AAAI, p. 234-240 7 p.

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • A survey of semantic web services formalisms

      Wang, H. H., Gibbins, N., Payne, T. & Patelli, A., 2013, Proceedings : 2013 ninth international conference on Semantics, Knowledge and Grids, SKG 2013. Piscataway, NJ (US): IEEE, p. 135-142 8 p. 6816595

      Research output: Chapter in Book/Published conference outputConference publication

    • 2011

      Design software architecture models using ontology

      Sun, J., Wang, H. H. & Hu, T., Dec 2011, SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering. p. 191-196 6 p. (International Conference on Software Engineering and Knowledge Engineering. Proceedings).

      Research output: Chapter in Book/Published conference outputConference publication

    • Semantic enabled sensor network design

      Sun, J., Wang, H. H. & Gu, H., Dec 2011, SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering. p. 179-184 6 p. (International Conference on Software Engineering and Knowledge Engineering. Proceedings).

      Research output: Chapter in Book/Published conference outputConference publication

    • 2010

      Enhanced semantic access to formal software models

      Wang, H., Damljanovic, D. & Sun, J., 29 Oct 2010, Formal methods and software engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Dong, J. S. & Zhu, H. (eds.). Springer, Vol. 6447 LNCS. p. 237-252 16 p. (Lecture notes in computer science; vol. 6447).

      Research output: Chapter in Book/Published conference outputConference publication

    • 2009

      Generation of triangular pulses in normally dispersive fibre

      Wang, H., Latkin, A. I., Boscolo, S. A., Harper, P. & Turitsyn, S. K., 14 Jun 2009, European Conference on Lasers and Electro-Optics 2009 and the European Quantum Electronics Conference. : CLEO Europe - EQEC 2009. . IEEE, 1 p. (Conference publications).

      Research output: Chapter in Book/Published conference outputConference publication

    • Soliton dynamics in transmission through ultralong lasers

      Ania-Castañón, J. D., Alcon-Camas, M., El-Taher, A., Wang, H. & Harper, P., 14 Jun 2009, European Conference on Lasers and Electro-Optics 2009 and the European Quantum Electronics Conference. CLEO Europe - EQEC 2009. IEEE

      Research output: Chapter in Book/Published conference outputConference publication

    • Verifying semistructured data normalization using SWRL

      Li, Y. F., Sun, J., Dobbie, G., Lee, S. & Wang, H. H., 16 Nov 2009, 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009. IEEE, p. 193-200 8 p. 5198502

      Research output: Chapter in Book/Published conference outputConference publication

    • 2008

      Specifying and verifying event-based fairness enhanced systems

      Sun, J., Liu, Y., Dong, J. S. & Wang, H. H., 2008, Formal Methods and Software Engineering - 10th International Conference on Formal Engineering Methods, ICFEM 2008, Proceedings. Springer, p. 5-24 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5256 LNCS).

      Research output: Chapter in Book/Published conference outputConference publication

    • True soliton transmission through ultra-long laser links

      Harper, P., El-Taher, A., Wang, H., Alcon-Camas, M., Karalekas, V. & Ania-Castañón, J. D., 21 Sept 2008, 34th European Conference on Optical Communication, 2008. ECOC 2008. IEEE, Vol. 1.

      Research output: Chapter in Book/Published conference outputConference publication

    Your message has successfully been sent.
    Your message was not sent due to an error.