Formal Aspects of Computing

Zhao, H. and Zeng, X. and Chen, Taolue and Liu, Z. and Woodcock, J. (2021) Learning safe neural network controllers with barrier certificates. Formal Aspects of Computing 33 (3), pp. 437-455. ISSN 0934-5043.

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews

Hu, W. and Xie, N. and Li, L. and Zeng, X. and Maybank, Stephen J. (2011) A survey on visual content-based video indexing and retrieval. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews 41 (6), pp. 797-819. ISSN 1094-6977.