Home > Research > Publications & Outputs
  1. Published

    Concolic testing for deep neural networks

    Sun, Y., Wu, M., Ruan, W., Huang, X., Kwiatkowska, M. & Kroening, D., 3/09/2018, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018. New York: Association for Computing Machinery (ACM), p. 109-119 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  2. Published

    Demystifying the Paradox of Stability and Flexibility in Information Systems Design: An Affordance Perspective

    Sun, R. & Zhang, M., 12/12/2018, Proceedings of the 38th International Conference on Information Systems. p. 1-15 15 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  3. Published

    Long-term influence of maize stover and its derived biochar on soil structure and organo-mineral complexes in Northeast China

    Sun, Q., Meng, J., Sarkar, B., Lan, Y., Lin, L., Li, H., Yang, X., Yang, T., Chen, W. & Wang, H., 1/08/2020, In: Environmental Science and Pollution Research. 27, p. 28374-28383 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  4. Published

    Can arsenic bioavailability be predicted in soils using in vitro gastro-intestinal simulation?

    Sun, Y., Jones, K., Sun, Z., Shen, J., Bu, F., Ma, F. & Gu, Q., 15/04/2024, In: Ecotoxicology and environmental safety. 275, 116235.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  5. Published

    Soil contamination in China: Current priorities, defining background levels and standards for heavy metals

    Sun, Y., Li, H., Guo, G., Semple, K. T. & Jones, K. C., 1/12/2019, In: Journal of Environmental Management. 251, 7 p., 109512.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  6. Published

    Adaptive Robust Fault-Tolerant Regulation of Mechatronic Systems with Prescribed-Time Convergence

    Sun, L., Ma, N., Xiao, B., Huang, Y., Fei, H. & Yeatman, E., 31/12/2023, In: IFAC-PapersOnLine. 56, 2, p. 3552-3557 6 p.

    Research output: Contribution to Journal/MagazineConference articlepeer-review

  7. Published

    Decadal shifts in soil pH and organic matter differ between land uses in contrasting regions in China

    Sun, Y., Guo, G., Shi, H., Liu, M., Keith, A., Li, H. & Jones, K. C., 20/10/2020, In: Science of the Total Environment. 740, 10 p., 139904.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  8. Published

    Information Technology Platforms: Conceptualisation and a Review of Emerging Research in IS Research

    Sun, R., Gregor, S. & Keating, B., 2015, Proceedings of the 26th Australasian Conference on Information Systems. p. 1-17 17 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  9. Published

    A comprehensive comparison and analysis of soil screening values derived and used in China and the UK

    Sun, Y., Wang, J., Guo, G., Li, H. & Jones, K., 1/01/2020, In: Environmental Pollution. 256, 9 p., 113404.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    Redevelopment of urban brownfield sites in China: Motivation, history, policies and improved management

    Sun, Y., Li, H., Lei, S., Semple, K. T., Coulon, F., Hu, Q., Gao, J., Guo, G., Gu, Q. & Jones, K. C., 30/06/2022, In: Eco-Environment and Health. 1, 2, p. 63-72 10 p.

    Research output: Contribution to Journal/MagazineReview articlepeer-review

Back to top