BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Number of items: 3.

    Article

    Chen, Taolue and Hague, M. and Lin, A.W. and Rümmer, P. and Wu, Z. (2019) Decision procedures for path feasibility of string-manipulating programs with complex operations. Proceedings of the ACM on Programming Languages 3 (POPL), pp. 1-30. ISSN 2475-1421.

    Chen, Taolue and Chen, Y. and Hague, M. and Lin, A.W. and Wu, Z. (2018) What is decidable about string constraints with the ReplaceAll function. Proceedings of the ACM on Programming Languages 2 (POPL), ISSN 2475-1421.

    Book Section

    Liu, H. and Yang, Z. and Wu, Z. and Li, Xuelong (2012) A-optimal non-negative projection for image representation. In: UNSPECIFIED (ed.) IEEE Conference on Computer Vision and Pattern Recognition. Washington, USA: IEEE Computer Society, pp. 1592-1599. ISBN 9781467312264.

    This list was generated on Thu Jun 4 04:44:26 2020 BST.